EOF（ファイルの終わり）文字をchar型に格納する

EOF値を保持できるようにEOF値を十分に大きくするために、EOFを保持する変数に使用する必要があるデニスリッチーのThe C Programming Language本を読みました。ただし、次のコードは正常に機能します。intchar

#include<stdio.h> 

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

入力がなくなると、getcharEOFを返します。また、上記のプログラムではc、char型の変数が正常に保持できます。

なぜこれが機能するのですか？上記の本の説明によると、コードは機能しません。

暗黙的な型変換が偶然に正しく行われるため、コードは機能しているようです。

getchar()は、intの範囲に収まる値unsigned charまたはである値を返しますEOF（負である必要があり、通常は-1です）。それEOF自体はキャラクターではなく、利用可能なキャラクターがもうないというシグナルであることに注意してください。

以下からの結果保管する場合getchar()ではc、2つの可能性があります。どちらのタイプcharも値を表すことができますc。その場合、それはの値です。または、型は値を表すchar ことができません。その場合、何が起こるかは定義されていません。Intelプロセッサは、新しいタイプに適合しない上位ビットを切り捨てます（256を法とする値を効果的に減らしcharます）が、それに頼るべきではありません。

次のステップはと比較cすることEOFです。以下のようEOFであるint、cに変換されるintに格納された値を保存するだけでなくc。cの値を保存できた場合EOF、比較は成功しますが、値を保存cできなかった場合、EOFtypeへの変換中に回復不可能な情報の損失があったため、比較は失敗しcharます。

あなたのコンパイラが作成することを選んだようだchar符号付きの型との値EOFに収まる小さな十分char。場合はchar符号なした（またはあなたが使用した場合unsigned char）ので、あなたのテストは、失敗していたunsigned charの値を保持することはできませんEOF。

また、コードに2番目の問題があることに注意してください。以下のようEOFな文字そのものではなく、あなたにそれを強制charタイプ、ものと誤解されますそこに文字が非常に可能性がありEOF、それらが正しく処理される場合、それは定義されていない半分の可能な文字については。