【C++】explicit关键字
C++提供关键字explicit,可以阻止不应该允许的经过转换构造函数进行的隐式转换发生.
声明为explicit的构造函数不能在隐式转换中使用.
C++中,一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数),承担了两个角色.
1.是个构造器,2.是个默认且隐含的类型转换操作符.
写下如AAA = XXX,这样的代码,且恰好XXX的类型正好是AAA单参数构造的参数类型,这时候编译器就自动调用这个构造器,创建一个AAA的对象.
使用explicit声明构造函数,则可防止隐式转换,避免上述情况的发生.具体例子如下:
1 class CTest1 { 2 public: 3 CTest1(int n) 4 { 5 cout<<"Constructor of CTest1"<<endl; 6 } 7 CTest1(const CTest1&) 8 { 9 cout<<"Copy constructor of CTest1"<<endl; 10 } 11 }; 12 class CTest2 { 13 public: 14 explicit CTest2(int n) 15 { 16 cout<<"Constructor of CTest2"<<endl; 17 } 18 explicit CTest2(const CTest2&) 19 { 20 cout<<"Copy constructor of CTest2"<<endl; 21 } 22 }; 23 int main() 24 { 25 CTest1 a1(1); //显示调用构造函数 26 CTest1 b1 = 1; //隐式调用构造函数 27 CTest1 c1 = a1; //隐式调用拷贝构造函数 28 CTest1 d1(b1); //显示调用拷贝构造函数 29 CTest2 a2(2); //显示调用构造函数 30 CTest2 b2 = 2; //隐式调用构造函数,编译错误 31 CTest2 c2 = a2; //隐式调用拷贝构造函数,编译错误 32 CTest2 d2(b2); //显示调用拷贝构造函数 33 return 0; 34 }
如第26行代码所示,是直接隐式调用构造函数,创建对象b1,不要误理解为是先隐式调用构造函数创建临时对象,将调用拷贝构造函数,以临时对象创建对象b1.
如第31行代码所示,explicit对拷贝构造函数也会限制作用,将会阻隐式拷贝构造函数的调用.
将拷贝构造函数声明为explicit,则会阻止隐式拷贝构造函数的调用.隐式拷贝构造函数的调用主要发生在三个点:
1.一个对象作为函数参数,以值传递的方式传入函数体.
2.一个对象作为函数返回值,以值传递的方式从函数返回.
3.以AAA = xxx的方式创建对象AAA,xxx为与AAA为同类型的对象.
因而,将拷贝构造函数声明成explicit并不是良好的设计,一般只将有单个参数的constructor声明为explicit,而copy constructor不要声明为explicit.