「char s [static 10]」のような関数の配列パラメーターの静的キーワードの目的は何ですか？

いくつかのソースコードを閲覧しているときに、次のような関数を見つけました。

void someFunction(char someArray[static 100])
{
    // do something cool here
}

いくつかの実験で、他の修飾子もそこに現れるかもしれません：

void someFunction(char someArray[const])
{
    // do something cool here
}

修飾子は[ ]、配列が関数のパラメーターとして宣言されている場合にのみ許可されているようです。これらは何をしますか？関数パラメーターの場合はなぜ違うのですか？

最初の宣言は、コンパイラ指示someArrayである少なくとも 100個の要素長期。これは最適化に使用できます。たとえば、それsomeArrayは決してないことも意味しNULLます。

C標準では、関数の呼び出しがこれらの要件を満たさない場合（つまり、定義されていない動作がサイレントである場合）にコンパイラが診断する必要がないことに注意してください。

2番目の宣言は単にsomeArray（someArray要素ではなく！）constとして宣言しますsomeArray=someOtherArray。つまり、書き込むことはできません。パラメータがの場合と同じchar * const someArrayです。

この構文は[]、関数パラメーターリストの配列宣言子の最も内側でのみ使用できます。他の状況では意味がありません。

上記の両方のケースをカバーする標準テキストは、C11 6.7.6.3/7にあります（C99では6.7.5.3/7でした）：

「」型の配列「としてパラメータの宣言」「」を入力する修飾ポインタ「」に調整されなければならない、タイプ修飾子は、（もしあれば）内に指定されたものである[と]アレイ型導出。キーワードstaticが[と]の配列型の派生にも含まれている場合、関数の呼び出しごとに、対応する実際の引数の値が、少なくともで指定された数の要素を持つ配列の最初の要素へのアクセスを提供しますサイズ式。