在类的构造函数中,如果构造函数只有一个参数,则该函数会被用来隐式的类型转换以及拷贝构造。
如:
class C
{
public:
C(const C &); // 构造函数1
C(int); // 构造函数2
....
};
C func1(C c)
{
return c; // 编译通过,此处会调用C的第一个构造函数,产生一个拷贝并返回
}
void func2(int i)
{
}
void main()
{
C inst;
func2(inst); // 编译通过,此处调用C的第2个构造函数,来进行类型转换
}
但是,如果我们在类C的构造函数定义中使用explicit,情况将变化:
class C
{
public:
explicit C(const C &); // 构造函数1
explicit C(int); // 构造函数2
....
};
C func1(C c)
{
return c; // 编译失败,这是由于C的第一个构造函数,指定只能用它显式定义的方式产生一个拷贝,不能隐式进行拷贝
}
void func2(int i)
{
}
void main()
{
C inst;
func2(inst); // 编译失败,这是由于C的第2个构造函数,指定int类型转换必须采用它显式定义的方式
}
由此可见,关键词explicit的意思,就是凡是要使用它的地方,必须按照它在这里定义的方式进行,不能由编译器隐式产生代码来完成。如将拷贝构造函数定义成explicit,那么所有的隐式拷贝将编译失败