C++ explicit

来源：互联网发布：知乎回答排序规则编辑：程序博客网时间：2024/06/07 19:33

explicit作用

在C++中，explicit关键字用来修饰类的构造函数，被修饰的构造函数的类，不能发生相应的隐式类型转换，只能以显示的方式进行类型转换。

使用注意事项

explicit 关键字只能用于类内部的构造函数声明上。

explicit 关键字作用于单个参数的构造函数。

explicit 关键字用来修饰类的构造函数，被修饰的构造函数的类，不能发生相应的隐式类型转换

未加explicit时的隐式类型转换

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
class Circle  
{  
 public:  
     Circle(double r) : R(r) {}  
     Circle(int x, int y = 0) : X(x), Y(y) {}  
     Circle(const Circle& c) : R(c.R), X(c.X), Y(c.Y) {}  
 private:  
     double R;  
     int    X;  
     int    Y;  
};  
    
int_t main(int argc, _TCHAR* argv[])  
{  
    Circle A = 1.23;    // 发生隐式类型转换  
                        // 编译器会将它变成如下代码  
                        // tmp = Circle(1.23)  
                        // Circle A(tmp);  
                        // tmp.~Circle();  
 
    Circle B = 123;     // 注意是int型的，调用的是Circle(int x, int y = 0)  
                        // 它虽然有2个参数，但后一个有默认值，任然能发生隐式转换 
   
    Circle C = A;       // 这个算隐式调用了拷贝构造函数 
        
    return 0;  
}

加了explicit关键字后，可防止以上隐式类型转换发生

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
class Circle  
{  
public:  
    explicit Circle(double r) : R(r) {}  
    explicit Circle(int x, int y = 0) : X(x), Y(y) {}  
    explicit Circle(const Circle& c) : R(c.R), X(c.X), Y(c.Y) {}  
private:  
    double R;  
    int    X;  
    int    Y;  
};  
   
int_t main(int argc, _TCHAR* argv[])  
{  
    // 以下3句，都会报错  
    // Circle A = 1.23;   
    // Circle B = 123;  
    // Circle C = A;  
       
    // 只能用显示的方式调用了  
    // 未给拷贝构造函数加explicit之前可以这样  
    Circle A = Circle(1.23);  
    Circle B = Circle(123);  
    Circle C = A;  
   
    // 给拷贝构造函数加了explicit后只能这样了  
    Circle A(1.23);  
    Circle B(123);  
    Circle C(A);  
     
    return 0;  
}

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

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

0 0