C++的静态类型检查详解
时间：2022-12-31 12:20:07 | 栏目：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的缩写）