bizarre C statement

Question

void test(int x[static 10]); 

int main() 
{ 
    int a[]={1,2,3,4,5,6,7,8,9,10,11}; 
    test(a); 
    return 0; 
} 

void test(int x[static 10]) 
{ 
    printf("%d",x[9]); 
} 

Я искал причудливые высказывания С. Я нашел этот, но не мог понять, что такое использование static 10 в этом заявлении. Это то же самое, что и int x[10]?

Другое дело, вы можете использовать volatile также, вместо staticint x[volatile 10]
например Кто-нибудь знает, что использование этого любопытное декларации?

PS: Составитель использованием GCC 4.6.3,

Answer 1

Это намек на компилятор, сообщая о том, что параметр x указатель указывает на первый элемент массива по меньшей мере 10 элементов.

Например:

test(NULL); // undefined behavior