C++提供了关键字explicit,用来防止由构造函数定义的隐式转换。
隐式转换:可以用单个实参来调用的构造函数定义了从形参类型到该类类型的一个隐式转换。
C++中, 一个参数的构造函数, 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。
所以, 有时候在我们写下如 AA = XX, 这样的代码, 且恰好XX的类型正好是AA单参数构造器的参数类型,这时候编译器就自动调用这个构造器, 创建一个AA的对象。
这样看起来好象很酷, 很方便。 但在某些情况下(见下面权威的例子), 却违背了我们(程序员)的本意。 真是成也萧何, 败也萧何。这时候就要在这个构造器前面加上explicit修饰, 指定这个构造器只能被明确的调用,使用, 不能作为类型转换操作符被隐含的使用。呵呵, 看来还是光明正大些比较好。
explicit构造函数的作用
解析:
explicit构造函数是用来防止隐式转换的。请看下面的代码:
class Test1
{
public:
Test1(int n){num = n;} //普通构造函数
private:
int num;
};
class Test2
{
public:
explicit Test2(int n){ num =n;} //explicit(显式)构造函数
private:
int num;
};
int main()
{
Test1 t1 = 10; //隐式调用其构造函数,success
Test2 t2 = 10; //编译错误,不能隐式调用其构造函数
Test2 t3(10); //显式调用成功
return 0;
}
Test1的构造函数带一个int型的参数,代码19行会隐式转换成调用Test1的这个构造函数。而Test2的构造函数被声明为explicit(显式),这表示不能通过隐式转换来调用这个构造函数,因此代码20行会出现编译错误。
普通构造函数能够被隐式调用。而explicit构造函数只能被显示调用google的c++规范中提到explicit的优点是可以避免不合时宜的类型变换,缺点无。所以google约定所有单参数的构造函数都必须是显示的,只有极少数情况下拷贝构造函数可以不声明称explicit。例如作为其他类的透明包装器的类。
effective c++中说:被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换,否则我会把它声明为explicit。我鼓励你遵循相同的政策。