Збереження символу EOF (Кінець файлу) у тип char

Я читав у книзі " Програмування на мову С Денніса Річі", яку intнеобхідно використовувати для змінної для зберігання EOF - щоб зробити її достатньо великою, щоб вона могла містити значення EOF - ні char. Але наступний код працює добре:

#include<stdio.h> 

main()  { 
  char c; 
  c=getchar(); 
  while(c!=EOF)  { 
    putchar(c); 
    c=getchar(); 
  } 
} 

Коли більше немає введення, getcharповертається EOF. І у вищенаведеній програмі змінна cз типом char здатна успішно утримувати її.

Чому це працює? Відповідно до пояснення у вищезгаданій книзі, код не повинен працювати.

Здається, ваш код працює, оскільки випадкові перетворення типу випадково трапляються правильно.

getchar()повертає значення intзі значенням, яке або відповідає діапазону, unsigned charабо є EOF(яке повинно бути негативним, зазвичай це -1). Зауважте, що EOFсам по собі не символ, а сигнал, що більше символів немає.

При зберіганні результату з getchar()in cє дві можливості. Або тип charможе представляти значення, і в цьому випадку це значення c. Або тип char не може представляти значення. У цьому випадку не визначено, що буде. Процесори Intel просто відсікають високі біти, які не відповідають новому типу (ефективно зменшуючи значення модуля 256 для char), але на це не варто покладатися.

Наступний крок - порівняння cз EOF. Як EOFі є int, cбуде перетворено intв а, зберігаючи значення, збережене в c. Якщо cможе зберігати значення EOF, то порівняння буде успішним, але якщо cможе НЕ зберігати значення, то порівняння буде не в змозі , тому що там була безнадійною втрати інформації при перетворенні EOFдо типу char.

Здається, ваш компілятор вирішив зробити charтип підписаним і значенням EOFдостатньо малим, щоб вмістити його char. Якби не charбуло підписано (або якщо ви використовувались unsigned char), ваш тест не вдався б, оскільки unsigned charне може утримувати значення EOF.

Також зауважте, що з вашим кодом є друга проблема. Оскільки EOFце не сам персонаж, але ви примушуєте його до charтипу, там, швидше за все, персонаж неправильно трактується як буття, EOFі для половини можливих символів він не визначений, якщо вони будуть оброблені правильно.