Tại sao tự động a = 1; biên dịch trong C?

Mật mã:

int main(void)
{
    auto a=1;
    return 0;
}

được biên dịch mà không có lỗi bởi trình biên dịch MS Visual Studio 2012, khi tệp có phần mở rộng .c. Tôi đã luôn nghĩ rằng khi bạn sử dụng phần mở rộng .c, việc biên dịch phải theo cú pháp C chứ không phải C ++. Hơn nữa, theo như tôi biết tự động không có loại chỉ được phép trong C ++ kể từ C ++ 11, điều đó có nghĩa là loại đó được suy ra từ bộ khởi tạo.

Điều đó có nghĩa là trình biên dịch của tôi không dính vào C, hay mã thực sự đúng trong ngôn ngữ C?

autolà một từ khóa C cũ có nghĩa là "phạm vi địa phương". auto agiống như auto int avà bởi vì phạm vi cục bộ là mặc định cho một biến được khai báo bên trong hàm, nó cũng giống như int atrong ví dụ này.

Từ khóa này thực sự là một phần còn lại từ tiền thân B của C, nơi không có loại cơ sở: mọi thứ là int, con trỏ tới int, mảng của int. (*) Tuyên bố sẽ là autohoặc extrn[sic]. C được thừa hưởng "mọi thứ là int" như một quy tắc mặc định, vì vậy bạn có thể khai báo các số nguyên với

auto a;
extern b;
static c;

ISO C đã loại bỏ điều này, nhưng nhiều trình biên dịch vẫn chấp nhận nó để tương thích ngược. Nếu nó có vẻ lạ lẫm, thì bạn nên nhận ra rằng một quy tắc liên quan đang hoạt động

unsigned d;  // actually unsigned int

mà vẫn còn phổ biến trong mã hiện đại.

C ++ 11 đã sử dụng lại từ khóa, mà ít có bất kỳ lập trình viên C ++ nào đang sử dụng với nghĩa gốc, cho kiểu suy luận của nó. Điều này chủ yếu là an toàn vì intquy tắc "mọi thứ là " từ C đã bị loại bỏ trong C ++ 98; điều duy nhất bị phá vỡ là auto T a, điều mà không ai đang sử dụng. (Ở đâu đó trong các bài viết của mình về lịch sử của ngôn ngữ , Stroustrup bình luận về điều này, nhưng tôi không thể tìm thấy tài liệu tham khảo chính xác ngay bây giờ.)

(*) Xử lý chuỗi trong B rất thú vị: bạn sẽ sử dụng mảng intvà đóng gói nhiều ký tự trong mỗi thành viên. B thực sự là BCPL với cú pháp khác nhau.

Đây vừa là câu trả lời vừa là nhận xét mở rộng cho Không, đây không phải là C hợp pháp kể từ năm 1999. Không có trình biên dịch C hiện đại đàng hoàng nào cho phép điều này.

Có, auto a=1;là bất hợp pháp trong C1999 (và cả C2011). Chỉ vì điều này là bất hợp pháp không có nghĩa là trình biên dịch C hiện đại sẽ từ chối mã có chứa các cấu trúc như vậy. Tôi sẽ tranh luận chính xác điều ngược lại, rằng một trình biên dịch C hiện đại đàng hoàng vẫn phải cho phép điều này.

Cả clang và gcc chỉ làm điều đó khi biên dịch mã mẫu trong câu hỏi so với các phiên bản 1999 hoặc 2011 của tiêu chuẩn. Cả hai trình biên dịch đưa ra một chẩn đoán và sau đó tiếp tục như thể tuyên bố phản đối đã được auto int a=1;.

Theo tôi, đây là những gì một trình biên dịch đàng hoàng nên làm. Bằng cách đưa ra chẩn đoán, tiếng kêu và gcc hoàn toàn tuân thủ tiêu chuẩn. Tiêu chuẩn không nói rằng trình biên dịch phải từ chối mã bất hợp pháp. Tiêu chuẩn chỉ nói rằng việc triển khai tuân thủ phải tạo ra ít nhất một thông báo chẩn đoán nếu đơn vị dịch thuật có vi phạm bất kỳ quy tắc cú pháp hoặc ràng buộc nào (5.1.1.3).

Cho mã có chứa các cấu trúc bất hợp pháp, bất kỳ trình biên dịch tử tế nào cũng sẽ cố gắng hiểu ý nghĩa của mã bất hợp pháp để trình biên dịch có thể tìm thấy lỗi tiếp theo trong mã. Trình biên dịch dừng ở lỗi đầu tiên không phải là trình biên dịch rất tốt. Có một cách để hiểu auto a=1, đó là áp dụng quy tắc "ẩn int". Quy tắc này buộc trình biên dịch diễn giải auto a=1như thể auto int a=1khi trình biên dịch được sử dụng ở chế độ C90 hoặc K & R.

Hầu hết các trình biên dịch thường từ chối mã (từ chối: từ chối tạo tệp đối tượng hoặc tệp thực thi) có chứa cú pháp bất hợp pháp. Đây là một trường hợp mà các tác giả biên dịch đã quyết định rằng việc không biên dịch không phải là lựa chọn tốt nhất. Điều tốt nhất để làm là đưa ra chẩn đoán, sửa mã và tiếp tục. Có quá nhiều mã kế thừa được tạo ra bằng các cấu trúc như register a=1;. Trình biên dịch sẽ có thể biên dịch mã đó ở chế độ C99 hoặc C11 (tất nhiên là có chẩn đoán).

autocó ý nghĩa trong Cvà C++trước Tiêu chuẩn 2011. Nó có nghĩa là một biến có tuổi thọ tự động, nghĩa là tuổi thọ được xác định bởi phạm vi . Điều này trái ngược với, ví dụ, statictrọn đời, trong đó một biến tồn tại "mãi mãi", bất kể phạm vi. autolà thời gian sống mặc định và gần như không bao giờ được đánh vần rõ ràng. Đây là lý do tại sao nó an toàn để thay đổi ý nghĩa trong C++.

Bây giờ C, trước Tiêu chuẩn 99, nếu bạn không chỉ định loại biến, nó sẽ mặc định int.

Vì vậy, với auto a = 1;bạn đang khai báo (và xác định) một intbiến, với tuổi thọ được xác định bởi phạm vi.

("trọn đời" được gọi đúng hơn là "thời lượng lưu trữ", nhưng tôi nghĩ rằng có lẽ ít rõ ràng hơn).

Trong C và các phương ngữ lịch sử của C ++, autolà một từ khóa có nghĩa là alưu trữ tự động. Vì nó chỉ có thể được áp dụng cho các biến cục bộ, được tự động theo mặc định, không ai sử dụng nó; đó là lý do tại sao C ++ hiện đã sử dụng lại từ khóa.

Trong lịch sử, C đã cho phép khai báo biến mà không có chỉ định kiểu; loại mặc định là int. Vì vậy, tuyên bố này là tương đương với

int a=1;

Tôi nghĩ rằng điều này không được chấp nhận (và có thể bị cấm) trong C hiện đại; nhưng một số trình biên dịch phổ biến mặc định là C90 (theo tôi nghĩ là không cho phép điều đó) và thật khó chịu, chỉ bật cảnh báo nếu bạn yêu cầu cụ thể. Biên dịch với GCC và chỉ định C99 với -std=c99hoặc bật cảnh báo bằng -Wallhoặc -Wimplicit-int, đưa ra cảnh báo:

warning: type defaults to ‘int’ in declaration of ‘a’

Trong C, autocó nghĩa là điều tương tự registertrong C ++ 11: có nghĩa là một biến có thời lượng lưu trữ tự động.

Và trong C trước C99 (và trình biên dịch của Microsoft không hỗ trợ C99 hoặc C11, mặc dù nó có thể hỗ trợ các phần của nó), loại này có thể được bỏ qua trong nhiều trường hợp, trong đó nó sẽ được mặc định int.

Nó hoàn toàn không lấy kiểu từ trình khởi tạo. Bạn chỉ tình cờ chọn một trình khởi tạo tương thích.

Visual loại hình biên dịch có sẵn tại right click on file -> Properties -> C/C++ -> Advanced -> Compile As. Để chắc chắn rằng nó được biên dịch dưới dạng tùy chọn lực C. Sau đó, /TCtrong trường hợp này, đó là những gì larsmans đã nói ( autotừ khóa C cũ ). Nó có thể được biên dịch thành C ++ mà bạn không biết.

Một lớp lưu trữ xác định phạm vi (mức độ hiển thị) và thời gian sống của các biến và / hoặc các hàm trong Chương trình C.

Có các lớp lưu trữ sau đây có thể được sử dụng trong Chương trình C

auto
register
static
extern

auto là lớp lưu trữ mặc định cho tất cả các biến cục bộ.

{
        int Count;
        auto int Month;
}

Ví dụ trên định nghĩa hai biến có cùng một lớp lưu trữ. auto chỉ có thể được sử dụng trong các hàm, tức là các biến cục bộ.

intlà loại mặc định cho automã bên dưới:

auto Month;
/* Equals to */
int Month;

Mã dưới đây là hợp pháp quá:

/* Default-int */
main()
{
    reurn 0;
}