读者能够尝试预言一下这段代码的输出:ios
#include <iostream> using namespace std; class Complex { private: double real; double imag; public: // 默认构造器无explicity关键字 Complex(double r = 0.0, double i = 0.0) : real(r), imag(i) {} // 比较操做符==,接受一个Complex的参数 bool operator == (Complex rhs) { return (real == rhs.real && imag == rhs.imag)? true : false; } }; int main() { // a Complex object Complex com1(3.0, 0.0); if (com1 == 3.0)//将Complex与double类型比较 cout << "Same"; else cout << "Not Same"; return 0; }
输出:spa
Same
上面Complex的==操做符接受的是一个Complex参数。当程序运行到com1 == 3.0时,程序会自动调用Complex的构造器而且传入参数3.0,而后获得一个新的Complex对象,再将这个新对象传给com1的==操做符。因此程序表面上看起来是Complex和double在进行比较,但实际上程序作了隐式的转化(将double转成了Complex),依然是两个Complex在比较。code
在C++中若是一个类有可以被单参数所调用的构造器,那么这个构造器就被称为转化构造器——转化构造器容许从单参数到类构造的转化。C++中可以接受单参数的构造器默认都是转化构造器。对象
那么如何避免这种隐式的转化呢?能够使用explicity关键字。使用了explicity关键字的构造器就不容许上面的隐式转化,要转化的话,只能强制转化。blog
咱们修改后的程序以下:ci
#include <iostream> using namespace std; class Complex { private: double real; double imag; public: // 在构造器上加入explicity关键字 explicit Complex(double r = 0.0, double i = 0.0) : real(r), imag(i) {} // 比较操做符==,接受一个Complex的参数 bool operator== (Complex rhs) { return (real == rhs.real && imag == rhs.imag)? true : false; } }; int main() { // a Complex object Complex com1(3.0, 0.0); //if (com1 == 3.0)//编译错误 if (com1 == (Complex)3.0) //Complex的构造器使用了explicity关键字,就只能进行强制转化了。 cout << "Same"; else cout << "Not Same"; return 0; }
在案例中,咱们能够将double转化为Complex,可是必需强制转化。get
下面是一个赋值的案例(Complex的构造器上无 explicity 关键字):it
Complex com1(3.0, 0.0); Complex com2 = 3.0;//将一个3.0赋值给Complex对象
第一个语句是传入参数构造器Complex对象,这没有什么可讨论的。第二个语句将3.0赋值给了Complex对象,其实原理和上面是同样的,首先传入参数3.0到Complex的构造器构造一个临时Complex对象,而后再将临时Complex对象传给com2对象。
若是给Complex构造器加上explicity关键字,那么就变成以下的形式了:io
Complex com2 = (Complex)3.0;
原文连接:编译