类型比较的安全性

       类型转换在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;
}

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



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值