2015年5月6日 (三) 12:33 Hovercool

2015-05-06T12:33:02Z

新页面

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

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

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

这样看起来好象很酷，很方便。但在某些情况下（见下面权威的例子），却违背了我们（程序员）的本意。这时候就要在这个构造器前面加上explicit修饰，指定这个构造器只能被明确的调用、使用，不能作为类型转换操作符被隐含的使用。

explicit构造函数的作用

解析：

explicit构造函数是用来防止隐式转换的。请看下面的代码：
<pre class="prettyprint">
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;
}
</pre>
Test1的构造函数带一个int型的参数，代码19行会隐式转换成调用Test1的这个构造函数。而Test2的构造函数被声明为explicit（显式），这表示不能通过隐式转换来调用这个构造函数，因此代码20行会出现编译错误。
普通构造函数能够被隐式调用。而explicit构造函数只能被显示调用。

另外还有一种隐式转换的例子：
<pre class="prettyprint">
class A {
A(int a);
};
int Function(A a);
</pre>
当调用 Function(2) 的时候，2 会隐式转换为 A 类型(即先用2通过 A(int a)这个构建函数构造一个A的实例，再传入 Function中)，这种情况常常不是程序员想要的结果，所以，要避免之，就可以这样写：
<pre class="prettyprint">
class A {
explicit A(int a);
};
int Function(A a);
</pre>
这样，当调用 Function(2) 的时候，编译器会给出错误信息（除非 Function 有个以 int 为参数的重载形式），这就避免了在程序员毫不知情的情况下出现错误。

参考资料：

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

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

explicit修饰符 - 版本历史

2015年5月6日 (三) 12:33 Hovercool