C++的静态类型检查详解
作者:summer_sunrise
什么时候引进的?
在带类的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的缩写)
总结
本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注脚本之家的更多内容!