重载类型转换操作符 遇到的问题
今天我对这段代码产生了质疑:
operator double ()
{
return static_cast <double> (sum)
/static_cast <double> (num);
}
我感觉应该是这样:
double operator double ()
{
return static_cast <double> (sum)
/static_cast <double> (num);
}
于是我就在csdn上发了一个贴问了问,经过zhangweiit,mstlq,djjlove_2008,taodm(非常感谢他们)的指点后明白了这是C++的语法规则,我居然不知道。于是我翻开了久违了的《C++ primer》第四版P454,进行了整理(摘抄),希望掌握这个知识点,也希望看到这篇文章的人也掌握这个知识点。
转换操作符
转换操作符(conversion operator)是一种特殊的类成员函数。它定义将类类型值转变为其他类型值的转换。转换操作符在类定义体内声明,在保留字operator之后跟着转换的目标类型:
class SmallInt
{
public:
SmallInt(int i=0); val(i)
{
if(i < 0 || i > 255)
{
throw std::out_of_range("Bad SmallInt intializer");
}
}
operator int() const
{
return val;
}
private:
std::size_t val;
};
转换函数采用如下通用形式:
operator type();
这里,type表示内置类型名、类类型名或有类型别名所定义的名字。对任何可作为函数的返回类型(除了void之外)。一般而言,不允许转换为数组或函数类型,转换为指针类型(数据和函数指针)以及引用类型是可以的。
注解: 转换函数必须是成员函数,不能指定返回类型,并且形参表必须为空。
下述所有的声明都是错误的:
operator int(Small Int& ); // error:nonmember
class SmallInt
{
public:
int operator int(); // error: return list
operator int(int = 0); // error:parameter list
// ...
};
虽然转换函数不能指定返回类型,但是每个转换函数必须显示返回一个指定的值。例如,operator int返回一个int值;如果定义operator Sales_item,它将返回一个Sales_item对象,诸如此类。
最佳实践: 转换函数一般不应该改变被转换的对象。因此,转换操作符通常应定义为const成员。
1、使用类类型转换
只要存在转换,编译器将在可以使用内置转换的地方自动调用它
在表达式中:
SmallInt si;
double dval;
si >= dval // si converted to int and then convert to bool
在条件中:
if(si) // si convert to int and then convert to bool
将实参传给函数或 从函数返回值:
int calc(int);
SmallInt si;
int i = calc(si); // convert si to int and call calc
作为重载操作符的操作数:
// convert si to int then call << on the int value
cout << si << endl;
在显示类型转换中:
int ival;
SmallInt si = 3.54;
// instruct compiler to cast si to int
ival = static_cast<int>(si) + 3;
2、类类型转换和标准转换
使用转换函数时,被转换的类型不必与所在需要的类型完全匹配。必要时可在类类型转换之后跟上标准转换以获得想要的类型。例如,在一个SmallInt对象与一个double值的比较中:
SmallInt si;
double dval;
si >= dval // si converted to int and then convert to double.
首先将si从SmallInt对象转换为int值,然后将该int值转换为double值。
3、只能应用一个类类型转换
注解:类类型转换之后再跟另一个类类型转换。如果需要多个类类型转换,则代码将出错。
例如,假定有一个类Integral,它可以转换为SmallInt但不能转换为int:
// class to hold unsigned integral values
class Integral
{
public:
Integral(int i = 0):val(i)
{
}
operator SmallInt()const
{
return val % 256;
}
private:
std::size_t val;
};
可以在需要SmallInt的地方使用Integral,但不能再需要int的地方使用Integral:
int calc(int);
Integral intVal;
SmallInt si(intVal); // ok:convert intVal to Small Int and copy to si
int i = calc(si); // ok:convert si to int and call calc
int j = calc(intVal);// error:on convertion to int from Integral
创建si时使用SmallInt复制构造函数。首先调用Integral转换操作符产生一个SmallInt类型的临时值,将int_val对象转换为SmallInt对象。然后(合成的)复制构造函数使用该对象值初始化si。
第一个calc调用也是正确的:将实参si自动转换为int,然后将int值传给函数。
第二个calc调用时错误的:没有从Integral到int的直接转换。从Intergral获得int需要两次类类型转换:首先从Intergral到SmallInt,然后从SmallInt到int。但是,语言只是允许一个类类型转换,所以该调用出错。
4.标准转换可放在类类型转换之前
使用构造函数执行隐式转换的时候,构造函数的形参类型不必与所提供的类型完全匹配。例如,下面的代码调用SmallInt类中定义的构造函数SmallInt(int)将sobj转换为SmallInt类型:
void calc(SmallInt);
short sobj;
// sobj prometed from short to int
// that int converted to SmallInt through the SmallInt(int) constructor
calc(sobj);
如果需要,在调用构造函数执行类类型转换之前,可将一个标准转换序列应用于实参。为了调用函数calc(),应用标准转换将dobj从double类型转换为int类型,然后调用构造函数SmallInt(int)将转换结果转换为SmallInt类型。
本文完
转载请表明出处,谢谢
2010-08-19