EOF luôn là tiêu cực?

Question

EOF luôn có âm?

Tôi đang nghĩ đến việc viết một hàm đọc từ tiếp theo trong đầu vào và trả về số dòng mà từ đó được tìm thấy trong hoặc EOF nếu đã kết thúc đầu vào. Nếu EOF không nhất thiết là tiêu cực, hàm sẽ không chính xác.

Answer 1

Có, EOF luôn là số âm.

Tiêu chuẩn nói:

7,19 Input/output
7.19.1 Giới thiệu

3 macro là [...] EOF mà mở rộng thành hằng số nguyên biểu thức, với loại int và giá trị âm, được trả về bởi một số chức năng để chỉ ra kết thúc tệp, nghĩa là không nhập thêm từ luồng;

Lưu ý rằng không có vấn đề gì với "đồng bằng" char đang được ký. Các hàm <stdio.h> đối phó với char s, đặc biệt đúc các ký tự thành unsigned char và sau đó đến int, sao cho tất cả các ký tự hợp lệ đều có giá trị dương. Ví dụ:

int fgetc(FILE *stream) 

7.19.7.1
... chức năng fgetc có được rằng nhân vật như một char unsigned chuyển đổi sang một int ...

Answer 2

EOF luôn là == EOF. Đừng thừa nhận bất cứ điều gì khác.

Trong lần đọc thứ hai của tiêu chuẩn (và theo một số nhận xét khác ở đây) có vẻ như EOF luôn âm - và cho việc sử dụng được chỉ định trong câu hỏi này (số dòng hoặc EOF) nó sẽ hoạt động. Những gì tôi có nghĩa là để cảnh báo chống lại (và vẫn làm) là giả định các ký tự là tích cực và EOF là tiêu cực.

Hãy nhớ rằng nó có thể cho một tiêu chuẩn phù hợp với thực hiện C có giá trị nhân vật tiêu cực - điều này thậm chí còn được đề cập trong 'C ngôn ngữ lập trình' (K & R). Các ký tự in luôn dương, nhưng trên một số kiến ​​trúc (có thể là tất cả các cổ), các ký tự điều khiển là âm. Tiêu chuẩn C không chỉ rõ thời điểm loại char được ký hoặc chưa ký, và hằng số ký tự duy nhất được đảm bảo có cùng giá trị trên các nền tảng là '\0'.

Answer 3

Có mà hàm trả về

• số dòng chữ đã được tìm thấy trong
• hoặc -1 trong trường hợp khi kết thúc đầu vào đã đạt

Vấn đề được giải quyết, mà không cần để dựa vào bất kỳ giá trị EOF nào. Người gọi có thể dễ dàng kiểm tra cho lớn hơn hoặc bằng-bằng không cho một cuộc gọi thành công, và giả định EOF/IO-lỗi khác.

Answer 4

EOF là một điều kiện, chứ không phải là giá trị. Giá trị chính xác của sentinel này được thực hiện xác định. Trong nhiều trường hợp, nó là một số âm.

Answer 5

Từ wikipedia:

Giá trị thực tế của EOF là một số âm hệ thống phụ thuộc vào, thường -1, đó là đảm bảo được bất bình đẳng đối với bất kỳ mã ký tự hợp lệ.

Nhưng không có tài liệu tham khảo ...

Từ Mã hóa an toàn: Detect and handle input and output errors EOF là tiêu cực nhưng chỉ khi sizeof(int) > sizeof(char).

Answer 6

Từ online draft n1256, 17.9.1.3 :

EOF

mở rộng đến một biểu thức hằng số nguyên, với kiểu int và giá trị âm, được trả về bởi một số hàm để biểu thị kết thúc tệp, nghĩa là không còn nhập từ luồng;

EOF luôn âm, mặc dù không phải lúc nào cũng là -1.

Đối với các vấn đề như thế này, tôi thích tách điều kiện lỗi từ dữ liệu bằng cách trả lại một mã lỗi (SUCCESS, END_OF_FILE, READ_ERROR, vv) như là giá trị trả về của hàm, và sau đó ghi dữ liệu quan tâm đến các thông số riêng biệt, chẳng hạn như

int getNextWord (FILE *stream, char *buffer, size_t bufferSize, int *lineNumber) 
{ 
    if (!fgets(buffer, bufferSize, stream)) 
    { 
    if (feof(stream)) return END_OF_FILE; else return READ_ERROR; 
    } 
    else 
    { 
    // figure out the line number 
    *lineNumber = ...; 
    } 
    return SUCCESS; 
}