C++中的explicit关键字

在C++中，explicit关键字用于修饰构造函数和转换运算符（C++11起），以禁止编译器进行隐式类型转换，确保转换行为必须由代码显式指明。以下是其核心用法和示例：

---

1. 构造函数中的 explicit

单参数构造函数

当构造函数只有一个参数时，默认允许隐式转换。使用explicit可禁止此行为。

示例：

class MyString {
public:
    explicit MyString(int size) { /* 根据大小创建字符串 */ }
};

void printString(const MyString& s) {}

int main() {
    MyString s1(10);     // 正确：显式调用构造函数
    MyString s2 = 10;    // 错误：explicit禁止隐式转换
    printString(10);     // 错误：explicit禁止隐式转换
}

多参数构造函数（C++11起）

从C++11开始，explicit也可用于多参数构造函数，防止隐式初始化列表转换。

示例：

class Point {
public:
    explicit Point(int x, int y) : x_(x), y_(y) {}
private:
    int x_, y_;
};

void drawPoint(const Point& p) {}

int main() {
    Point p1{1, 2};      // 正确：直接初始化
    Point p2 = {1, 2};   // 错误：explicit禁止隐式初始化列表转换
    drawPoint({3, 4});   // 错误：explicit禁止隐式转换
}

---

2. 转换运算符中的 explicit（C++11起）

用于防止类对象隐式转换为其他类型。

示例：

class SafeBool {
public:
    explicit operator bool() const { return true; }
};

int main() {
    SafeBool sb;
    if (sb) {                   // 正确：上下文转换为bool（如条件语句）
        // ...
    }
    bool b1 = sb;               // 错误：explicit禁止隐式转换
    bool b2 = static_cast<bool>(sb); // 正确：显式转换
}

---

3. 何时使用 explicit？

• 构造函数：当隐式转换可能导致歧义或意外行为时（如std::vector的explicit vector(size_type count)防止vector<int> v = 5;的误解）。
• 转换运算符：避免类对象被无意中转换为其他类型（如避免if (obj)隐式转换为指针）。

---

4. 总结

场景	未使用 explicit	使用 explicit
单参数构造函数	允许隐式转换（如MyString s = 10;）	必须显式调用（如MyString s(10);）
多参数构造函数	允许初始化列表隐式转换（Point p = {1,2};）	禁止隐式转换，需直接初始化
转换运算符	允许隐式转换（bool b = obj;）	需显式转换（static_cast<bool>(obj)）

---

正确使用explicit可增强代码的清晰性和安全性，避免因隐式转换引发的潜在错误。