mảng được khai báo với từ khóa tĩnh: tĩnh là gì, con trỏ hoặc toàn bộ mảng?

Question

đơn giản nhưng khéo léo câu hỏi:

void f() { 
    static int a[3] = {1, 2, 3}; 
    ... 

là gì tĩnh ở đây? Con trỏ đến mảng hoặc toàn bộ mảng?

Ai có thể chỉ cho tôi định nghĩa về điều đó trong tiêu chuẩn C không?

Cảm ơn!

Answer 1

Từ tiêu chuẩn ISO C99 (phần 6.2.1, "Lĩnh vực định danh"):

3 Nếu tuyên bố của một phạm vi tập tin định danh cho một đối tượng hoặc một hàm chứa lưu trữ-class specifier tĩnh, nhận dạng có linkage.22 nội bộ)

trong ví dụ của bạn đó là định danh a mà trở nên tĩnh (tức là biểu tượng trong tập tin đối tượng không xuất khẩu).

EDIT:

Đối với tờ khai phạm vi phi tập tin tĩnh (phần 6.2.4, "khoảng thời gian lưu trữ các đối tượng")

3 Một đối tượng có nhận dạng được tuyên bố với bên ngoài hoặc nội bộ liên kết hoặc với bộ lưu trữ thông số tĩnh tĩnh có thời gian lưu trữ tĩnh . Tuổi thọ của nó là toàn bộ việc thực hiện chương trình và giá trị được lưu trữ chỉ được khởi tạo một lần, trước khi khởi động chương trình.

Tôi lấy nó để có nghĩa là bản thân mảng trở nên tĩnh trong trường hợp này, điều này có ý nghĩa, vì từ định danh sẽ có nội dung không hợp lệ.

Answer 2

Trong mã:

static int a[3] = {1, 2, 3}; 

Loại một là không phải con trỏ, nhưng mảng int. Tuy nhiên, nó được tự động chuyển đổi thành con trỏ, ví dụ: trong tiêu chuẩn C:

Ngoại trừ khi nó là toán hạng của toán tử sizeof hoặc toán tử đơn và toán tử, hoặc là chuỗi ký tự được sử dụng để khởi tạo mảng, biểu thức có loại '' mảng kiểu '' được chuyển thành một biểu thức với loại '' con trỏ để gõ '' trỏ đến phần tử ban đầu của đối tượng mảng và không phải là một giá trị.

Vì vậy, nếu a là mảng, hơn = {1, 2, 3} là khởi tạo, không phải là một loại mảng riêng biệt. Tôi không biết nếu nó được xác định chính xác ở đâu đó, nhưng theo nghĩa này nó được sử dụng xuyên suốt tiêu chuẩn.

Sửa để làm sáng tỏ sự nhầm lẫn của một số độc giả: theo tiêu chuẩn trích dẫn, nếu bạn viết:

int arr[4] = { }; 
arr[0] = 1; //arr here has here type int* 
size_t sz = sizeof(arr); //here it is not type int*, sizeof is exception 

Answer 3

Nó áp dụng cho mảng. Không có con trỏ nào trong mã của bạn. Mảng không phải là con trỏ.

#include <stdlib.h> 
#include <stdio.h> 

void f() { 
    static int a[3] = {1, 2, 3}; 
     a[1]++; 
     printf("%d\n", a[1]); 
} 

main() 
{ 
     int i; 
     for (i = 0; i < 5; i++) 
     { 
       f(); 
     } 
} 

đầu ra

3 
4 
5 
6 
7