【C++】explicit 用法

explicit 作用

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

explicit 使用注意事项：

• explicit 关键字只能用于类内部的构造函数声明上；
  当类的构造函数的声明和定义分别在两个文件里时，explicit只能写在构造函数的声明中，不能写在定义中。
• explicit 关键字作用于单个参数的构造函数 (多个参数也适用, 但必须只有一个参数需要赋值, 其他的参数有默认值)。
• 在 C++ 中, explicit 关键字用来修饰类的构造函数, 被修饰的构造函数的类, 不能发生相应的隐式类型转换.
  it cannot be used for implicit conversions and copy-initialization

例1

#include <bits/stdc++.h>
using namespace std;


class Test1 {
public:

    Test1(int n) {
        m_num = n;
    }

private:
    int m_num;
};


class Test2 {
public:
    explicit Test2(int n) {
        m_num = n;
    }

private:
    int m_num;
};

int main() {

    Test1 t1 = 12;              // 隐式调用构造函数成功
    Test2 t2 = 12;              // 编译错误, 不能隐式调用其构造函数
    Test2 t2(12);               // 显式调用成功

    return 0;
}

例2：

struct A
{
    A(int) { }      // converting constructor
    A(int, int) { } // converting constructor (C++11)
    operator bool() const { return true; }
};

struct B
{
    explicit B(int) { }
    explicit B(int, int) { }
    explicit operator bool() const { return true; }
};

int main()
{
    A a1 = 1;      // OK: copy-initialization selects A::A(int)
    A a2(2);       // OK: direct-initialization selects A::A(int)
    A a3 {4, 5};   // OK: direct-list-initialization selects A::A(int, int)
    A a4 = {4, 5}; // OK: copy-list-initialization selects A::A(int, int)
    A a5 = (A)1;   // OK: explicit cast performs static_cast
    if (a1) ;      // OK: A::operator bool()
    bool na1 = a1; // OK: copy-initialization selects A::operator bool()
    bool na2 = static_cast<bool>(a1); // OK: static_cast performs direct-initialization

//  B b1 = 1;      // error: copy-initialization does not consider B::B(int)
    B b2(2);       // OK: direct-initialization selects B::B(int)
    B b3 {4, 5};   // OK: direct-list-initialization selects B::B(int, int)
//  B b4 = {4, 5}; // error: copy-list-initialization does not consider B::B(int,int)
    B b5 = (B)1;   // OK: explicit cast performs static_cast
    if (b2) ;      // OK: B::operator bool()
//  bool nb1 = b2; // error: copy-initialization does not consider B::operator bool()
    bool nb2 = static_cast<bool>(b2); // OK: static_cast performs direct-initialization
}

总结：

• explicit是个C++关键字，其作用是指定仅有一个参数或除第一个参数外其它参数均有默认值的类构造函数不能作为类型转化操作符被隐含的使用，防止该类的对象直接被对应内置类型隐式转化后赋值，从而规定这个构造函数必须被明确调用。
• 对于仅有一个参数或除第一个参数外其余参数均有默认值的类构造函数，尽可能使用explicit关键字修饰。
• explicit主要就是避免隐式转换，C++ 中的转化真的是太灵活了，容易搞出 bug 来。