其實 static 在 C99 之後還有一個鮮少人知道的用法：
#include <stddef.h>
void foo(int a[static 42]) {}
int main(void)
{
int x[41], y[42], z[43];
foo(x);
foo(y);
foo(z);
foo(NULL);
return 0;
}
$ clang -std=c11 -Wall -Wextra -pedantic -fsyntax-only main.c
main.c:8:5: warning: array argument is too small; contains 41 elements,
callee requires at least 42 [-Warray-bounds]
foo(x);
^ ~
main.c:3:14: note: callee declares array parameter as static here
void foo(int a[static 42]) {}
^~~~~~~~~~~~
main.c:11:5: warning: null passed to a callee that requires a non-null
argument [-Wnonnull]
foo(NULL);
^ ~~~~
main.c:3:14: note: callee declares array parameter as static here
void foo(int a[static 42]) {}
^~~~~~~~~~~~
順帶一題，修飾 array 參數的 qualifier 也是寫在 [] 裡面，
所以一個 function 的宣告可能可以長成這個樣子：
void foo(int a[static const restrict 42], int b[static const restrict 42]);
另外因為標準規定只有 static <qualifier> 或 <qualifier> static 兩種寫法，
所以不能寫 const static restrict，這裡 clang 會噴一個令人摸不著頭緒的錯誤：
error: expected expression
void foo(int a[const static restrict 42]) {
^
看到這裡有沒有覺得 C 語言真的是很親切呢^^