Thứ tự `định nghĩa tĩnh` và `khai báo extern` trong một đơn vị dịch

Question

Tôi không thể hiểu tại sao điều này không hoạt động.

extern int i; 

int main() 
{ 
    printf(" %d ", i); 
} 

static int i =3; 

Ngoài ra, điều này không làm việc:

extern int i; 

static int i =3; 

int main() 
{ 
    printf(" %d ", i); 
} 

Nhưng nếu static biến được xác định trước extern declaration nó hoạt động:

static int i =3; 

extern int i; 

int main() 
{ 
    printf(" %d ", i); 
} 

Theo tôi được biết từ extern int i nói rằng i là hiện tại ở một nơi khác và tại đây trông như thế nào (int i)

Nhưng, ở một nơi khác phương tiện:

1) Có lẽ, điểm sau trong đơn vị same dịch như một global variable.

2) Có thể, trong một số đơn vị dịch là other.

Tôi đã nghĩ rằng (1) sẽ hợp lệ mặc dù static int i = 3 đã hạn chế phạm vi của i đối với đơn vị dịch hiện tại mà nó được xác định.

Không phải là static int i =3global (tôi có nghĩa là ít nhất nó có thể nhìn thấy trong đơn vị dịch) ở đây mặc dù nó có phạm vi giới hạn đối với đơn vị dịch thuật của nó? Vậy tại sao trình biên dịch không thể tìm thấy nó?

Khi tôi biên dịch hai phiên bản đầu tiên tôi nhận được lỗi thời gian biên dịch sau:

error: static declaration of ‘i’ follows non-static declaration 
note: previous declaration of ‘i’ was here 

Tôi không thể hiểu được thông báo lỗi này. Ngoài ra, tại sao nó phàn nàn nó như là một tĩnh declaration nó không phải là một definition cũng?

Answer 1

C11 6.2.2 mối liên kết của định danh Phần 4

For an identifier declared with the storage-class specifier extern in a scope in which a prior declaration of that identifier is visible,31) if the prior declaration specifies internal or external linkage, the linkage of the identifier at the later declaration is the same as the linkage specified at the prior declaration. If no prior declaration is visible, or if the prior declaration specifies no linkage, then the identifier has external linkage.

Vì vậy, việc kê khai thứ hai sẽ làm theo các đầu tiên, trở lại ví dụ của bạn, 1 và 2 ví dụ i sẽ có một kho lưu extern. Trình biên dịch nghĩ rằng đó là một lỗi.

Trong khi ở ví dụ thứ 3, i sẽ là static vì trước tiên static hiển thị. Đó không phải là vấn đề.

Và, trong Phần 7 của C11 6.2.2 mối liên kết của định danh

If, within a translation unit, the same identifier appears with both internal and external linkage, the behavior is undefined.

Vì vậy, nó là tốt hơn không phải khai báo các biến tương tự với cả hai static và extern trong các đơn vị dịch tương tự.

Answer 2

Vâng, một biến là extern hoặc static. Hãy nhớ rằng static ở cấp độ toàn cầu chỉ hạn chế khả năng hiển thị của nó đối với đơn vị dịch hiện tại, trong khi extern chỉ ra rằng nó hiển thị trên các đơn vị dịch khác nhau.

Answer 3

Không có nghĩa lý gì khi tuyên bố một cái gì đó là static và một lần nữa là extern. Làm như vậy là hành vi không xác định, do đó, không làm điều đó.