Tại sao các cấu trúc đóng gói không phải là một phần của ngôn ngữ C?

Mỗi trình biên dịch C cung cấp tùy chọn "đóng gói" các cấu trúc C (ví dụ: __attribute__ ((__packed__))hoặc #pragma pack()). Bây giờ, tất cả chúng ta đều biết rằng việc đóng gói là bắt buộc, nếu chúng ta muốn gửi hoặc lưu trữ dữ liệu một cách đáng tin cậy. Đây cũng phải là một yêu cầu kể từ những ngày đầu tiên của ngôn ngữ C.

Vì vậy, tôi tự hỏi tại sao cấu trúc đóng gói không phải là một phần của đặc tả ngôn ngữ C? Họ thậm chí không ở C99 hay C11 mặc dù sự cần thiết phải có chúng trong nhiều thập kỷ nay? Tôi đang thiếu gì? Tại sao nó là trình biên dịch cụ thể?

Tôi đoán đó là vì nó phụ thuộc vào sự kết hợp của CPU / trình biên dịch đích được sử dụng. Điều này có nghĩa là tốt hơn là trở thành một chỉ thị của trình biên dịch (vì nó liên quan đến điều đó) hơn là một khía cạnh ngôn ngữ, vì làm thế nào để xác định điều đó? Cách duy nhất họ có thể làm là với công đoàn.

Bài viết của Raymond cung cấp một số cái nhìn sâu sắc về lý do tại sao đây là: http://www.catb.org/esr/structure-packing/

Có ba yếu tố chính.

1. Một số bộ xử lý không thể truy cập dữ liệu chưa được phân bổ (ví dụ: số nguyên hoặc dấu phẩy bắt đầu trên một địa chỉ lẻ). Cố gắng làm kích hoạt một ngoại lệ.
2. Một số bộ xử lý có thể truy cập dữ liệu chưa được phân bổ, nhưng với chi phí hiệu năng.
3. Hầu hết các cấu trúc được truy cập bởi một bộ mã nguồn C / C ++ và khả năng tương tác với các ngôn ngữ khác là ngoại lệ, không phải là quy tắc.

Với các yếu tố này, cả trình biên dịch chuẩn và tất cả các trình biên dịch C / C ++ thường xuyên cấu trúc pad để đảm bảo căn chỉnh tối ưu cho bộ xử lý, nhưng cũng cung cấp các cơ chế để ghi đè lên điều này nếu cần cho mục đích xen kẽ.

Điều này không có nghĩa là một cái gì đó đã bị bỏ qua. Nó được hiểu rất rõ và tình hình hiện tại là do thiết kế. Các phiên bản mới nhất của tiêu chuẩn C ++ có hỗ trợ rộng rãi để xử lý các vấn đề căn chỉnh, có lẽ bạn không quen thuộc.

Nó là trình biên dịch cụ thể vì nó không có trong tiêu chuẩn. Và nó không nằm trong tiêu chuẩn vì khó có thể chỉ định theo cách không đòi hỏi nhiều nỗ lực triển khai cho trình biên dịch nền tảng tối nghĩa với các hạn chế căn chỉnh được thi hành.

Và không có nỗ lực nào có nhiều lý do, bởi vì mọi trình biên dịch / nền tảng mà bất kỳ ai sử dụng trình biên dịch C89 trở lên đều quan tâm đã thực hiện.