Menyimpan karakter EOF (End of File) dalam tipe char

Saya membaca di buku Bahasa Pemrograman C karya Dennis Ritchie yang intharus digunakan untuk variabel untuk menahan EOF - untuk membuatnya cukup besar sehingga dapat menyimpan nilai EOF - tidak char. Tetapi kode berikut berfungsi dengan baik:

#include<stdio.h> 

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

Ketika tidak ada lagi input, getcharkembalikan EOF. Dan dalam program di atas, variabel c, dengan tipe char, dapat menahannya dengan sukses.

Mengapa ini bekerja? Sesuai penjelasan dalam buku yang disebutkan di atas, kode tidak boleh bekerja.

Kode Anda tampaknya berfungsi, karena konversi tipe implisit terjadi secara tidak sengaja untuk melakukan hal yang benar.

getchar()mengembalikan nilai intdengan nilai yang cocok dengan rentang unsigned charatau adalah EOF(yang harus negatif, biasanya -1). Perhatikan bahwa EOFitu sendiri bukan karakter, tetapi sinyal bahwa tidak ada lagi karakter yang tersedia.

Saat menyimpan hasil dari getchar()dalam c, ada dua kemungkinan. Baik tipe chardapat mewakili nilai, dalam hal ini adalah nilai c. Atau tipe char tidak dapat mewakili nilai. Dalam hal ini, tidak ditentukan apa yang akan terjadi. Prosesor Intel hanya memotong bit-bit tinggi yang tidak cocok dengan tipe baru (secara efektif mengurangi nilai modulo 256 untuk char), tetapi Anda tidak boleh bergantung pada itu.

Langkah berikutnya adalah untuk membandingkan cdengan EOF. Sebagai EOFadalah int, cakan dikonversi ke intjuga, melestarikan nilai yang disimpan dalam c. Jika cbisa menyimpan nilai EOF, maka perbandingan akan berhasil, tetapi jika tidakc bisa menyimpan nilai, maka perbandingan akan gagal, karena telah terjadi kehilangan informasi yang tidak dapat dipulihkan saat mengonversi untuk mengetik .EOFchar

Tampaknya kompiler Anda memilih untuk membuat charjenis ditandatangani dan nilai EOFcukup kecil untuk masuk char. Jika chartidak ditandatangani (atau jika Anda telah menggunakan unsigned char), pengujian Anda akan gagal, karena unsigned chartidak dapat menyimpan nilai EOF.

Perhatikan juga bahwa ada masalah kedua dengan kode Anda. Karena EOFbukan karakter itu sendiri, tetapi Anda memaksanya menjadi suatu chartipe, sangat mungkin ada karakter di luar sana yang disalahartikan sebagai EOFdan untuk separuh karakter yang mungkin tidak ditentukan apakah karakter tersebut akan diproses dengan benar.