C++提供了关键字explicit,可以阻止不应该允许的经过转换构造函数进行的隐式转换的发生,声明为explicit的构造函数不能在隐式转换中使用。
C++中, 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数), 承担了两个角色。
1 是个构造;2 是个默认且隐含的类型转换操作符。
所以, 有时候在我们写下如 AAA = XXX, 这样的代码, 且恰好XXX的类型正好是AAA单参数构造器的参数类型, 这时候编译器就自动调用这个构造器, 创建一个AAA的对象。
这样看起来好象很酷, 很方便。 但在某些情况下, 却违背了程序员的本意。 这时候就要在这个构造器前面加上explicit修饰, 指定这个构造器只能被明确的调用/使用, 不能作为类型转换操作符被隐含的使用。
隐式转换即是可以由单个实参来调用的构造函数定义了一个从形参类型到该类类型的隐式转换。编译器在试图编译某一条语句时,如果某一函数的参数类型不匹配,编译器就会尝试进行隐式转换,如果隐式转换后能正确编译,编译器就会继续执行编译过程,否则报错。
explicit关键字只能用于类内部的构造函数声明上,而不能用在类外部的函数定义(函数实现)上,它的作用是不能进行隐式转换;explicit关键字作用于单个参数的构造函数,如果构造函数有多个参数,但是从第二个参数开始,如果各参数均有默认赋值,也可以应用explicit关键字。
解析:explicit构造函数是用来防止隐式转换的。请看下面的代码:
-
#include <iostream>
-
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(13);
-
Test2 t3 = 14;
-
return 0;
-
}
编译时,会指出 t3那一行error:无法从“int”转换为“Test2”。而t1却编译通过。注释掉t3那行,调试时,t1已被赋值成功。
注意:当类的声明和定义分别在两个文件中时,explicit只能写在在声明中,不能写在定义中。
例如qt中的QWidget构造函数的原型QWidget(QWidget *parent = nullptr, Qt::WindowFlags f = ...),参数列表是一个指针,假如没有explicit关键字,QWidget *widget = 12345678,则不会报错,这肯定不是我们想看到的,所以要加上explicit关键字防止用户的错误操作。