记录一次诡异的BUG--C 隐式类型转换

  代码如下：

	vector<int> nums = { 1 };
	int i;
	for (i = 0; i < nums.size() - 2; i++){

	}
	cout << i;
复制代码

  请问上述代码执行后输出结果是什么？答案是-1。   很多人应该和我一样，第一反应是0，因为nums的长度是1，循环体根本没有被执行。实际上这是错误的，原因在于nums.size()方法的返回类型为size_t，size_t的定义为：

typedef _W64 unsigned int   size_t;
复制代码

也就是说，size_t是无符号整数类型，当计算nums.size()-2时，由于结果是-1，将发生溢出，溢出后的结果为2^32-1。因此循环体将会被执行，那么将会执行多少次呢？由于i是int类型，nums.size()-2是size_t类型，在对二者进行比较大小的时候将会发生隐式类型转换。《C++ Primer》中这样解释：当无符号类型与有符号类型进行计算时，有符号类型将会被隐式转换为无符号类型，因此i将会被转换为size_t类型。但由于i是int类型，最后输出结果时，还是输出int类型，也就是将无符号整形值2^32-1转换为有符号整形，结果为-1。上述过程发生了比较复杂的类型转换，由于C++中的类型转换规则比较复杂，因此在实际使用中可以尽量避免。例如将上述代码修改为：

	vector<int> nums = { 1 };
	int i;
	for (i = 0; i < (int)nums.size() - 2; i++){

	}
	cout << i;
复制代码

这样，输出结果就是0。

转载于:https://juejin.im/post/5c25983d6fb9a049a979c59d