C++中 explicit构造函数

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

C++中， 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数)， 承担了两个角色。 

1 是个构造；2 是个默认且隐含的类型转换操作符。

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

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

详解如下：

按照默认规定，只有一个参数的构造函数也定义了一个隐式转换，将该构造函数对应数据类型的数据转换为该类对象，如下面所示：

class String {

String ( const char* p );  // 用C风格的字符串p作为初始化值

//…

}

String s1 = “hello”; //OK 隐式转换，等价于String s1 = String（“hello”）;

 

但是有的时候可能会不需要这种隐式转换，如下：

class String {

       String ( int n ); //本意是预先分配n个字节给字符串

String ( const char* p );  // 用C风格的字符串p作为初始化值

//…

}

 

下面两种写法比较正常：

String s2 ( 10 );   //OK 分配10个字节的空字符串

String s3 = String ( 10 ); //OK 分配10个字节的空字符串

 

下面两种写法就比较疑惑了：

String s4 = 10; //编译通过，也是分配10个字节的空字符串

String s5 = ‘a’; //编译通过，分配int（‘a’）个字节的空字符串

 

s4 和s5 分别把一个int型和char型，隐式转换成了分配若干字节的空字符串，容易令人误解。

为了避免这种错误的发生，我们可以声明显示的转换，使用 explicit 关键字：

class String {

        explicit String ( int n ); //本意是预先分配n个字节给字符串

String ( const char* p );  // 用C风格的字符串p作为初始化值

//…

}

加上 explicit，就抑制了String ( int n )的隐式转换，

 

下面两种写法仍然正确：

String s2 ( 10 );   //OK 分配10个字节的空字符串

String s3 = String ( 10 ); //OK 分配10个字节的空字符串

 

下面两种写法就不允许了：

String s4 = 10; //编译不通过，不允许隐式的转换

String s5 = ‘a’; //编译不通过，不允许隐式的转换

 

因此，某些时候， explicit 可以有效得防止构造函数的隐式转换带来的错误或者误解

----------------------------------------------------------
explicit   只对构造函数起作用，用来抑制隐式转换。如：   
  class   A   {   
          A(int   a);   
  };   
  int   Function(A   a);   
    
  当调用   Function(2)   的时候，2   会隐式转换为   A   类型。这种情况常常不是程序员想要的结果，所以，要避免之，就可以这样写：   
    
  class   A   {   
          explicit   A(int   a);   
  };   
  int   Function(A   a);   
    
  这样，当调用   Function(2)   的时候，编译器会给出错误信息（除非   Function   有个以   int   为参数的重载形式），这就避免了在程序员毫不知情的情况下出现错误。

总结：explicit   只对构造函数起作用，用来抑制隐式转换。

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

         https://blog.csdn.net/qq_35524916/article/details/58178072