什么時(shí)候引進(jìn)的？

在帶類的C的時(shí)候，引進(jìn)了靜態(tài)（“強(qiáng)”）類型檢查。

bjarne在《The Design and Evolution of C++ 》介紹：

在經(jīng)歷過(guò)Simula和Algol68的經(jīng)驗(yàn)之后，靜態(tài)類型檢查對(duì)于我而言已經(jīng)是一種必需品，唯一的問(wèn)題是如何把它加進(jìn)來(lái)

一個(gè)有趣的觀察

學(xué)過(guò)帶類的C(或C++)的程序員竟喪失了尋找由于簡(jiǎn)單類型錯(cuò)誤而造成的運(yùn)行錯(cuò)誤的能力。由于他們逐漸習(xí)慣于依賴帶類的C(或C++)所提供的類型檢查和類型轉(zhuǎn)換，甚至喪失了快速地發(fā)現(xiàn)某些愚蠢錯(cuò)誤的能力，而這些錯(cuò)誤是由于缺乏檢查而混進(jìn)C程序的。進(jìn)而他們也不能為避免這種愚蠢錯(cuò)誤而采取預(yù)防措施，而好的C程序員則會(huì)把這些看作是理所當(dāng)然的事情（好的C程序員牛B）。

當(dāng)習(xí)慣了某種便利時(shí)，如果便利突然消失，將不知多措。

窄轉(zhuǎn)換

C語(yǔ)言中沒(méi)有對(duì)類型轉(zhuǎn)換做任何檢查；考慮如下代碼

void f()
{
	long int lng = 65000;
	int i1 = lng; // i1 becomes negative -536 on machines with 16 bit ints

	int i2 = 257;
	char c = i2; // truncates: c becomes 1 on machines with 8 bit chars
}

當(dāng)bjarne起初嘗試禁止所有不能保持值不變的轉(zhuǎn)換，也就是說(shuō)，只要想把一個(gè)大的對(duì)象存儲(chǔ)到較小的對(duì)象里，就要求明顯地寫出轉(zhuǎn)換運(yùn)算符：

void g(long lng, int i)
{
	int i1 = lng; // error: narrowing conversion
	i1 = (int)lng; // truncates for 16 bit ints
	
	char c = i; // error: narrowing conversion
	c = (char)i; // truncates
}

這個(gè)試驗(yàn)失敗得很慘。因?yàn)闄z查了每個(gè)C程序都包含大量從int到char變量的賦值（都是正常工作的程序，絕大數(shù)必然是安全的）；在帶類的C的團(tuán)體中，沒(méi)有人希望這樣背離C語(yǔ)言。所以無(wú)法禁止所有不能保持值不變的轉(zhuǎn)換。那還有什么彌補(bǔ)的措施嗎? 有，編譯器警告。

警告的使用

當(dāng)發(fā)現(xiàn)C語(yǔ)言里那些我認(rèn)為極端嚴(yán)重而不能忽略的弱點(diǎn)，但這些弱點(diǎn)又因?yàn)樵贑語(yǔ)言的結(jié)構(gòu)里根深蒂固而無(wú)法去除。就讓C++的編譯系統(tǒng)發(fā)出警告。

例如：

 int main()
 {
     double d = 3.14;
     int k = d;
     char c = k;
     return 0;
 }

編譯：

g++ main.cpp -Wconversion -o main

當(dāng)前g++版本中如果需要顯示這些警告需要的加上-Wconversion才會(huì)顯示（-Wall中也沒(méi)有包含，體外話，-Wall 是 Warnning all的縮寫）

總結(jié)