ทำไมโครงสร้างที่อัดแน่นจึงไม่ได้เป็นส่วนหนึ่งของภาษา C

คอมไพเลอร์ C ทุกตัวมีตัวเลือกในการ "แพ็ค" โครงสร้าง C (เช่น__attribute__ ((__packed__))หรือ#pragma pack()) ตอนนี้เราทุกคนรู้ว่าจำเป็นต้องมีการบรรจุถ้าเราต้องการส่งหรือเก็บข้อมูลด้วยวิธีที่เชื่อถือได้ สิ่งนี้จะต้องเป็นข้อกำหนดตั้งแต่วันแรกของภาษา C

ดังนั้นฉันสงสัยว่าทำไมโครงสร้างที่อัดแน่นจึงไม่ได้เป็นส่วนหนึ่งของข้อกำหนดภาษา C? พวกเขาไม่ได้อยู่ใน C99 หรือ C11 ถึงแม้ว่าความจำเป็นในการมีพวกเขาเป็นที่รู้จักกันมานานหลายทศวรรษแล้วหรือยัง? ฉันกำลังคิดถึงอะไร ทำไมคอมไพเลอร์จึงเจาะจง?

ฉันเดาว่าเป็นเพราะมันขึ้นอยู่กับการรวมกันของ CPU / คอมไพเลอร์เป้าหมายที่ใช้ ซึ่งหมายความว่าเป็นการดีกว่าที่จะเป็นคอมไพเลอร์คำสั่ง (ตามที่เกี่ยวข้องกับที่) กว่าด้านภาษาเพราะวิธีการสเป็คที่? วิธีเดียวที่พวกเขาทำได้คืออยู่กับสหภาพ

บทความของ Raymond ให้ข้อมูลเชิงลึกว่าทำไมจึงเป็นเช่นนี้: http://www.catb.org/esr/structure-packing/

มีสามปัจจัยหลัก

1. โปรเซสเซอร์บางตัวไม่สามารถเข้าถึงข้อมูลที่ไม่ได้จัดแนว (ตัวอย่างเช่นจำนวนเต็มหรือทศนิยมเริ่มต้นจากที่อยู่แปลก ๆ ) ความพยายามที่จะทำให้เกิดข้อยกเว้น
2. โปรเซสเซอร์บางตัวสามารถเข้าถึงข้อมูลที่ไม่ได้จัดแนว แต่มีค่าใช้จ่ายด้านประสิทธิภาพ
3. โครงสร้างส่วนใหญ่เข้าถึงได้โดยซอร์สโค้ด C / C ++ ชุดเดียวและการทำงานร่วมกันกับภาษาอื่นเป็นข้อยกเว้นไม่ใช่กฎ

เมื่อคำนึงถึงปัจจัยเหล่านี้ทั้งโครงสร้างมาตรฐานและคอมไพเลอร์ C / C ++ ทุกแผ่นโครงสร้างเป็นประจำเพื่อให้แน่ใจว่ามีการจัดตำแหน่งที่เหมาะสมที่สุดสำหรับโปรเซสเซอร์

นี่ไม่ใช่สิ่งที่ถูกมองข้าม เป็นที่เข้าใจกันเป็นอย่างดีและสถานการณ์ปัจจุบันเกิดจากการออกแบบ เวอร์ชันล่าสุดของมาตรฐาน C ++ มีการสนับสนุนอย่างกว้างขวางสำหรับการจัดการปัญหาการจัดตำแหน่งซึ่งบางทีคุณอาจไม่คุ้นเคย

มันเป็นคอมไพเลอร์เฉพาะเพราะมันไม่ได้อยู่ในมาตรฐาน และมันไม่ได้อยู่ในมาตรฐานเพราะเป็นการยากที่จะระบุในแบบที่ไม่ต้องใช้ความพยายามในการติดตั้งจำนวนมากสำหรับคอมไพเลอร์ของแพลตฟอร์มที่ไม่ชัดเจนด้วยข้อ จำกัด ในการจัดตำแหน่งที่บังคับใช้

และไม่มีความพยายามใดที่มีเหตุผลมากนักเพราะคอมไพเลอร์ / แพลตฟอร์มที่ทุกคนที่ใช้ C89 หรือคอมไพเลอร์รุ่นใหม่กว่านั้นใส่ใจกับมันแล้ว