C / C ++でサイズ0の配列を定義するとどうなりますか？

int array[0];コードで長さゼロの配列を定義すると、実際にはどうなりますか？GCCはまったく文句を言いません。

サンプルプログラム

#include <stdio.h>

int main() {
    int arr[0];
    return 0;
}

明確化

私は実際に、Darhazerのコメントの可変長のように指されるのではなく、このように初期化された長さゼロの配列が最適化されているかどうかを把握しようとしています。

これは、一部のコードを実際にリリースする必要があるため、SIZEがとして定義されているケースを処理する必要があるかどうかを判断しようとし0ています。int array[SIZE];

私は実際にGCCが文句を言わないことに驚き、それが私の質問につながりました。私が受け取った回答から、警告がないのは、新しい[]構文で更新されていない古いコードをサポートしていることが主な原因であると思います。

私は主にエラーについて疑問に思っていたので、Lundinの答えに正しいタグを付けています（Nawazの答えが最初でしたが、完全ではありませんでした）。 tまさに私が探していたもの。

配列のサイズをゼロにすることはできません。

ISO 9899：2011 6.7.6.2：

式が定数式の場合、その値はゼロより大きい値でなければなりません。

上記のテキストは、単純な配列（段落1）の両方に当てはまります。VLA（可変長配列）の場合、式の値がゼロ以下の場合の動作は未定義です（段落5）。これは、C標準の規範的なテキストです。コンパイラはそれを異なる方法で実装することはできません。

gcc -std=c99 -pedantic 非VLAの場合に警告を出します。

規格により許可されていません。

ただし、Cコンパイラでは現在、これらの宣言を柔軟な配列メンバー（FAM）宣言として扱うことが慣例となっています。

C99 6.7.2.1、§16：特殊なケースとして、複数の名前付きメンバーを持つ構造体の最後の要素は、不完全な配列型を持つ場合があります。これは、フレキシブルアレイメンバーと呼ばれます。

FAMの標準構文は次のとおりです。

struct Array {
  size_t size;
  int content[];
};

アイデアは、それを次のように割り当てるということです。

void foo(size_t x) {
  Array* array = malloc(sizeof(size_t) + x * sizeof(int));

  array->size = x;
  for (size_t i = 0; i != x; ++i) {
    array->content[i] = 0;
  }
}

静的に使用することもできます（gcc拡張）。

Array a = { 3, { 1, 2, 3 } };

これは、テールパディングされた構造（この用語はC99標準の公開に先立つ）または構造ハック（それを指摘してくれたJoe Wreschnigに感謝）とも呼ばれます。

ただし、この構文は標準化された（そして効果が保証された）のは最近C99でのみでした。以前は一定のサイズが必要でした。

• 1 ポータブルな方法でしたが、かなり奇妙でした。
• 0 意図を示すのは得意でしたが、標準に関する限り合法ではなく、一部のコンパイラ（gccを含む）によって拡張機能としてサポートされていました。

ただし、テールパディングの実践は、ストレージが利用可能（注意malloc）であることに依存しているため、一般的にスタックの使用には適していません。

標準CおよびC ++では、サイズがゼロの配列は許可されていません。

GCCを使用している場合は、-pedanticオプションでコンパイルします。次のように警告します：

zero.c:3:6: warning: ISO C forbids zero-size array 'a' [-pedantic]

C ++の場合、同様の警告が表示されます。

それは完全に違法であり、常にそうでしたが、多くのコンパイラはエラーを通知することを怠っています。なぜこれをしたいのかわかりません。私が知っている1つの使用法は、ブール値からコンパイル時エラーをトリガーすることです。

char someCondition[ condition ];

conditionがfalseの場合、コンパイル時エラーが発生します。コンパイラはこれを許可しているので、しかし、私は使用することにしました：

char someCondition[ 2 * condition - 1 ];

これにより、1または-1のいずれかのサイズが得られます。私は、-1のサイズを受け入れるコンパイラーを見つけたことはありません。

あることを追加します この引数については、gccのオンラインドキュメントの全ページ。

いくつかの引用：

GNU Cでは長さ0の配列を使用できます。

ISO C90では、コンテンツの長さを1にする必要があります。

そして

3.0より前のGCCバージョンでは、長さが0の配列を、柔軟な配列のように静的に初期化できました。有用なケースに加えて、後のデータを破壊するような状況での初期化も可能にしました

そうすることができます

int arr[0] = { 1 };

とブーム:-)

長さゼロの配列のもう1つの用途は、可変長オブジェクト（C99以前）を作成することです。長さがゼロの配列は、0のない[]を持つフレキシブル配列とは異なります。

gcc docから引用：

GNU Cでは長さ0の配列が許可されています。これらは実際には可変長オブジェクトのヘッダーである構造体の最後の要素として非常に役立ちます。

 struct line {
   int length;
   char contents[0];
 };
 
 struct line *thisline = (struct line *)
   malloc (sizeof (struct line) + this_length);
 thisline->length = this_length;

ISO C99では、柔軟な配列メンバーを使用します。これは、構文とセマンティクスが少し異なります。

• 柔軟な配列メンバーは、0なしでcontent []として書き込まれます。
• フレキシブルアレイメンバーの型は不完全であるため、sizeof演算子は適用されない場合があります。

実際の例はstruct kdbus_item、kdbus.h（Linuxカーネルモジュール）のゼロ長配列です。

構造体内のサイズ0の配列宣言は、それらが許可されていて、セマンティクスが（1）アラインメントを強制するが、それ以外の場合はスペースを割り当てない、および（2）配列のインデックス付けは、結果のポインタが構造体と同じメモリブロック内にある場合。このような動作はC標準では決して許可されていませんでしたが、一部の古いコンパイラでは、コンパイラが空の角かっこを使用した不完全な配列宣言を許可する標準になる前に許可されていました。

サイズ1の配列を使用して一般的に実装されるstruct hackは危険なものであり、コンパイラーがそれを壊さないようにする要件はないと思います。例えば、私は、コンパイラが見ればことを期待しint a[1]、それは考えるために、その権利範囲内であろうa[i]とa[0]。誰かが構造ハックの整列の問題を回避しようとすると

typedef struct {
  uint32_tサイズ;
  uint8_t data [4]; // 4を使用して、パディングによる構造体のサイズの低下を回避
}

コンパイラーは賢くなり、配列サイズが実際には4であると想定します。

; 書かれたように
  foo = myStruct-> data [i];
; 解釈どおり（リトルエンディアンのハードウェアを想定）
  foo =（（*（uint32_t *）myStruct-> data）>>（i << 3））＆0xFF;

このような最適化は、特にmyStruct->dataと同じ操作でレジスタにロードできる場合は、妥当な場合がありますmyStruct->size。私はそのような最適化を禁止する標準では何も知りませんが、もちろん、4番目の要素を超えるものにアクセスすることを期待するコードを壊します。