C++ explicit关键字详解_C++防止构造函数隐式类型转换_技术教程

explicit关键字用于防止构造函数的隐式类型转换，提高代码安全性和可读性；它主要应用于单参数构造函数，也可用于C++11后的多参数构造函数以禁止隐式列表初始化；大多数单参数构造函数应声明为explicit，除非明确需要隐式转换。

在C++中，explicit 是一个用于修饰构造函数的关键字，主要作用是防止编译器进行隐式类型转换。这个关键字通常用在只有一个参数的构造函数上（也包括可通过默认参数变为单参数的情况），以避免意外的、不明显的类型转换，从而提高代码的安全性和可读性。

为什么需要 explicit？

当一个类有一个接受单个参数的构造函数时，C++ 允许该参数类型的值自动转换为该类的对象。这种行为虽然有时很方便，但往往会导致难以察觉的错误或不符合预期的行为。

例如：

class MyString {
public:
    MyString(int size) {
        // 假设这里分配指定大小的字符串缓冲区
    }
};

void printString(const MyString& str) {
    // 打印字符串
}

// 调用
printString(10);  // 看起来像传了一个整数，却能调用函数！

上面这段代码中，printString(10) 能够通过将整数 10 隐式转换为 MyString 对象来完成调用。这显然不是我们想要的结果——我们本意是传一个字符串，结果却传了个数字，程序还能编译通过，运行时可能出错。

使用 explicit 禁止隐式转换

加上 explicit 关键字后，就可以阻止这种自动转换：

class MyString {
public:
    explicit MyString(int size) {
        // 构造逻辑
    }
};

printString(10);        // 编译错误！不允许隐式转换
printString(MyString(10)); // 正确：显式创建对象
printString{10};         // 错误（如果禁止隐式转换）

此时，只有显式地创建对象才能传递给函数，大大减少了误用的可能性。

explicit 支持多个参数的情况（C++11 及以后）

在 C++11 之前，explicit 一般只用于单参数构造函数。但从 C++11 开始，它也可以用于多参数构造函数，用来禁止使用花括号 {} 或圆括号 () 进行的隐式列表初始化转换。

示例：

class Point {
public:
    explicit Point(double x, double y) {
        // 初始化坐标
    }
};

void drawPoint(const Point& p) { }

drawPoint({1.0, 2.0});     // 错误：explicit 禁止从列表隐式构造
drawPoint(Point{1.0, 2.0}); // 正确：显式构造
drawPoint(Point(1.0, 2.0)); // 正确

这样可以控制哪些初始化方式是允许的，增强接口的严谨性。