关键字 explicit

爱被打了一巴掌 2021-06-24 15:56 403阅读 0赞

C++ 中 explicit 关键字的作用

在 C++ 中， 如果一个类有只有一个参数的构造函数，C++ 允许一种特殊的声明类变量的方式。在这种情况下，可以直接将一个对应于构造函数参数类型的数据直接赋值给类变量，编译器在编译时会自动进行类型转换，将对应于构造函数参数类型的数据转换为类的对象。 如果在构造函数前加上 explicit 修饰词， 则会禁止这种自动转换，在这种情况下， 即使将对应于构造函数参数类型的数据直接赋值给类变量，编译器也会报错。

下面以具体实例来说明。

class MyClass  
\{   
    public:  
    MyClass( int num );  
\}  
   ....  
MyClass obj = 10; //ok,convert int to MyClass

在上面的代码中编译器自动将整型转换为MyClass类对象，实际上等同于下面的操作：

MyClass temp（10）；

MyClass obj = temp；

上面的所有的操作即是所谓的"隐式转换".

如果要避免这种自动转换的功能，我们该怎么做呢？嘿嘿这就是关键字explicit的作用了，将类的构造函数声明为"显示"，也就是在声明构造函数的时候 前面添加上explicit即可，这样就可以防止这种自动的转换操作，如果我们修改上面的MyClass类的构造函数为显示的，那么下面的代码就不能够编 译通过了，如下所示：

class MyClass  
\{   
   public:  
   explicit MyClass( int num );  
\}  
  ....  
MyClass obj = 10; //err,can't non-explict convert

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

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

代码示例：

#include "stdafx.h"
    #include <iostream>
    using namespace std;
    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;
     }

Test1的构造函数带一个int型的参数，代码19行会隐式转换成调用Test1的这个构造函数。而Test2的构造函数被声明为explicit（显式），这表示不能通过隐式转换来调用这个构造函数，因此代码20行会出现编译错误。

普通构造函数能够被隐式调用。而explicit构造函数只能被显示调用。