类型比较的安全性

       类型转换在C和C++里，存在着两种类型，一种是隐式转换，一种是显式（强制）转换，为了得到我们想要的数据，强制转换是非常有必要的，因为C是可以直接访问内存的，也就是说你想要哪一块数据，都可以截取，但是可怕的在于，还存在着隐身转换，看一个例子。

#include <iostream>
#include <vector>
using namespace std;

int main()
{
	
	vector<int> vei;
	vei.push_back(100);

	if (vei.size() > -1)
		cout << "True" << endl;
	else 
		cout << "False" << endl;

	return 0;
}

      结果是False，不信可以自己试试，这是一个非常容易出错的地方，问题在于哪里呢？就是隐式转换的结果，看一张表。

       编译器的隐式转换基本规则就是将低数据类型转换为高数据类型，简单来说就是把小的转换为大的进行比较。

       那就必须知道vector<T>::size()的返回类型，查找源代码，找起来也不方便，有两种方法:

       I.C++提供的操作符typeid  

               cout<< typeid(vei.size()).name() << endl;   //#include<typeinfo>                                                        

      II.C的测结构大小的操作符sizeof

               cout <<sizeof(vei.size()) << endl;

       结果和猜想是一样的，是无符号的整型。

具体的转换规则如下：

①有符号数的转换

　　有符号数的转换中，如果从较低类型转换到较高类型，将进行符号扩展，例如一个值从short int（16位）转换到long类型，如果这个数是正数，则最高位为0，从16位扩展到32位时，扩展的高16位用0填充，即将符号位0进行扩展，这样扩展后的32位整数和原来的整数值是一样的。如果该数为负数，则最高位为1，从16位扩展到32位时，扩展的高16位用1填充，即将符号位1进行扩展，这样扩展后的32位整数和原来的整数值是也是一样的。

　　如果从较高类型转换到较低类型，将抛弃高位，直接将低位复制过来，例如一个值从int（假定为32位）转换到short int型（16位），系统将抛弃高16位，取低16位的值作为转换后的值。

       浮点数类型和整数类型转换比较复杂，因为它们的内部表示方式不同，转换时它们不是简单的符号位扩展或者高位截断，它们首先需要进行内部表示方式的转换。左表是有符号数类型转换的所有情况。

②无符号数的转换

　　无符号数转换相对简单一些，它没有符号位，当低级类型向高级类型转换时，只需要将高位补0，高级类型向低级类型转换同有符号数。左表是无符号数类型转换的所有情况。

       那么如何避免这样的问题，在这里不得不感叹模板的功能，模板除了泛型功能之外，还有一条硬规则，就是模板不提供隐式类型转换的功能，这一点与重载区分，重载是支持隐式转换的，代码如下：

#include <iostream>
#include <vector>
using namespace std;

template<class T>
inline bool FirstIsMax(const T& a, const T& b)
{
	return a > b;
}

int main()
{
	
	vector<int> vei;
	vei.push_back(100);

	if (FirstIsMax(vei.size(),  -1))
		cout << "True" << endl;
	else 
		cout << "False" << endl;

	return 0;
}

       这次编译就直接给拦下了，可能有点麻烦，但是如果是这样的错误会出现，那么麻烦一点也是应该的。