17370845950

explicit关键字用于禁止单参数构造函数的隐式转换，防止意外的类型转换错误；如explicit MyString(int size)会阻止MyString s = 10等隐式调用，仅允许MyString(10)或MyString{10}等显式初始化方式。

在C++中，explicit关键字主要用于修饰单参数构造函数（或可通过默认参数转换为单参数的构造函数），其主要作用是防止编译器进行隐式类型转换，从而避免潜在的错误或不易察觉的bug。

一、什么是隐式类型转换？

例如：

class MyString {
public:
    MyString(int size) { /* 分配size大小的字符串空间 */ }
    MyString(const char* str) { /* 构造字符串 */ }
};
void printString(const MyString& s) {
// 打印字符串
}
// 调用
printString("Hello");  // OK：隐式转换 const char* -> MyString
printString(10);       // 问题：int 被隐式转为 MyString，可能不是预期行为！

上面的printString(10)虽然语法合法，但逻辑上不合理——我们本意是传字符串，却误传了整数。这就是隐式转换带来的风险。

二、explicit如何限制构造函数调用

修改上面的例子：

class MyString {
public:
    explicit MyString(int size) { /* ... */ }
    MyString(const char* str) { /* ... */ }  // 不加explicit，允许隐式转换
};

此时：

• MyString s = 10; → 编译错误（隐式转换被禁用）
• MyString s(10); 或 MyString s{10}; → 正确（显式调用）
• printString(10); → 编译错误
• printString(MyString(10)); → 正确（显式构造）

这样就能避免意外地将整数当作MyString使用。

三、explicit适用于哪些构造函数？

• 只有一个参数的构造函数
• 有多个参数，但其余参数都有默认值，实际可由一个参数调用
• C++11起，explicit也适用于转换运算符（如explicit operator bool()）

示例：

class Buffer {
public:
    explicit Buffer(int size, int mode = 0);  // 虽有两个参数，但可由一个int调用
};

此时Buffer b = 100;会被禁止，必须写成Buffer b(100);。

四、explicit与初始化方式的关系

例如：

explicit MyString(int size);
MyString s1(10);     // OK：直接初始化
MyString s2{10};     // OK：列表初始化（explicit允许）
MyString s3 = {10};  // 错误：复制列表初始化，涉及隐式转换
MyString s4 = 10;    // 错误：复制初始化，隐式转换被禁

注意：=形式的初始化会触发隐式转换，即使使用{}也会被explicit阻止。

基本上就这些。explicit是一个简单但重要的关键字，合理使用能显著提升代码的安全性和可读性。尤其在设计工具类、资源管理类时，建议默认给单参构造函数加上explicit，除非你明确需要隐式转换。