【C言語】配列の長さを取得する関数

Question

質問：C言語には配列の長さを取得する関数はありますか？
質問の経緯：自分で調べた限りでは、自力で実装するしかないらしいとの結論に至ったのですが、それで正しいのかわかりません。もし標準ライブラリには存在しないなら「ありません」と、存在するならヘッダーと関数名（可能なら使い方も）お教えくださると助かります。

Answer 1

「配列の長さを取得する関数があるか」という質問を言葉通りに解釈するのであれば無いというのが端的な回答です。 しかしきちんと理解するには背景となる仕組みを理解する必要があります。

• 配列として宣言された変数は配列型を持つ (たとえば int a[10]; と宣言されたときの a の型は int[10])
• 型は大きさの情報を持っている
• 式中に現れる配列は配列の先頭要素を指すポインタに暗黙に型変換される (int[10] は int* に型変換される)
• 配列 (配列全体) を値としてやり取りすることは出来ない (「第一級オブジェクトではない」という言い回しで表現されることがあります)
• 配列は sizeof や & のオペランドとして現れる場合に限って配列からポインタへの暗黙の型変換はされない

配列の大きさの情報を知っているのは型であって値ではないので、ポインタとなってしまった後は配列の大きさという情報は失われてしまいます。

ポインタに型変換される前なら sizeof を用いて配列の大きさを算出できるというのは thkana さんが述べている通りですが、ポインタになってしまった後に配列の大きさを知る方法はないのです。 自分で作ることも不可能です。 (少なくとも言語仕様の範囲内では。 処理系の拡張として出来るようになっている場合もあります。)

ですから、配列の大きさはプログラマが別の変数に保管するなどして管理しなければなりません。

Answer 2

ありません。

変数Aが配列型なら、演算子と計算で
sizeof(A)/sizeof(A[0])
で配列の要素数が求まるのは有名ではありますが、標準のC言語では実行中のプログラムからはAが配列型なのかを確かに知る手段がないので、Aがポインタだったりすると破綻します。