Lưu trữ ký tự EOF (Kết thúc tệp) theo kiểu char

Tôi đã đọc trong Dennis Ritchie Cuốn sách Ngôn ngữ lập trình Cint phải được sử dụng cho một biến để giữ EOF - để làm cho nó đủ lớn để nó có thể giữ giá trị EOF - không char. Nhưng đoạn mã sau hoạt động tốt:

#include<stdio.h> 

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

Khi không còn đầu vào, getchartrả về EOF. Và trong chương trình trên, biến c, với kiểu char, có thể giữ nó thành công.

Tại sao điều này làm việc? Theo giải thích trong cuốn sách nói trên, mã không nên hoạt động.

Mã của bạn dường như hoạt động, bởi vì các chuyển đổi loại ẩn vô tình xảy ra để làm điều đúng.

getchar()trả về intmột giá trị phù hợp với phạm vi unsigned charhoặc là EOF(phải âm, thường là -1). Lưu ý rằng EOFbản thân nó không phải là một ký tự, mà là một tín hiệu cho thấy không còn ký tự nào nữa.

Khi lưu trữ kết quả từ getchar()trong c, có hai khả năng. Loại charcó thể đại diện cho giá trị, trong trường hợp đó là giá trị của c. Hoặc loại char không thể đại diện cho giá trị. Trong trường hợp đó, nó không được xác định những gì sẽ xảy ra. Bộ xử lý Intel chỉ loại bỏ các bit cao không phù hợp với loại mới (giảm hiệu quả modulo 256 cho char), nhưng bạn không nên dựa vào điều đó.

Bước tiếp theo là so sánh cvới EOF. Như EOFlà một int, ccũng sẽ được chuyển đổi thành một int, bảo toàn giá trị được lưu trữ trong c. Nếu ccó thể lưu trữ các giá trị EOF, sau đó so sánh sẽ thành công, nhưng nếu ccó thể không lưu trữ giá trị, sau đó so sánh sẽ thất bại, bởi vì đã có một sự mất mát không thu hồi thông tin trong khi chuyển đổi EOFđể loại char.

Có vẻ như trình biên dịch của bạn đã chọn làm cho charloại đã ký và giá trị EOFđủ nhỏ để phù hợp char. Nếu charkhông được ký (hoặc nếu bạn đã sử dụng unsigned char), thử nghiệm của bạn sẽ thất bại, vì unsigned charkhông thể giữ giá trị của EOF.

Cũng lưu ý rằng có một vấn đề thứ hai với mã của bạn. Vì EOFbản thân nó không phải là một nhân vật, nhưng bạn buộc nó thành một charloại, rất có thể một nhân vật ngoài đó bị hiểu sai là EOFvà đối với một nửa các ký tự có thể, nó sẽ không được xác định nếu chúng được xử lý chính xác.