重载、类型转换与运算符

转换构造函数和类型转换运算符共同定义了类类型转换(class-type conversions)。

类型转换运算符
类型转换运算符是类的一种特殊成员函数,它负责将一个类类型的值转换成其他类型。类型转换函数的一般形式如下所示:

operator type() const;

其中type表示某种类型。类型转换运算符可以面向任意类型(除一void之外)进行定义,只要该类型能作为函数的返回类型。

类型转换运算符既没有显式的返回类型,也没有形参,而且必须定义成类的成员函数。

一个类型转换函数必须是类的成员函数;它不能声明返回类型,形参列表也必须为空。类型转换函数通常应该是const。

尽管编译器一次只能执行一个用户定义的类型转换,但是隐式的用户定义类型转换可以置于一个标准(内置)类型转换之前或之后,并与其一起使用。

因为类型转换运算符是隐式执行的,所以无法给这些函数传递实参,当然也就不能在类型转换运算符的定义中使用任何形参。同时,尽管类型转换函数不负责指定返回类型,但实际上每个类型转换函数都会返回一个对应类型的值。

提示:避免过度使用类型转换函数
和使用重载运算符的经验一样,明智地使用类型转换运算符也能极大地简化类设计者的工作,同时使得使用类更加容易。然而,如果在类类型和转换类型之间不存在明显的映射关系,则这样的类型转换可能具有误导性。

类型转换运算符可能产生意外结果
在实践中,类很少提供类型转换运算符。在大多数情况下,如果类型转换自动发生,用户可能感觉比较意外,而不是感觉受到了帮助。然而这条经验法则存在一种例外情况:对于类来说,定义向bool的类型转换还是比较普遍的现象。
在C++标准的早期版本中,如果类想定义一个向bool的类型转换,则它常常遇到一个问题:因为bool是一种算术类型,所以类类型的对象转换成bool后就能被用在任何需要算术类型的上下文。这样的类型转换可能引发意想不到的结果,特别是当istream含有向bool的类型转换时,下面的代码仍将通过编译:

int i = 42;
cin << i;// 如果向bool的类型转换不是显式的,则该代码在编译器看来将是合法的!

这段程序试图将输出运算符作用于输入流。因为istream本身并没有定义<<,所以本来代码应该产生错误。然而,该代码能使用istream的bool类型转换运算符将cin转换成bool,而这个bool值接着会被提升成int并用作内置的左移运算符的左侧运算对象。这样一来,提升后的bool值(1或0)最终将会被左移42个位置。

显式的类型转换运算符
为了防止这样的异常情况发生,C++11新标准引入了显式的类型转换运算符(explicit conversion operator):

class SmallInt
{
public:
    // 编译器不会自动执行这一类型转换
    explicit operator int() const { return val; }
    ...
};

和显式的构造函数一样,编译器(通常)也不会将一个显式的类型转换运算符用于隐式类型转换。
该规定存在一个例外,即如果表达式被用作条件,则编译器会将显式的类型转换自动应用于它。

转换为bool
在标准库的早期版本中,IO类型定义了向void*的转换规则,以求避免上面提到的问题。在C++11新标准下,IO标准库通过定义一个向bool的显式类型转换实现同样的目的。

向bool的类型转换通常用在条件部分,因此operator bool() const一般定义成explicit。

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值