c++ explicit关键字解读

Posted 2022-04-25 bitcarmanlee

1.explicit的作用

我们自己平时写c++代码时候，较少会用到explicit关键字。但是在c++相关的标准类库中，看到explicit关键字的频率还是很高的。既然出现频率这么高，那我们就来看看explicit的作用到底是啥。

2.构造函数隐式转换

为了理解explicit的作用，我们就需要先了解构造函数的隐式转换。为了明白构造函数的隐式转换，我们来看下面的例子。

#include<iostream>
#include<cstring>
using namespace std;

class Address 
    public:
        int longitude, latitude;
        Address(int lon=0, int lat=0) : longitude(lon), latitude(lat) 
;

void displayAddress(const Address& p) 
    printf("longitude is: %d, latitude is: %d\\n", p.longitude, p.latitude);


int main(int argc, char const *argv[])

    displayAddress(1);
    Address a = 2;
    displayAddress(a);
    return 0;

上面的代码，定义了Address类，Address类中有两个成员变量：longitude与latitude。
而 displayAddress(1);与displayAddress(a);这两句，实际上都发生了构造函数的隐式转换。因为Address类中指定了longitude与latitude的默认值，因此只穿一个参数，构造函数也能进行隐式转换完成工作。

代码的输出为：

longitude is: 1, latitude is: 0
longitude is: 2, latitude is: 0

3.隐式转换的坑

对于有些情况来说，隐式转换是我们希望的。但在大部分情况下，隐式转换非常容易带来各种问题。
1.首先隐式转换不是错误，编译器不会报错，会给后面的调试带来巨大的不方便。
2.其次，隐式转换是编译器的自主行为，是在我们没有察觉的情况下发生的，除非是我们有明确的隐式转换需求，否则一般都不是我们希望发生。
3.同时，隐式转换还会让代码变得难以阅读，尤其是当有函数冲在的时候，很难判断此时到底是哪个函数被调用。

4.使用explicit关键字

为了解决上面的坑，我们可以使用explicit关键字。

#include<iostream>
#include<cstring>
using namespace std;

class Address 
    public:
        int longitude, latitude;
        explicit Address(int lon=0, int lat=0) : longitude(lon), latitude(lat) 
;

void displayAddress(const Address& p) 
    printf("longitude is: %d, latitude is: %d\\n", p.longitude, p.latitude);


int main(int argc, char const *argv[])

    displayAddress(1);  //error
    Address a = 2; // error
    return 0;

我们在构造函数前面加上explicit，此时构造函数不能用于隐式转换和复制初始化。main方法中两行代码在IDE中会报错

no matching function for call to 'displayAddress'

此时我们需要显示指定构造函数中所有成员变量：

int main(int argc, char const *argv[])

    Address a(1, 2);
    displayAddress(a);
    return 0;

5.Effective C++中的说法

被声明为explicit的构造函数通常比其 non-explicit 兄弟更受欢迎, 因为它们禁止编译器执行非预期 (往往也不被期望) 的类型转换. 除非我有一个好理由允许构造函数被用于隐式类型转换, 否则我会把它声明为explicit. 我鼓励你遵循相同的政策.