문자 유형으로 EOF (파일 끝) 문자 저장

나는 Dennis Ritchie의 C Programming Language 책에서 intEOF를 보유하기 위해 변수에 사용되어야합니다 char. EOF 값을 보유 할 수있을만큼 충분히 커야 합니다. 그러나 다음 코드는 정상적으로 작동합니다.

#include<stdio.h> 

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

더 이상 입력이 없으면 getcharEOF를 반환합니다. 위의 프로그램에서 cchar 유형 의 변수는 변수를 성공적으로 보유 할 수 있습니다.

왜 이것이 작동합니까? 위에서 언급 한 책의 설명에 따라 코드가 작동하지 않아야합니다.

암시 적 유형 변환이 실수로 올바른 작업을 수행하기 때문에 코드가 작동하는 것 같습니다.

getchar()int의 범위 unsigned char또는에 맞는 값을 갖는를 반환합니다 EOF(음수 여야 함, 일반적으로 -1). 그 EOF자체는 문자가 아니라 사용 가능한 문자가 더 이상 없다는 신호입니다.

결과에서 보관할 때 getchar()하여 c, 두 가지 가능성이있다. 유형 char은 값을 나타낼 수 있으며,이 경우 값은 c입니다. 또는 유형 이 값을 나타낼 char 수 없습니다 . 이 경우 어떤 일이 발생할지 정의되지 않습니다. 인텔 프로세서는 새로운 유형에 맞지 않는 높은 비트를 잘라내 char지만 (효과적으로 모듈로 256의 값을 줄임) 그에 의존해서는 안됩니다.

다음 단계는와 비교 c하는 것 EOF입니다. 마찬가지로 EOF이며 int, c변환된다 int에 저장된 값을 보존 할뿐만 아니라 c. c의 값을 저장할 수 있으면 EOF비교는 성공하지만 값을 저장할 c수 없는 경우 EOFtype으로 변환 하는 동안 복구 할 수없는 정보 손실이 있었기 때문에 비교에 실패 합니다 char.

컴파일러가 char형식을 서명하고 EOF작은 값 을 적합 하게 만들기로 선택한 것 같습니다 char. char서명되지 않은 경우 (또는 사용한 경우 unsigned char) unsigned char의 값을 보유 할 수 없으므로 테스트에 실패했을 수 있습니다 EOF.

또한 코드에 두 번째 문제가 있습니다. 으로 EOF캐릭터 자체가 아니라, 당신이에 강제 char유형 인 것으로 잘못 해석됩니다 거기 문자 가능성이있다 EOF이 제대로 처리 될 경우가 정의되어 있지 절반 가능한 문자는.