Almacenar el carácter EOF (Fin de archivo) en un tipo char

Leí en el libro The C Programming Language de Dennis Ritchie que intdebe usarse para que una variable contenga EOF, para que sea lo suficientemente grande como para que pueda contener el valor EOF, no char. Pero el siguiente código funciona bien:

#include<stdio.h> 

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

Cuando no hay más entrada, getchardevuelve EOF. Y en el programa anterior, la variable c, con el tipo char, puede mantenerlo con éxito.

¿Por qué funciona esto? Según la explicación en el libro mencionado anteriormente, el código no debería funcionar.

Parece que su código funciona, porque las conversiones de tipo implícito accidentalmente hacen lo correcto.

getchar()devuelve un intcon un valor que se ajusta al rango de unsigned charo es EOF(que debe ser negativo, por lo general es -1). Tenga en cuenta que en EOFsí mismo no es un carácter, sino una señal de que no hay más caracteres disponibles.

Al almacenar el resultado desde getchar()adentro c, hay dos posibilidades. El tipo charpuede representar el valor, en cuyo caso ese es el valor de c. O el tipo char no puede representar el valor. En ese caso, no está definido lo que sucederá. Los procesadores Intel simplemente cortan los bits altos que no encajan en el nuevo tipo (reduciendo efectivamente el valor del módulo 256 char), pero no debe confiar en eso.

El siguiente paso es comparar ccon EOF. Como EOFes un int, ctambién se convertirá en un int, conservando el valor almacenado en c. Si cpudiera almacenar el valor de EOF, entonces la comparación tendrá éxito, pero si noc puede almacenar el valor, entonces la comparación fallará, porque ha habido una pérdida irrecuperable de información al convertir a tipo .EOFchar

Parece que su compilador eligió charfirmar el tipo y el valor de lo EOFsuficientemente pequeño como para caber char. Si charno estuviera firmado (o si lo hubiera usado unsigned char), su prueba habría fallado, porque unsigned charno puede contener el valor de EOF.

También tenga en cuenta que hay un segundo problema con su código. Como EOFno es un personaje en sí mismo, pero lo fuerza a un chartipo, es muy probable que haya un personaje que se malinterprete como siendo EOFy para la mitad de los posibles personajes no está definido si se procesarán correctamente.