C++中的explicit的使用笔记:
记录使用C++中的explicit(显式的)的一些基础知识:
官方定义:
1.指定构造函数或转换函数 (C++11起)为显式, 即它不能用于隐式转换和复制初始化.
2.explicit 指定符可以与常量表达式一同使用. 函数若且唯若该常量表达式求值为 true 才为显式. (C++20起)
3.被声明为explicit的构造函数通常比其 non-explicit 兄弟更受欢迎, 因为它们禁止编译器执行非预期 (往往也不被期望) 的类型转换. 除非我有一个好理由允许构造函数被用于隐式类型转换, 否则我会把它声明为explicit. 我鼓励你遵循相同的政策.
举例说明
#include <iostream>
using namespace std;
class A
{
public:
A(int i = 5)
{
m_a = i;
}
private:
int m_a;
};
int main()
{
A s;
//我们会发现,我们没有重载'='运算符(即在类中定义重载运算符“=”用来执行“=”的自定义逻辑,但是去可以把内置的int类型赋值给了对象A.
s = 10;
//实际上,10被隐式转换成了下面的形式,所以才能这样.
//s = A temp(10);
system("pause");
return 0;
}
由于对s进行了直接赋值,而不是对使用构造模板赋值,导致程序不得不通过隐式转换,将值直接赋予构造函数的形参值(当类构造函数的参数只有一个的时候,或者所有参数都有默认值的情况下,类A的对象时可以直接被对应的内置类型隐式转换后去赋值的),这样有可能会造成不必要的错误,因此可以使用explicit关键字去避免这种隐式转换
如
#include <iostream>
using namespace std;
class A
{
public:
//这里用explicit关键词来修饰类构造函数.
explicit A(int i = 5, int j = 10)
{
m_a = i;
m_b = j;
}
private:
int m_a;
int m_b;
};
int main()
{
A s;
//这样直接赋值,会被提示错误,因为explicit抑制隐式转换的进行
s = 10;//这样会报错!!!
//当然显示转换还是可以的.
s = A(20);
system("pause");
return 0;
}
当使用了explicit关键字定义构造函数,新建对象时格式不满足构造函数模板,则会报错,拒绝自动隐式转换,规范了函数的严谨性。