变量类型缩窄转换

在讲变量类型缩窄转换之前，我们需要谈谈两个东西：溢出和变量类型转换。

1、溢出

这里仅谈及变量的溢出，以下是一个简单的例子。

#include <iostream>
using namespace std;

int main()
{
	unsigned short int a = 20000, b = 50000, c;
	c = a + b;
	cout << c << endl;
	return 0;
}

输出结果：

可以看出c的值并不是数学意义上的a+b，这是因为unsigned short int范围为：0~65535，因此这里的c是溢出的值。

2、变量类型转换

谈到变量类型转换，应该不陌生，看看下面的例子：

#include <iostream>
using namespace std;

int main()
{
	double a = 1.234;
	int b = a;
	int c = (int)a;
	cout << a << endl;
	cout << (int)a << endl;
	cout << b << endl;
	return 0;
}

运行结果：

这里有两处变量类型转换，一个是将浮点型的a赋值给整型的b时，b取了a的整型部分；另一个是先强制类型转换（并不改变a的值），再将其赋值给c。

3、变量类型缩窄转换

这个听起来好像很高大上，其实说白了就是一个变量赋值给另一个变量的时候发生溢出的情况，万一发生了缩窄转换，程序一般是不会报错的，这将非常不利于bug调试，因此要尽可能避免它。话不多说，看看例子吧。

#include <iostream>
using namespace std;

int main()
{
	int a = 5000000; //-2147483648~2147483647
	short int b = a;
	cout << b << endl;
	return 0;
}

运行结果：

可以很明显地看到结果不是我们想要的，甚至不符合溢出。那么怎么避免变量类型缩窄转换呢？C++11提供了初始化列表就可以避免这一问题。

#include <iostream>
using namespace std;

int main()
{
	int a = 5000000, b = 10000; //-2147483648~2147483647
	short int c{a};
	short int d{b};
	cout << c << endl;
	cout << d << endl;
	return 0;
}

运行结果（注意这里使用了C++11标准进行编译-std=c++11）：

可以看到，当缩窄转换是无论是否溢出，虽然没有报错，但是都给出了具体的警告信息，这样是合理的，因为很多溢出都发生在运行时，因此在编译时就给出相关提醒，可以帮助开发者调试Bug。