关键字 explicit 是什么意思

问题

C++ 中的关键字explicit是什么意思？

回答

我们知道编译器是允许进行隐式转换（implicit conversion）的，就是说如果类 A 有一个只有一个参数的构造函数，那么是允许从这个参数对象隐式转换为 A 对象的，直接看个例子就明白了，

class Foo
{
public:
  // single parameter constructor, can be used as an implicit conversion
  Foo (int foo) : m_foo (foo) 
  {
  }

  int GetFoo () { return m_foo; }

private:
  int m_foo;
};

下面是一个以Foo类型为参数的函数，

void DoBar (Foo foo)
{
  int i = foo.GetFoo();
}

下面是调用构造函数，进行隐式转换的例子，

int main ()
{
  DoBar(42);
}

实参42是一个整型，不是Foo类型的，但是它可以正常调用，这就是因为隐式转换。因为存在Foo (int foo)这个构造函数，所以可以从int隐式转换为Foo。同样的，如果你定义了这样的构造函数Foo (double foo)，也是允许从double隐式转化为Foo的。

但是如果你现在在构造函数的前面加个关键字explicit，它的意思就是要告诉编译器，这个隐式转换不会再被允许了，当编译到DoBar(42)的时候就会报错，除非你显示调用，像这样DoBar(Foo(42))。

只有当你有一个好的理由允许构造函数隐式转换，不然的话请把它们都声明为explicit，因为隐式转换容易导致错误，而这个错误往往不容易察觉。比如下面这个的例子，

一个类构造函数MyString(int size)，它可以创建一个指定长度size的字符串，而你现在有一个函数print(const MyString&)，当调用print(3)的时候（其实你是想调用print("3")，因为粗心少敲了双引号），按道理你期望得到的值是3，但是实际上得到的只是一个长度为 3 的字符串而已。