パック構造体がC言語の一部ではないのはなぜですか？

すべてのCコンパイラは、C構造体（__attribute__ ((__packed__))または#pragma pack()）を「パック」するオプションを提供します。信頼できる方法でデータを送信または保存する場合は、パッキングが必要であることは誰もが知っています。これは、C言語の最初の日からの要件でもあったに違いありません。

では、なぜパック構造体がC言語仕様の一部ではないのでしょうか。それらの必要性が数十年前から知られているにもかかわらず、それらはC99またはC11にさえありませんか？何が欠けていますか？なぜコンパイラ固有なのですか？

使用するターゲットCPU /コンパイラの組み合わせに依存するためだと思います。これは、それをどのように指定するかというと、言語の側面よりも、コンパイラディレクティブ（それに関連するもの）の方が優れていることを意味します。彼らがそれを行うことができる唯一の方法は、組合である。

レイモンドの記事は、これがなぜであるかについての洞察を提供します：http : //www.catb.org/esr/structure-packing/

主な要因は3つあります。

1. 一部のプロセッサは、アラインされていないデータ（たとえば、奇数アドレスから始まる整数または浮動小数点）にアクセスできません。実行しようとすると、例外がトリガーされます。
2. 一部のプロセッサは、アライメントされていないデータにアクセスできますが、パフォーマンスが低下します。
3. ほとんどの構造は、C / C ++ソースコードの単一のセットによってアクセスされ、他の言語との相互運用性は例外であり、規則ではありません。

これらの要素を念頭に置いて、標準およびすべてのC / C ++コンパイラーは、構造を定期的にパディングしてプロセッサーの最適なアライメントを確保しますが、相互運用の目的で必要に応じてこれをオーバーライドするメカニズムも提供します。

これは決して見過ごされてきたことではありません。それは非常によく理解されており、現在の状況は設計によるものです。C ++標準の最新バージョンでは、アラインメントの問題を処理するための広範なサポートが提供されていますが、これには慣れていない可能性があります。

標準にはないため、コンパイラ固有です。また、アラインメント制限が適用されているあいまいなプラットフォームのコンパイラーに多くの実装作業を必要としない方法で指定することが難しいため、これは標準にはありません。

そして、C89以降のコンパイラを使用する誰もが気にするすべてのコンパイラ/プラットフォームがすでに実装されているので、その努力のどれも正当化の余地はありません。