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的缩写)

总结

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注脚本之家的更多内容!  

你可能感兴趣的