explicit修饰符

来自个人维基
跳转至: 导航搜索

C++提供了关键字explicit,可以阻止不应该允许的经过转换构造函数进行的隐式转换的发生。声明为explicit的构造函数不能在隐式转换中使用。

C++中, 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数), 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。

所以, 有时候在我们写下如 AAA = XXX, 这样的代码, 且恰好XXX的类型正好是AAA单参数构造器的参数类型, 这时候编译器就自动调用这个构造器, 创建一个AAA的对象。

这样看起来好象很酷, 很方便。 但在某些情况下(见下面权威的例子), 却违背了我们(程序员)的本意。 这时候就要在这个构造器前面加上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 = 12; //隐式调用其构造函数, 成功
  Test2 t2 = 12; //编译错误,不能隐式调用其构造函数
  Test2 t3(12); //显示调用成功
  return 0;
}

Test1的构造函数带一个int型的参数,代码19行会隐式转换成调用Test1的这个构造函数。而Test2的构造函数被声明为explicit(显式),这表示不能通过隐式转换来调用这个构造函数,因此代码20行会出现编译错误。
普通构造函数能够被隐式调用。而explicit构造函数只能被显示调用。

另外还有一种隐式转换的例子:

class   A {  
    A(int a);  
};  
int Function(A a);  

当调用 Function(2) 的时候,2 会隐式转换为 A 类型(即先用2通过 A(int a)这个构建函数构造一个A的实例,再传入 Function中),这种情况常常不是程序员想要的结果,所以,要避免之,就可以这样写:

class A {  
    explicit A(int a);  
};  
int Function(A a);  

这样,当调用 Function(2) 的时候,编译器会给出错误信息(除非 Function 有个以 int 为参数的重载形式),这就避免了在程序员毫不知情的情况下出现错误。


参考资料:

http://baike.baidu.com/view/2422253.htm#2

http://www.cnblogs.com/cutepig/archive/2009/01/14/1375917.html