C++ explicit 关键字解析

转自：http://www.cnblogs.com/lvpengms/archive/2010/02/03/1663063.html

C++ explicit 关键字解析

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

　　C++中， 一个参数的构造函数， 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。

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

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

关于这一点，《more effective c++》上也给出了详细的解释：

       例如比较Array对象，部分代码如下：
bool operator==( const Array& lhs,
const Array& rhs);
Array a(10);
Array b(10);
...
for (int i = 0; i < 10; ++i)
       if (a == b[i]) { // 哎呦! "a" 应该是 "a[i]"
            do something for when   a[i] and b[i] are equal;}
      else {
            do something for when they're not;
}
我们想用a的每个元素与b的每个元素相比较，但是当录入a时，我们偶然忘记了数组下标。当然我们希望编译器能报出各种各样的警告信息，但是它根本没有。因为它把这个调用看成用Array参数(对于a)和int(对于b[i])参数调用operator==函数，然而没有operator==函数是这样的参数类型，我们的编译器注意到它能通过调用Array构造函数能转换int类型到Array类型，这个构造函数只有一个int类型的参数。然后编译器如此去编译，生成的代码就象这样：
for (int i = 0; i < 10; ++i)
      i f (a == static_cast< Array >(b[i])) ....

容易的方法是利用一个最新编译器的特性，explicit关键字。为了解决隐式类型转换而特别引入的这个特性，它的使用方法很好理解。构造函数用explicit声明，如果这样做，编译器会拒绝为了隐式类型转换而调用构造函数。显式类型转换依然合法：
template
class Array {
public:
...
explicit Array(int size); // 注意使用"explicit"
...
};
Array a(10); // 正确, explicit 构造函数, 在建立对象时能正常使用
Array b(10); // 也正确
if (a == b[i]) ... // 错误! 没有办法 隐式转换int 到 Array

由此看到explicit有些时候是非常有用的。