中級

sizeofが配列の要素数ではなくポインタのサイズを返す

配列に対するsizeofは配列全体のバイト数を返しますが、関数の引数として渡された配列はポインタに変わっているため、同じsizeofが8（ポインタのサイズ）を返してしまいます。

なぜエラーが出ないのか

出力: 2

（エラーなし）

Cは何も報告しません。コンパイルも実行も正常に完了するためです

出力: 2

実際の挙動 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるか、コードを目で追うしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  #include <stdio.h>
 2  
 3  int main(void) {
 4      int nums[5] = {1, 2, 3, 4, 5};
 5      int *p = nums;
 6      int count = sizeof(p    ) / sizeof(int);
                             ^
 7      printf("%d\n", count);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  
 3  int main(void) {
 4      double prices[4] = {9.5, 3.2, 7.1, 4.4};
 5      double *p = prices;
 6      int count = sizeof(p      ) / sizeof(double);
                              ^
 7      printf("%d\n", count);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  
 3  int main(void) {
 4      char letters[6] = {'a', 'b', 'c', 'd', 'e', 'f'};
 5      char *p = letters;
 6      int count = sizeof(p       ) / sizeof(char);
                               ^
 7      printf("%d\n", count);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  
 3  int main(void) {
 4      long ids[3] = {100, 200, 300};
 5      long *p = ids;
 6      int count = sizeof(p   ) / sizeof(long);
                             ^
 7      printf("%d\n", count);
 8      return 0;
 9  }

 1  #include <stdio.h>
 2  
 3  int main(void) {
 4      float weights[7] = {1, 2, 3, 4, 5, 6, 7};
 5      float *p = weights;
 6      int count = sizeof(p       ) / sizeof(float);
                               ^
 7      printf("%d\n", count);
 8      return 0;
 9  }

よくある誤解

配列を関数に渡しても「配列そのもの」が渡されると思いがちですが、Cでは配列は関数の引数になった瞬間に先頭要素へのポインタに変換されます（配列のdecay）。要素数の情報は失われるため、関数内でsizeofから要素数を復元することはできません。

実務での勘所

配列の要素数を求める定石はsizeof(arr) / sizeof(arr[0])ですが、これが正しく働くのは配列がまだポインタに変換されていない、宣言されたスコープの中だけです。関数に渡した後の引数としてのarrに対して同じ式を書くと、ポインタのサイズを要素のサイズで割った無意味な値になります。この制約のため、Cでは配列を関数に渡すときは、要素数を表す引数を別途一緒に渡すのが標準的な作法です(void f(int *arr, size_t n)のように)。

演習をはじめる

関連するエラー

• 多次元配列で行と列の添字を取り違えて違う値を読むarr[row][col]とarr[col][row]は多くの場合どちらもコンパイルは通り実行もできますが、正方でない配列では違う位置の値を読んでしまいます。
• 配列のループが1つずれて範囲外を読む・最後の要素が抜ける添字は0から要素数-1までという境界を1つ間違えると、最後の要素が抜けたり、配列の外を読んでしまったりします。