自动类型转换

在C和C + +中，如果编译器看到一个表达式或函数调用使用了一个不合适的类型，它经常
会执行一个自动类型转换。在C + +中，可以通过定义自动类型转换函数来为用户定义类型达到
相同效果。这些函数有两种类型：特殊类型的构造函数和重载的运算符。
11.6.1 构造函数转换
如果我们定义一个构造函数，这个构造函数能把另一类型对象（或引用）作为它的单个参
数，那么这个构造函数允许编译器执行自动类型转换。如下例：

class One{
 public:
One(){}
};

class Two{
public:
Two(const One&){}
};

void f(Two t){
}

main(){
One one;
f(one);      //Wants a Two, has a One
}

当编译器看到f( )以为对象o n e参数调用时，编译器检查f( )的声明并注意到它需要一个t w o
对象作为参数。然后，编译器检查是否有从对象one 到t w o的方法。它发现了构造函数
t w o : : t w o ( o n e )，t w o : : t w o ( o n e )被悄悄地调用，结果对象t w o被传递给f( )。
在这个情况里，自动类型转换避免了定义两个f( )重载版本的麻烦。然而，代价是隐藏了
构造函数对t w o的调用，如果我们关心f( )的调用效率的话，那就不要使用这种方法。
• 阻止构造函数转换
有时通过构造函数自动转换类型可能出现问题。为了避开这个麻烦，可以通过在前面加关
键字explicit （只能用于构造函数）来修改构造函数。上例类t w o的构造函数作了修改，如下：

class One{
 public:
One(){}
};

class Two{
public:
Two(const One&){}
};

void f(Two t){
}

main(){
One one;
//f(one);      //no auto conversion allowed
f(Two(one));      //OK user perform conversion
}


通过使类t w o的构造函数显式化，编译器被告知不能使用那个构造函数（那个类中其他非
显式化的构造函数仍可以执行自动类型转换）执行任何自动转换。如果用户想进行转换必须写
出代码。上面代码f ( t w o ( O n e ) )创建一个从类型O n e到t w o的临时对象，就像编译器在前面版本中
做的那样。



11.6.2 运算符转换
第二种自动类型转换的方法是通过运算符重载。我们可以创建一个成员函数，这个函数通
过在关键字o p e r a t o r后跟随想要转换到的类型的方法，将当前类型转换为希望的类型。这种形
式的运算符重载是独特的，因为没有指定一个返回类型——返回类型就是我们正在重载的运算
符的名字。这儿有一个例子：

class Three{
int i;
public:
Three(int I = 0, int = 0) : i(I){}
};

class Four{
int x;
public:
Four(int X) : x(X){}
operator Three(){ return Three(x); }
};

void g(three){}

void main(){
Four four(1);
g(four);
g(1);
}


用构造函数技术，目的类执行转换。然而使用运算符技术，是源类执行转换。构造函数技
术的价值是在创建一个新类时为现有系统增加了新的转换途径。然而，创建一个单一参数的构
造函数总是定义一个自动类型转换（即使它有不止一个参数也是一样，因为其余的参数将被缺
省处理），这可能并不是我们所想要的。另外，使用构造函数技术没有办法实现从用户定义类
型向内置类型转换，这只有运算符重载可能做到。