Tại sao tiêu chuẩn C ++ xử lý tệp tìm kiếm theo cách của nó?

C ++ sử dụng streamoffloại để biểu thị phần bù trong luồng (tệp) và được định nghĩa như sau trong [stream.types]:

using streamoff = implementation-defined ;

Streamoff loại là một từ đồng nghĩa cho một trong các loại tích phân cơ bản đã ký có kích thước đủ để thể hiện kích thước tệp tối đa có thể cho hệ điều hành. 287)

287) Điển hình là dài dài.

Điều này có ý nghĩa bởi vì nó cho phép tìm kiếm trong các tệp lớn (trái ngược với việc sử dụng long, có thể chỉ rộng 32 bit).

[filebuf.virtuals] xác định basic_filebufchức năng tìm kiếm trong một tệp như sau:

pos_type seekoff(off_type off, ios_base::seekdir way, ios_base::openmode which = ios_base::in | ios_base::out) override;

off_typetương đương với streamoff, xem [iostreams.limits.pose]. Tuy nhiên, tiêu chuẩn sau đó tiếp tục để giải thích các hiệu ứng của chức năng. Tôi bị kích thích bởi câu cuối cùng, đòi hỏi một cuộc gọi đến fseek:

Tác dụng : Hãy widthbiểu thị a_codecvt.encoding(). Nếu is_open() == false, hoặc off != 0 && width <= 0, sau đó hoạt động định vị không thành công. Mặt khác, nếu way != basic_ios::curhoặc off != 0và nếu thao tác cuối cùng là đầu ra, thì hãy cập nhật chuỗi đầu ra và ghi bất kỳ chuỗi không dịch chuyển nào. Tiếp theo, tìm đến vị trí mới: nếu width > 0, gọi fseek(file, width * off, whence), nếu không hãy gọi fseek(file, 0, whence).

fseekchấp nhận một longtham số. Nếu off_typevà streamoffđược định nghĩa là long long(như được đề xuất bởi tiêu chuẩn), điều này có thể dẫn đến chuyển đổi xuống longkhi gọi fseek(file, width * off, whence)(dẫn đến khả năng khó chẩn đoán lỗi). Điều này đặt ra câu hỏi cho toàn bộ lý do để giới thiệu streamoffloại ở nơi đầu tiên.

Đây là cố ý hay một khiếm khuyết trong tiêu chuẩn?

Tôi nghĩ rằng kết luận mà bạn rút ra từ điều này, rằng có sự không phù hợp giữa các luồng C ++ và fseekđiều đó sẽ dẫn đến các lỗi thời gian chạy, là không chính xác. Tình hình có vẻ là:

1. Trên các hệ thống có long64 bit, streamoffđược định nghĩa là longvà seekoffhàm gọi fseek.

2. Trên các hệ thống có long32 bit nhưng HĐH hỗ trợ bù tệp 64 bit, streamoffđược định nghĩa long longvà seekoffgọi một hàm gọi là fseekohoặc fseeko64chấp nhận bù 64 bit.

Đây là đoạn trích từ định nghĩa seekofftrên hệ thống Linux của tôi:

#ifdef _GLIBCXX_USE_LFS
    if (!fseeko64(_M_file, __off, __whence))
      __ret = std::streampos(ftello64(_M_file));
#else
    if (!fseek(_M_file, __off, __whence))
      __ret = std::streampos(std::ftell(_M_file));
#endif

LFS là viết tắt của Hỗ trợ tệp lớn .

Kết luận: Trong khi tiêu chuẩn cho thấy một định nghĩa cho streamoffrằng mâu thuẫn bề ngoài với yêu cầu rằng seekoffinvoke fseek, nhà thiết kế thư viện hiểu rằng họ phải gọi biến thể của fseekchấp nhận đầy đủ các offsets rằng sự hỗ trợ hệ điều hành.