C++中explicit关键字的作用

       C++语言在内置类型之间定义了几种自动转换规则。同样的，也能为类定义隐式转换规则。如果构造函数只接受一个实参，则它实际上定义了转换为此类类型的隐式转换机制，有时称之为转换构造函数。

explicit用来抑制构造函数定义的隐式转换

在要求隐式转换的程序上下文中，我们可以通过将构造函数声明为 explicit 加以阻止：

class sales_data
{
   public:
         sales_data()=default;
         sales_data(const  string &s,unsigned  n,double p):bookno(s),units_sold(n),revenue(p*n){  }
         explicit  sales_data(const  string &s):bookno(s){  }
         explicit  sales_data(istream &);
}

此时，没有任何构造函数能用于隐式地创建 sales_data 对象，下面的两种用法都无法通过编译:

string  null_book=" 9-999-99999-9 ";
item.combine(null_book);   //错误：string 构造函数是explicit的
item.combine(cin);         //错误：istream 构造函数是 explicit的

       关键字 explicit 只对一个实参的构造函数有效。需要多个实参的构造函数不能用于执行隐式转换，所以无须将这些构造函数指定为 explicit 的。只能在类内声明构造函数时使用 explicit 关键字，在类外部定义时不应重复：

//错误： explicit 关键字只允许出现在类内的构造函数声明处
explicit  sales_data::sales_data( istream& is )
{
      read( is,*this);
}

explicit 构造函数只能用于直接初始化

       发生隐式转换的一种情况是当我们执行拷贝形式的初始化时（使用=）。此时，我们只能使用直接初始化而不能使用 explicit 构造函数：

string  null_book=" 9-999-99999-9 ";
sales_data  item1（null_book）;  //正确：直接初始化
sales_data  item2=null_book;    //错误：不能将 explicit  构造函数用于拷贝形式的初始化过程

为转换显式地使用构造函数

尽管编译器不会将 explicit 的构造函数用于隐式转换过程，但是我们可以使用这样的构造函数显式的强制进行转换：

string  null_book=" 9-999-99999-9 ";
item.combine( sales_data(null_book));  //正确：实参是一个显式i构造的 sales_data 对象
item.combine( static_cast<sales_data>(cin ));  //正确：static_cast 可以使用 explicit  的构造函数

在第一个调用中，我们直接使用 sales_data 的构造函数，该调用通过接受 string 的构造函数创建了一个临时的 sales_data 对象。在第二个调用中，我们使用 static_cast 执行了显式的而非隐式的转换。其中，static_cast  使用  istream 构造函数创建了一个临时的 sales_data 对象。

标准库中含有显示构造函数的类

我们用过的一些标准库中的类含有单参数的构造函数：

• 接受一个单参数的 const char* 的 string 构造函数不是 explicit 的。
• 接受一个容量参数的 vector 构造函数是 explicit 的。

      google的c++规范中提到explicit的优点是可以避免不合时宜的类型变换，缺点无。所以google约定所有单参数的构造函数都必须是显示的，只有极少数情况下拷贝构造函数可以不声明称explicit。例如作为其他类的透明包装器的类。

 

　　effective c++中说：被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期（往往也不被期望）的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换，否则我会把它声明为explicit。