Về định nghĩa dự kiến ​​

Question

Tôi đọc từ một cuốn sách về, định nghĩa dự kiến ​​rằng,

A tentative definition is any external data declaration that has no storage class specifier and no initializer. A tentative definition becomes a full definition if the end of the translation unit is reached and no definition has appeared with an initializer for the identifier

Xin giải thích những gì tuyên bố trên có nghĩa. Ngoài ra, sự khác biệt giữa Tuyên bố và Định nghĩa? Tôi bị lẫn lộn vì điều này. :( Và tại sao không chương trình này cung cấp cho một lỗi:

#include<stdio.h> 
int a;  //Tentative definition 
int a;  //similarly this declaration too. 
int main() //not getting any error with this code why its so? 
{ 
    printf("hi"); 
} 

Ngoài ra, những gì là sai với mã này:

#include<stdio.h> 
printf("Hi"); 
int main(void){ 
    return 0; 
} 

Answer 1

Một biến khai báo nói rằng "có một biến có tên và loại sau trong chương trình".

Biến số định nghĩa nói, "Thưa ông Compiler, vui lòng cấp phát bộ nhớ cho một biến có tên và loại sau ngay bây giờ".

Vì vậy, có thể có nhiều khai báo cho cùng một biến, nhưng chỉ nên có một định nghĩa.

Trong C, khai báo thuần túy (không phải là định nghĩa) được đặt trước với từ khóa extern. Vì vậy, vì bạn không có từ khóa này trong ví dụ đầu tiên của bạn, những gì bạn có là hai định nghĩa. Trên khuôn mặt của nó, điều này có vẻ là một vấn đề (và thực tế là một lỗi trong C++), nhưng C có một quy tắc "định nghĩa dự kiến" đặc biệt cho phép nhiều định nghĩa cho cùng một biến miễn là chúng phù hợp và nhiều nhất có một bộ khởi tạo. Trình biên dịch C, đằng sau hậu trường, kết hợp tất cả các định nghĩa dự kiến ​​vào một định nghĩa duy nhất.

Đã mà bạn cố gắng khởi tạo cả hai định nghĩa, như thế này:

int a = 1; 
int a = 2; 

Sau đó, bạn sẽ có một lỗi.

Câu hỏi thứ hai của bạn đơn giản hơn. Trong C, bạn chỉ đơn giản là không thể có các câu lệnh thi hành bên ngoài phần thân của một hàm. Nó không được phép. Hãy suy nghĩ về nó: khi nào bạn mong đợi nó sẽ chạy nếu nó được cho phép?

Answer 2

Các công trình đầu tiên vì cả hai định nghĩa lại a là dự kiến, mà Ở cuối đơn vị dịch thuật, không có định nghĩa không dự kiến ​​nào được nhìn thấy, vì vậy những gì bạn đã chỉ định cho thuộc tính được kết hợp với mặc định để đưa ra định nghĩa cuối cùng là a, do đó, nó sẽ có liên kết bên ngoài, thời lượng lưu trữ tĩnh và được khởi tạo thành 0.

Vấn đề với vấn đề thứ hai không liên quan gì đến định nghĩa dự kiến. printf("Hi"); của bạn cần phải ở bên trong một hàm để hoạt động - nó không phải là một tuyên bố hay một định nghĩa (dự kiến ​​hay cách khác); nó không được phép ở đó.