為什么 “auto a = 1;” 在C語言中可以編譯通過?
問題(來自lee77):
- int main(void)
- {
- auto a = 1;
- return 0;
- }
把如上所示的代碼寫在擴展名為.c的文件里面,用MS Visual Studio 2012編譯器編譯的時候不會報錯。我一直認(rèn)為,當(dāng)你使用.c的擴展名時,編譯器會按照C語言的語法來進行編譯,而不是C++。而且,據(jù)我所知,不顯示定義類型的auto變量聲明只有從C++11標(biāo)準(zhǔn)之后才被允許,在C++11中auto的含義是聲明該變量的類型可以被初始化法式推導(dǎo)出來的。
這是不是意味著我的編譯器不嚴(yán)格遵守C語言的標(biāo)準(zhǔn),或者這段代碼實際上在C語言中是正確的?
***答案(來自larsmans):
auto 是一個古老的C語言關(guān)鍵字,它的代表含義是 “局部作用域”。 `auto a` 等價于 `auto int a`,而且函數(shù)里的變量定義默認(rèn)就是局部作用域的變量,所以在該例子中它也等價于`int a`.
這個關(guān)鍵字(auto)事實上是 C語言的前身——B語言 遺留下來的,B語言沒有基本類型: 一切類型都是 int, pointer to int, array of int . (*) 這些類型的聲明只能是 `auto` 或者 `extern`。C語言繼承了 “任何類型是int” 作為默認(rèn)法則,所以你能用如下方法聲明整型:
- auto a;
- extern b;
- static c;
ISO C標(biāo)準(zhǔn) 拋棄了這個法則,但是當(dāng)然有一些編譯器為了向后兼容而接受這個法則。如果你還是覺得陌生,你應(yīng)該明白有一個類似的的法則在下面語句中也生效:
- unsigned d; // actually unsigned int
上式的代碼在現(xiàn)代的代碼中是很常見的。
C++11 復(fù)用了這個關(guān)鍵字(auto),既然它的原始含義很少被C++程序員使用,所以在C++11中被復(fù)用來作為類型推導(dǎo)。 這樣的做法通常是安全的,因為”一切類型都是int”這個C語言的法則已經(jīng)被C++98標(biāo)準(zhǔn)中被拋棄; 唯一可能不安全的用法是 `auto T a`, 不過也沒人會這么做。()
(*) 在B語言中的字符串處理很有意思: 你會使用int數(shù)組和包裝多個字符在int數(shù)組的每個成員里。B語言事實上就是不同語法的BCPL(BCPL的變種)。
原文鏈接: stackoverflow 翻譯: 伯樂在線 - aszxqw