câu lệnh C kỳ lạ

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

Tôi đang tìm kiếm các câu lệnh C kỳ quái. Tôi tìm thấy điều này, Nhưng không thể hiểu được việc sử dụng static 10 trong tuyên bố đó là gì. Có giống với int x[10] không?

Một điều, bạn có thể sử dụng volatile cũng có, ở vị trí của static ví dụ int x[volatile 10]
Bất kỳ ai biết sử dụng kinda tuyên bố này là gì?

PS: Biên soạn sử dụng GCC 4.6.3,

Answer 1

Đó là một gợi ý cho các trình biên dịch nói rằng x điểm tham số con trỏ đến phần tử đầu tiên của một mảng tối thiểu 10 yếu tố.

Ví dụ:

test(NULL); // undefined behavior