bizarre C-Anweisung

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]); 
} 

Ich suchte nach bizarren C-Aussagen. Ich fand dieses, aber konnte nicht verstehen, was die Verwendung von static 10 in dieser Aussage ist. Ist es dasselbe wie int x[10]?

Eine andere Sache, können Sie volatile auch verwenden, anstelle von static z int x[volatile 10]
Jeder weiß, was die Verwendung dieser irgendwie Erklärung ist?

PS: Compiled GCC 4.6.3,

Answer 1

Es ist ein Hinweis für den Compiler zu sagen, dass die x Zeigerparameter zeigt auf das erste Element eines Arrays von mindestens 10 Elemente.

Zum Beispiel:

test(NULL); // undefined behavior