C言語　配列の初期化子が要素数より少ない場合にエラーを出したい

Question

### C言語で配列の初期化子が要素数より少ない場合にエラーを出したい

C言語でプログラムを組んでいる時に疑問に思い、質問させていただきました。

配列の要素数を明示的に定義している場合において、
初期化子が要素数より多い場合はコンパイルエラーが出るのですが
初期化子が要素数より少ない場合は残りが０埋めされるだけでエラーが出ません。

例えば、ある種のデータ群を配列として持っていて
配列の中身にはそれぞれデータが必ず入っている必要がある
などといった場合に、
配列の要素数の定義だけを増加させると、中身のない領域ができてしまい危険に思いました。

どうにかしてエラーを発生させることはできないのでしょうか？
もしくはコードの書き方等で安全に設計することはできるでしょうか？


### コード例

```C
//#define DATA_ARRAY_SIZE 5 → 10 に変更
#define DATA_ARRAY_SIZE 10
const int data_array[DATA_ARRAY_SIZE] = { 1,2,3,4,5 };
```
例えば、こういう場合です。

### 追記

具体的な状況が伝わりにくかったのでコード例を追記しました。
配列のサイズを取得したいというよりも、
あるサイズ（ここでは列挙体のサイズ）に配列のサイズを紐づけていて
そのサイズが変更された場合に何かしら気付けるような方法があるのかを知りたいです。

```C
typedef enum{
    a1 = 0,
    a2,
    a3,
    a_NUM,      //この列挙体の要素数
}eXXX;

const int data_array[a_NUM] = { 1, 2, 3 };

int main(void)
{
    for (int i = 0; i < a_NUM; i++)
    {
        //data_array[i]を使った処理
    }

    return 0;
}
```
上記のコードで、
enumに'a4'が追加された時に、
データ配列的には想定されていない'data_array[3]'にアクセスされることが危険だと感じました。

Accepted Answer

要素数に満たない分を0初期化されたくないのであれば、
要素数とデータを個別に管理せずにデータ数を取得すればよいのでは？
```C
const int data_array[] = { 1,2,3,4,5 };
const size_t DATA_ARRAY_SIZE = sizeof(data_array) / sizeof(data_array[0]);
```

---
要素数に満たない分が0(もしくはヌルポインタ)に初期化されるのはC言語の機能なので、エラーにすることはできません。
[配列の初期化](https://ja.cppreference.com/w/c/language/array_initialization)

---
(質問追記分)
コメントでthkanaさんも書かれていますが、実行時エラーとする[`aseert`](https://linuxjm.osdn.jp/html/LDP_man-pages/man3/assert.3.html)ではだめですか？
注意：`aseert`は`NDEBUG`マクロが定義されていると何もしないコードに置き換えられます。
gcc/g++なら明示的に`NDEBUG`を定義しなければ`aseert`実行されますが、VisualC++の場合はReleaseビルド時`NDEBUG`が定義されます。
VisualC++のReleaseビルド時でもエラー表示したい場合はif文にでも置き換えてください。

```C
#include <assert.h>
typedef enum {
    a1 = 0,
    a2,
    a3,
    a4,
    a_NUM,      //この列挙体の要素数
}eXXX;
const int data_array[] = { 1,2,3 };

int main(void)
{
    assert(a_NUM == sizeof(data_array) / sizeof(data_array[0]));

    for (int i = 0; i < a_NUM; i++)
    {
        //data_array[i]を使った処理
    }

    return 0;
}
```

---
~~C言語にこだわらず~~C++(C++11以降)~~でもよい~~なら、以下のようにすればコンパイル時にエラーにできます。
(追記)C言語も[C11以降なら`_Static_assert`](https://ja.cppreference.com/w/c/language/_Static_assert)が使用でき、[`assert.h`をincludeすれば`#define static_assert _Static_assert`とdefineされる](https://ja.cppreference.com/w/c/error/static_assert)ようです。手元のMinGW gcc9.2.0では`assert.h`にそのような記述は含まれておらずdefineされませんでしたが、`_Static_assert`は使用できました。
VisualC++のC言語はC90(C89)なので`_Static_assert`は使用できませんが、`static_assert`は使えるようです。
```C++
typedef enum {
    a1 = 0,
    a2,
    a3,
    a4,
    a_NUM,      //この列挙体の要素数
}eXXX;
const int data_array[] = { 1,2,3 };
static_assert(a_NUM == sizeof(data_array) / sizeof(data_array[0]), "element count != a_NUM");

```

Answer

C11/C++11なら`static_assert`が使えるので、`static_assert(sizeof(arr)/sizeof(*arr) == 5, "err");`のようにできると思います。

Answer

> 初期化子が要素数より少ない場合は残りが０埋めされるだけでエラーが出ません

それを利用する技(?)もあります.

C は元々 OS を書くために発展した言語です. チップレベルの動作を理解した上でその機能を最大限に発揮できるようコードを書くための言語であり, 一見「危険」に思えるコードも, あくまでプログラマが理解・注意・意図して書いていることが大前提です.

求められるものの変化で, あるいはそのような「安全」の機能を含むコンパイラもあるかもしれませんが, そのようなモノが無くても「安全」になるように(他の方の回答にありますように)コードを書くことが技術者の腕の見せ所であり, さらには必要ならそのような機能をコンパイラを改造して作ってしまおうという気概こそ C の技術者に必要なことかと思います.

Answer

``` #define  ARR_SIZE(x)  (sizeof(x)/sizeof(*(x))) ```

というマクロを用意しとけば、これで配列のサイズを取ってこれます

＃ポインタ与えるとおかしくなるので注意