笔记:类型转换运算符

类型转换运算符(conversion  operator)是类的一种特殊成员函数,它负责将一个类类型的值转换成其他类型。类型转换函数的一般形式是:

operator type() const;

其中,type表示转换目标类型,除了void、数组或函数类型,但允许转换成指针(包括数组指针及函数指针)。类型转换运算符既没有显式的返回类型,也没有形参,而且必须定义为类的成员函数。类型转换运算符通常不应该改变待转换对象的内容,因此,类型转换运算符一般被定义成const成员。

转换构造函数和类型转换运算符,有时也被称作用户定义的类型转换(use-defined conversions)。

定义含有类型转换运算符的类

举一个简单的例子,令其表示0到255之间的一个整数:

class SmallInt
{
public:
	SmallInt(int i = 0) :val(i)
	{
		if (i < 0 || i>255)
			throw out_of_range("Bad SmallInt value");
	}

	operator int() const {return val;}

private:
	size_t val;
};

我们的SmallInt类既定义了向类类型的转换,也定义了从类类型向其他类型的转换。其中,构造函数将算术类型的值转换成了SmallInt对象,而类型转换运算符将SmallInt对象转换成int:

SmallInt si;
si = 4;          // 首先将4隐式地转换成SmallInt,然后调用SmallInt::operator=
si + 3;          // 首先将si隐式地转换成int,然后执行整数的加法

尽管编译器一次只能执行一次用户定义的类型转换,但是隐式的用户定义类型转换可以置于一个标准(内置)类型转换之前或之后,并与其一起使用。因此,我们可以将任何算术类型传递给SmallInt的构造函数。类似的,我们也能使用类型转换运算符将一个SmallInt对象转换成int,然后再将所得的int转换成任何其他的算术类型:

// 内置类型转换将double实参转换成int
SamllInt si = 3.14;         // 调用SmallInt(int)构造函数

// SmallInt的类型转换运算符将si转换成int
si + 3.14;                 // 内置类型转换将所得的int继续转换成double

在实践中,类很少提供类型转换运算符。在大多数情况下,如果类型转换自动发生,用户可能会感觉比较意外,而不是感觉收到了帮助。而这条经验法则存在一种例外的情况:对于类来说,定义向bool类型转换还是比较普遍的现象

显示的类型转换运算符

C++11新标准引入了显示的类型转换运算符(explicit conversion operator):

class SmallInt
{
public:
    // 编译器不会自动执行这一类型转换
    explicit operator int() const {return val;}
    // 其他成员与之前的版本一致
};

和显式的构造函数一样,编译器通常也不会将一个显式的类型转换运算符用于隐式类型转换:

SmallInt si = 3;             // 正确:SmallInt的构造函数不是显式的
si + 3;                      // 错误:此处需要隐式的类型转换,但类的运算符是显式的
static_cast<int>(si) + 3;    // 正确:显式地请求类型转换

显式类型转换存在一个例外,即如果表达式被用作条件,则编译器会将显式的类型转换自动转变为可隐式调用

(1) if、while及do语句的条件部分;

(2) for语句头的条件表达式;

(3) 逻辑非运算符!、逻辑或运算符||、逻辑与运算符&&的运算对象;

(4) 条件运算符(? :)的条件表达式。

向bool的类型转换通常用在条件部分,因此operator bool一般定义成explicit的。在C++的早期版本中,如果类定义了bool的类型转换,则它常常遇到一个问题:因为bool是一种算术类型,所以类类型的对象转换成bool后就能被用在任何需要算术类型的上下文中。这样的类型转换可能引发一些意想不到的结果,特别是当istream含有向bool的类型转换时,下面的代码仍能编译通过:

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

这段代码试图将输出运算符<<作用域输入流cin,因为istream本身并没有定义<<,所以本来代码应该产生错误。然而,该代码使用了istream定义的向bool类型转换运算符将cin转换成bool,而这个bool值接着会被提升为int,并用作内置的左移运算符<<的左侧运算对象。这样一来,提升后的bool值(1或0)最终会被左移42个位置。这一结果显然与我们的预期大相径庭。这也是C++11新标准引入显式的类型转换运算符的原因,同时operator bool一般定义成explicit的

转换为bool

在C++11新标准下,IO标准库定义了一个向bool的显式类型转换。例如:

while (std::cin >> value)

无论我们什么时候在条件中使用流对象,都会使用为IO类型定义的operator bool。while语句的条件执行输入运算符>>,它负责将数据读到value并返回cin(输出运算符<<和输入运算符>>的调用结果都是返回其左侧运算对象)。为了对条件求值,cin被istream operator bool类型转换函数隐式地执行了转换。如果cin的条件状态是good,则该函数返回为真,否则返回为假。

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值