在C++
中,可以使用构造函数将一个指定类型的数据转换为类的对象,也可以使用类型转换函数 (type conversion function)将一个类对象转换为其他类型的数据。
我们直接通过一个简单的代码介绍转换函数:
我们设计了一个分数(Fraction)类,该类有两个私有变量,分别表示分子和分母。构造函数有两个参数,第二个参数默认为1。
在主函数中,定义了一个分数类的对象f
,分子为3
,分母为5
。然后将3.2 + f
的值设置为变量d
。
3.2
是一个浮点类型的变量,而f
是一个Fraction
类型的变量,因此不能直接相加,于是编译器会到分数类中寻找,找到了operator double
函数,该函数可以将类型对象转换为一个浮点类型的变量。因此该函数就是我们所说的类型转换函数(type conversion function)。通过分数类中的转换函数,我们给出转换函数的一般形式:
类型转换运算符是隐式执行的,因此对象f
就拥有了双重类型,既可以是类类型,也可以是double
类型。
既然可以调用类型转换函数将该Fraction
类型转换为double
类型,那么也可以通过重载+
将double
类型转换为类类型。因此该类的代码如下:
当我们将f + 3.2
的值赋值给d
实例时,3.2
就通过构造函数转换为Fraction
类型,然后调用operator +
函数将两个实例加起来赋值给d
对象。
但是如果同时存在类型转换函数,会发生什么情况呢?我们加入类型转换函数:
如果编译上述的代码就会立刻报错:ambiguous overload for ‘operator+’ (operand types are ‘Fraction’ and ‘double’)
因为存在了二义性。我们来具体分析以下:
因此,以上两种方式都可以,所以编译器会报二义性的错误。
解决的办法就是,使用explicit
关键字的限制,使用方法也有两种:
后面的方法是C++11
新引入的显示的类型转换运算符。
我们要尽量避免有二义性的类型转换,如果类中包含一个或多个类型转换,则必须确保在类类型和目标类型之间只存在唯一一种转换方式,否则将出现二义性。