1、C++中explicit的用法(隐式类型转换)
C++中, 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数), 承担了两个角色。
1 是个构造;2 是个默认且隐含的类型转换操作符。
所以, 有时候在我们写下如 AAA = XXX, 这样的代码, 且恰好XXX的类型正好是AAA单参数构造器的参数类型, 这时候编译器就自动调用这个构造器, 创建一个AAA的对象。
这样看起来好象很酷, 很方便。 但在某些情况下, 却违背了程序员的本意。 这时候就要在这个构造器前面加上explicit修饰, 指定这个构造器只能被明确的调用/使用, 不能作为类型转换操作符被隐含的使用。
解析:explicit构造函数是用来防止隐式转换的。请看下面的代码:
#include<iostream> #include<algorithm> using namespace std; class Test1{ public: Test1(int num):n(num){} private: int n; }; class Test2{ public: explicit Test2(int num):n(num){} private: int n; }; int main(){ Test1 t1 = 12;//正确 ,复制初始化 // Test2 t2 = 14;//会报错 Test2 t3(12); //直接调用构造函数 return 0; }
C++构造函数中的显示调用与隐式调用
《C++ Primer》中提到:
“可以用 单个形参来调用 的构造函数定义了从 形参类型到该类类型的一个隐式转换。”(通过在一个类中定义一个只有一个参数的构造函数,可以使得这个类的对象能够在某些情况下通过这个参数隐式地转换为该类的对象)
这里应该注意的是, “可以用单个形参进行调用” 并不是指构造函数只能有一个形参,而是它可以有多个形参,但那些形参都是有默认实参的。
那么,什么是“隐式转换”呢? 上面这句话也说了,是从构造函数形参类型到该类类型 的一个编译器的自动转换。
1 class Test1 2 { 3 public: 4 Test1(int n) 5 { 6 num=n; 7 }//普通构造函数 8 private: 9 int num; 10 }; 11 class Test2 12 { 13 public: 14 explicit Test2(int n) 15 { 16 num=n; 17 }//explicit(显式)构造函数 18 private: 19 int num; 20 }; 21 int main() 22 { 23 Test1 t1=12;//隐式调用其构造函数,成功 24 Test2 t2=12;//编译错误,不能隐式调用其构造函数 25 Test2 t2(12);//显式调用成功 26 return 0; 27 }
Test1的构造函数带一个int型的参数,代码23行会隐式转换成调用Test1的这个构造函数。而Test2的构造函数被声明为explicit(显式),这表示不能通过隐式转换来调用这个构造函数,因此代码24行会出现编译错误。 普通构造函数能够被隐式调用 。而explicit构造函数只能被显式调用。
参考文档:https://blog.csdn.net/qq_35524916/article/details/58178072
C++ explicit 关键字 - 知乎 (zhihu.com)
C++中构造函数的显式调用和隐式调用_隐式调用构造函数_鬼 | 刀的博客-CSDN博客