เหตุใดไฟล์จัดการมาตรฐาน C ++ จึงหาวิธีการใช้งาน

C ++ ใช้streamoffชนิดเพื่อแสดงออฟเซ็ตภายในสตรีม (ไฟล์) และกำหนดไว้ดังนี้ใน [stream.types]:

using streamoff = implementation-defined ;

ประเภท streamoff เป็นคำพ้องความหมายสำหรับหนึ่งในประเภทอินทิกรัลพื้นฐานที่ลงนามแล้วซึ่งมีขนาดเพียงพอที่จะแสดงขนาดไฟล์สูงสุดที่เป็นไปได้สำหรับระบบปฏิบัติการ 287)

287) ความยาวโดยทั่วไป

สิ่งนี้สมเหตุสมผลเนื่องจากอนุญาตให้ค้นหาไฟล์ขนาดใหญ่ (ต่างจากการใช้longซึ่งอาจมีความกว้างเพียง 32 บิต)

[filebuf.virtuals] กำหนดbasic_filebufฟังก์ชั่นของการค้นหาภายในไฟล์ดังนี้:

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

off_typeเทียบเท่ากับstreamoffดู [iostreams.limits.pos] อย่างไรก็ตามมาตรฐานก็จะอธิบายผลกระทบของฟังก์ชั่น ฉันรู้สึกหงุดหงิดกับประโยคสุดท้ายที่ต้องเรียกร้องให้fseek:

ผลกระทบ : อนุญาตwidthแสดงa_codecvt.encoding()ว่า หากis_open() == falseหรือoff != 0 && width <= 0จากนั้นการดำเนินการกำหนดตำแหน่งจะล้มเหลว มิฉะนั้นถ้าway != basic_ios::curหรือoff != 0หากการดำเนินการครั้งสุดท้ายเป็นผลลัพธ์ให้อัปเดตลำดับเอาต์พุตและเขียนลำดับ unshift ใด ๆ ถัดไปขอไปยังตำแหน่งใหม่: ถ้าwidth > 0โทรมิฉะนั้นโทรfseek(file, width * off, whence)fseek(file, 0, whence)

fseekยอมรับlongพารามิเตอร์ หากoff_typeและstreamoffถูกกำหนดเป็นlong long(ตามที่แนะนำโดยมาตรฐาน) สิ่งนี้อาจนำไปสู่การแปลงลงเป็นlongเมื่อโทรfseek(file, width * off, whence)(นำไปสู่การยากที่จะวินิจฉัยข้อบกพร่อง) คำถามนี้เกี่ยวกับเหตุผลทั้งหมดสำหรับการแนะนำstreamoffประเภทในตอนแรก

นี่เป็นเจตนาหรือข้อบกพร่องในมาตรฐานหรือไม่?

ฉันคิดว่าข้อสรุปที่คุณวาดมาจากสิ่งนี้ว่ามีความไม่ตรงกันระหว่างสตรีม C ++ และfseekที่จะนำไปสู่ข้อผิดพลาดรันไทม์ไม่ถูกต้อง สถานการณ์ดูเหมือนจะเป็น:

1. ในระบบที่longเป็น 64 บิตstreamoffถูกกำหนดให้เป็นlongและจะเรียกฟังก์ชั่นseekofffseek

2. บนระบบที่longมี 32 บิต แต่ระบบปฏิบัติการรองรับการออฟเซ็ตไฟล์ 64 บิตstreamoffถูกกำหนดเป็นlong longและseekoffเรียกใช้ฟังก์ชันที่เรียกว่าอย่างใดอย่างหนึ่งfseekoหรือfseeko64ที่ยอมรับออฟเซ็ต 64 บิต

นี่คือตัวอย่างจากคำจำกัดความของseekoffบนระบบ Linux ของฉัน:

#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 ย่อมาจากการสนับสนุนไฟล์ขนาดใหญ่

สรุป: ในขณะที่มาตรฐานชี้ให้เห็นคำนิยามสำหรับstreamoffความขัดแย้งที่ขัดแย้งกับข้อกำหนดที่seekoffเรียกใช้fseekนักออกแบบห้องสมุดเข้าใจว่าพวกเขาจะต้องเรียกสิ่งที่แตกต่างfseekว่ายอมรับการชดเชยเต็มรูปแบบที่ระบบปฏิบัติการรองรับ