explicit关键字是用来防止由构造函数定义的隐式转换。
要明白这个关键字的含义,首先我们要知道class类型的对象的隐式转换:可以用单个实参来调用的构造函数定义了从形参类型到该类类型的一个隐式转换。
比如:
class SomeBody{
public:
SomeBody(const std::string& name =""):
m_name(name),height(0),weight(10){}
int CompareTo(const SomeBody& other);
std::string m_name;
int height;
int weight;
}
这里SomeBody的构造函数可以只用一个实参完成初始化。所以可以进行一个隐式转换,像下面这样:
SomeBody a;
//................
//在这里被初始化并使用。
std::string nm ="book_1";
//由于可以隐式转换,所以可以下面这样使用
int result = a.CompareTo(nm);
这段程序使用一个string类型对象作为实参传给SomeBody的CompareTo函数。这个函数本来是需要一个SomeBody对象作为实参。现在编译器使用string nm来构造并初始化一个。
SomeBody对象,新生成的临时的SomeBody对象被传递给CompareTo函数,并在离开这段函数后被析构。
这种行为的正确与否取决于业务需要。假如你只是想测试一下a的重量与10的大小之比,这么做也许是方便的。但是假如在CompareTo函数中还涉及到了要除以初始化为0的height属性,那么这么做可能就是错误的。需要在构造SomeBody之后更改height属性不为0。所以要限制这种隐式类型转换。
那么这时候就可以通过将构造函数声明为explicit,来防止隐式类型转换。
explicit关键字只能用于类内部的构造函数声明上,而不能用在类外部的函数定义上。现在SomeBody类像这样:
class SomeBody{
public:
explicit SomeBody(const std::string&name =""):
m_name(name),height(0),weight(0){}
int CompareTo(const SomeBody & other);
std::string m_name;
int height;
int weight;
};
这个时候再对业务代码编译就会提示编译错误。
但是我们仍然可以通过显示使用构造函数完成上面的类型转换:
SomeBody a;
................//在这里被初始化并使用。
std::string nm ="book_1";
//显示使用构造函数
int result = a.CompareTo(SomeBody(nm));
google的c++规范中提到explicit的优点是可以避免不合时宜的类型变换,缺点无。所以google约定所有单参数的构造函数都必须是显示的,只有极少数情况下拷贝构造函数可以不声明称explicit。例如作为其他类的透明包装器的类。
effective c++中说:被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换,否则我会把它声明为explicit。
参考:https://www.cnblogs.com/winnersun/archive/2011/07/16/2108440.html