Armazenando o caractere EOF (Fim do Arquivo) em um tipo de caractere

Eu li no livro The C Programming Language de Dennis Ritchie, que intdeve ser usado para uma variável conter EOF - para torná-la suficientemente grande para que possa manter o valor EOF - não char. Mas o código a seguir funciona bem:

#include<stdio.h> 

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

Quando não houver mais entrada, getcharretorna EOF. E no programa acima, a variável c, com o tipo char, é capaz de segurá-la com sucesso.

Por que isso funciona? Conforme a explicação no livro acima mencionado, o código não deve funcionar.

Seu código parece funcionar, porque acidentalmente as conversões implícitas de tipo fazem a coisa certa.

getchar()retorna um intcom um valor que se ajusta ao intervalo de unsigned charou é EOF(que deve ser negativo, geralmente é -1). Observe que EOFele próprio não é um personagem, mas um sinal de que não há mais caracteres disponíveis.

Ao armazenar o resultado de getchar()dentro c, há duas possibilidades. O tipo charpode representar o valor; nesse caso, esse é o valor de c. Ou o tipo char não pode representar o valor. Nesse caso, não está definido o que acontecerá. Os processadores Intel apenas cortam os bits altos que não se encaixam no novo tipo (reduzindo efetivamente o módulo de valor 256 para char), mas você não deve confiar nisso.

O próximo passo é comparar ccom EOF. Como EOFé um int, ctambém será convertido em um int, preservando o valor armazenado em c. Se cpuder armazenar o valor de EOF, a comparação será bem-sucedida, mas se nãoc puder armazenar o valor, a comparação falhará, porque houve uma perda irrecuperável de informações durante a conversão para o tipo .EOFchar

Parece que seu compilador escolheu fazer com que o chartipo seja assinado e o valor EOFpequeno o suficiente para caber char. Se charnão tivesse assinado (ou se você tivesse usado unsigned char), seu teste teria falhado, porque unsigned charnão pode conter o valor de EOF.

Observe também que há um segundo problema com o seu código. Como EOFnão é um personagem em si, mas você o força a um chartipo, é muito provável que exista um personagem que seja mal interpretado como sendo EOFe, para metade dos caracteres possíveis, é indefinido se eles serão processados ​​corretamente.