【C++】C++中explicity关键字的使用
读者可以尝试预言一下这段代码的输出:
#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; }
输出:
Same
上面Complex的==操作符接受的是一个Complex参数。当程序运行到com1 == 3.0时,程序会自动调用Complex的构造器并且传入参数3.0,然后得到一个新的Complex对象,再将这个新对象传给com1的==操作符。所以程序表面上看起来是Complex和double在进行比较,但实际上程序做了隐式的转化(将double转成了Complex),依然是两个Complex在比较。
在C++中如果一个类有能够被单参数所调用的构造器,那么这个构造器就被称为转化构造器——转化构造器允许从单参数到类构造的转化。C++中能够接受单参数的构造器默认都是转化构造器。
那么如何避免这种隐式的转化呢?可以使用explicity关键字。使用了explicity关键字的构造器就不允许上面的隐式转化,要转化的话,只能强制转化。
我们修改后的程序如下:
#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,但是必需强制转化。
下面是一个赋值的案例(Complex的构造器上无 explicity 关键字):
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关键字,那么就变成如下的形式了:
Complex com2 = (Complex)3.0;
原文链接: