Trong C, tại sao nhiều khai báo hoạt động tốt cho biến toàn cầu nhưng không hoạt động đối với biến cục bộ?

Question

Trong đoạn mã sau, tại sao nhiều khai báo (và một định nghĩa) cho biến toàn cục "x" hoạt động tốt nhưng cùng không hoạt động với biến cục bộ "y" nằm trong hàm main()? 2 lỗi sau đây:

1) khai báo lại của 'y' không có mối liên hệ

2) tuyên bố trước đó của 'y' đã ở đây

Tại sao nó hiển thị lỗi cho biến cục bộ nhưng không toàn cầu biến Không chỉ cuốn sách của tôi, nhưng 2 liên kết sau đây từ diễn đàn này nêu rõ rằng chúng tôi có thể khai báo một biến nhiều lần (mặc dù chỉ xác định một lần).

link1 link2

Và vui lòng chăm sóc để giải thích những gì hiện các "không có mối liên kết" một phần của lỗi đầu tiên "khai báo lại của 'y' không có mối liên kết" nghĩa là gì? Liên kết gì và cho ai? Ở đâu sẽ một biến cục bộ được liên kết?

#include<stdio.h> 

    int x; 
    int x; 
    int x=303; 

    int main(void) 
    { 

     int y; 
     int y; 
     int y=776; //Works fine if above 2 declarations are removed!! 

     printf("The value of x is %d,and of y is %d",x,y); 

    } 

Answer 1

Trong C và C++, int y;trong vòng một hàm vừa là một lời tuyên bố và một định nghĩa.

Trong C, int x; trong phạm vi tập tin (bên ngoài bất kỳ chức năng) là một tuyên bố và một defintion dự kiến ​​. Nhiều định nghĩa dự kiến ​​được cho phép; chỉ cho phép định nghĩa.

Answer 2

Đây là cách định nghĩa trong tiêu chuẩn C99, phần 6.2.2, phần 2:

Trong bộ của các đơn vị dịch và các thư viện đó được hiểu là toàn bộ chương trình, mỗi tuyên bố một er fi identi đặc biệt với liên kết bên ngoài biểu thị cùng một đối tượng hoặc hàm . Trong một đơn vị dịch thuật, mỗi tờ khai có xác định với nội bộ liên kết biểu thị cùng một đối tượng hoặc chức năng. Mỗi tuyên bố của một định danh với không có liên kết biểu thị một thực thể duy nhất.

Biến "chung" x có liên kết bên ngoài, vì vậy chúng biểu thị cùng một đối tượng. Các biến địa phương y, mặt khác, không có liên kết, do đó, có một va chạm.

Tham chiếu: C99 Standard.

Answer 3

Với các biến bên ngoài, bất kỳ khai báo nào không phải là khởi tạo là định nghĩa dự kiến. Bản thân chúng không tạo ra bất kỳ dung lượng lưu trữ nào, vì vậy nhiều mục được cho phép. Vì vậy, dùng ví dụ của bạn:

int x;  // tentative def 
int x;  // and again -- ok 
int x=303; // definition -- ok 
int x=303; // multiple definition -- error 

Nếu ở phần cuối của tập tin đã có định nghĩa duy nhất dự kiến, biến được định nghĩa một lần, và thiết lập là 0.

Điều này có nghĩa rằng nếu bạn liên kết đến tập tin khác cũng có định nghĩa dự kiến ​​là x, bạn sẽ gặp lỗi theo tiêu chuẩn. Hầu hết các trình biên dịch/liên kết đã luôn luôn cho phép điều này, mặc dù, và nó được định nghĩa trong tiêu chuẩn như là một phần mở rộng.

Với các biến cục bộ, mỗi khai báo là định nghĩa vì các quy tắc phạm vi. Tuy nhiên, điều này được cho phép:

void func(void) 
{ 
    int y = 0; 
    { 
     int y = 1; // a completely different y 
    } 
}