C++的静态类型检查详解

什么时候引进的？

在带类的C的时候，引进了静态（“强”）类型检查。

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

在经历过Simula和Algol68的经验之后，静态类型检查对于我而言已经是一种必需品，唯一的问题是如何把它加进来

一个有趣的观察

学过带类的C(或C++)的程序员竟丧失了寻找由于简单类型错误而造成的运行错误的能力。由于他们逐渐习惯于依赖带类的C(或C++)所提供的类型检查和类型转换，甚至丧失了快速地发现某些愚蠢错误的能力，而这些错误是由于缺乏检查而混进C程序的。进而他们也不能为避免这种愚蠢错误而采取预防措施，而好的C程序员则会把这些看作是理所当然的事情（好的C程序员牛B）。

当习惯了某种便利时，如果便利突然消失，将不知多措。

窄转换

C语言中没有对类型转换做任何检查；考虑如下代码

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
}

当bjarne起初尝试禁止所有不能保持值不变的转换，也就是说，只要想把一个大的对象存储到较小的对象里，就要求明显地写出转换运算符：

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
}

这个试验失败得很惨。因为检查了每个C程序都包含大量从int到char变量的赋值（都是正常工作的程序，绝大数必然是安全的）；在带类的C的团体中，没有人希望这样背离C语言。所以无法禁止所有不能保持值不变的转换。那还有什么弥补的措施吗? 有，编译器警告。

警告的使用

当发现C语言里那些我认为极端严重而不能忽略的弱点，但这些弱点又因为在C语言的结构里根深蒂固而无法去除。就让C++的编译系统发出警告。

例如：

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

编译：

g++ main.cpp -Wconversion -o main

当前g++版本中如果需要显示这些警告需要的加上-Wconversion才会显示（-Wall中也没有包含，体外话，-Wall 是 Warnning all的缩写）

总结