C++知识整理系列（四）—— explicit隐式转换

一、概念

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

在我们写程序的时候很少用到explicit关键字，但是在C++标准库里explicit在类中出现频率是很高的，其重要的意义是：阻止隐式转换的发生。

比如，C++使用string的时候，我们常常这么做：string s = "abc";，这其实就是进行了隐式转换，等同于string s("abc");，这样做和C风格的字符串十分相似。

二、例子

看下面这个隐式转化的例子：

class myTest
{
public:
    int val;
    myTest(int x)
    {
        val = x;
    }
    myTest(const char *p)
    {
        cout << "123" << endl;
    }
    
};

int main()
{
    myTest t1(20);
    cout << t1.val << endl;
    myTest t2 = 10;//隐式转换
    cout << t2.val << endl;
    myTest t3 = 'a';//隐式转换
    cout << t3.val << endl;
    myTest t4 = "s";//进入myTest(const char *p)隐式转换

    return 0;
}

t1是myTest类按"正常"的方式进行的构造，而myTest t2 = 10;则是调用隐式构造函数的结果，在C++中, 如果的构造函数只有一个参数时, 那么在编译的时候就会有一个缺省的转换操作:将该构造函数对应数据类型的数据转换为该类对象。当然，这里的一个参数也并非唯一：如果有多个参数，但是除了第一个参数外其它参数都有缺省值也是可以进行隐式转换的。

但是有时候我们并不需要这种隐式转换，比如myTest t3 = 'a';则是将’a’的ASCII码值赋给了val，但是我们其实是不希望这么做的，那么explicit关键字就派上用场了：

class myTest
{
public:
    int val;
    explicit myTest(int x)
    {
        val = x;
    }
    myTest(const char *p)
    {
        cout << "123" << endl;
    }
    
};

在myTest构造函数前加上关键字explicit，就禁止了隐式转换，也就是说：myTest t1 = 10;是禁止的、不允许的。

三、总结

一些专家的意见：

• google的c++规范中提到：explicit的优点是可以避免不合时宜的类型变换，缺点无。所以google约定所有单参数的构造函数都必须是显示的，只有极少数情况下拷贝构造函数可以不声明称explicit。例如作为其他类的透明包装器的类。
• effective c++中说：被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期（往往也不被期望）的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换，否则我会把它声明为explicit，鼓励大家遵循相同的政策。

总之，若是构造函数是单参数或者其它情况下是单参数，尽量都加上explicit关键字避免隐式类型转换。

四、参考

• C++ explicit关键字详解