sizeofを返す構造を要求する古い投稿があり0ます。評判の高いユーザーから、標準ではタイプや変数のサイズを0にすることはできないという高得点の回答がいくつかあります。私はそれに100％同意します。
しかし、この解決策を提示するこの新しい答えがあります：
struct ZeroMemory {
int *a[0];
};
反対票を投じてコメントしようとしていましたが、ここで過ごした時間は、私が100％確信していることさえチェックすることを教えてくれました。だから...驚いたことに、両方とも同じ結果gccをclang示しています：sizeof(ZeroMemory) == 0。さらに、変数のサイズは0次のとおりです。
ZeroMemory z{};
static_assert(sizeof(z) == 0); // Awkward...
わぁぁぁぁぁ…？
これはどのように可能ですか？
回答:
Cが標準化される前は、コードがゼロサイズ型へのポインタを別のポインタから減算しようとしない限り、多くのコンパイラはゼロサイズ型の処理に問題はありませんでした。そのようなタイプは有用であり、それらをサポートすることはそれらを禁止するよりも簡単で安価でした。ただし、他のコンパイラはそのような型を禁止することを決定しました。一部の静的アサーションコードは、コードがゼロサイズの配列を作成しようとするとスクォークするという事実に依存している可能性があります。標準の作成者は、次の選択肢に直面しました。
コンパイラがゼロサイズの配列宣言をサイレントに受け入れることを許可します。そのような宣言の目的が診断をトリガーしてコンパイルを中止する場合でも、すべてのコンパイラがゼロサイズのオブジェクトを生成するものとしてそのような宣言を受け入れることを要求します（必ずしもサイレントではありません）。 。
コンパイラーがゼロサイズの配列宣言をサイレントに受け入れることを許可します。そのような宣言の目的が診断をトリガーしてコンパイルを中止する場合でも、そのような宣言に遭遇したコンパイラーはコンパイルを中止するか、自由に続行できます。
コードがゼロサイズの配列を宣言している場合、実装が診断を発行することを要求しますが、その後、実装がコンパイルを中止するか、（適切と思われるセマンティクスで）自由にコンパイルを続行できるようにします。
標準の作成者は＃3を選択しました。その結果、ゼロサイズの配列宣言は、標準がそれらを禁止する前にそのような構造が広くサポートされていたとしても、標準の「拡張」によって見なされます。
C ++標準では、空のオブジェクトの存在が許可されていますが、空のオブジェクトのアドレスをトークンとして使用できるようにするために、最小サイズは1であることが義務付けられています。メンバーがないオブジェクトの場合、したがって、0は標準に違反します。ただし、オブジェクトにゼロサイズのメンバーが含まれている場合、C ++標準では、そのような宣言を含むプログラムが診断をトリガーする必要があるという事実以外に、オブジェクトの処理方法に関する要件はありません。このような宣言を使用するほとんどのコードは、結果のオブジェクトのサイズがゼロであることを想定しているため、このようなコードを受け取るコンパイラーにとって最も有用な動作は、それらをそのように扱うことです。
struct polygon { int count; POINT sides[0];}; struct { struct polygon poly; POINT pts[3]; } myTriangle = { {3}, {{1,1},{2,2},{2,1} };。位置合わせによって問題が発生しないように注意する必要がありますが、同じように処理できるさまざまなサイズの静的期間のオブジェクトを使用できます。
Jarod42が指摘しているように、ゼロサイズの配列は標準のC ++ではなく、GCCおよびClangの拡張機能です。
追加-pedanticすると、次の警告が表示されます。
5 : <source>:5:12: warning: zero size arrays are an extension [-Wzero-length-array]
int *a[0];
^
std=c++XX（の代わりにstd=gnu++XX）すべての拡張機能が無効になるわけではないことを常に忘れています。
これはまだ動作を説明していませんsizeof。しかし、少なくとも私たちはそれが標準ではないことを知っています...
sizeof(int*)別々に保存されます（私は推測します）：coliru.stacked-crooked.com/a/e9a3038bf587b65c
sizeofため、そのタイプの結果が何を与えるかに関する規格の要件も適用されません。したがって、この動作はコンパイラ開発者が決定したものです。
ZeroMemory* z = (ZeroMemory*)malloc(sizeof(ZeroMemory) + 2 * sizeof(int*)); z.a[1] = new int{1}; /* or whatever, just use indices into a to access dynamic memory after the previous members (in this case: none) */もちろん、これは互換性標準ではありません！（これは、たとえば、構造体にキャストすることにより、動的な長さのネットワークメッセージを簡単に解析するために使用できます）。
0、空でないクラスはサイズを持つことができます0...これはあまり意味がありません。しかし、これは、非標準の拡張機能で発生する一種の競合するエッジケースだと思います。
0です。この特定のケースでは、struct it自体のメンバーのサイズは0であり、これによりstruct 0のサイズになります。混乱することはわかっていますが、説明するために最善を尽くしました。