explicit关键字用于禁止隐式类型转换,提高代码安全;它作用于单参数构造函数或转换运算符,防止编译器自动执行非预期的转换,如int转对象或指针转bool,必须显式调用才能转换。

在C++中,explicit关键字主要用于修饰类的构造函数,防止编译器进行隐式类型转换。这个关键字的作用是避免一些非预期的自动转换,从而提高代码的安全性和可读性。
explicit关键字的基本作用
当一个类的构造函数只有一个参数(或多个参数但其余参数都有默认值),编译器会自动使用该构造函数进行隐式转换。这虽然方便,但也容易引发错误。加上explicit后,这种隐式转换将被禁止,只能通过显式调用构造函数来创建对象。
例如:
class MyString {public:
MyString(int size) { /* 分配size大小的字符串空间 */ }
};
MyString s = 10; // 隐式转换:int → MyString,可能不是你想要的
上面的代码会编译通过,因为编译器自动调用了单参数构造函数。但如果加上explicit:
立即学习“C++免费学习笔记(深入)”;
class MyString {
public:
explicit MyString(int size) { / ... / }
};
// MyString s = 10; // 错误:无法隐式转换
MyString s(10); // 正确:显式调用构造函数
MyString s2 = MyString(10); // 正确:显式转换
explicit用于避免不期望的类型转换
没有explicit时,以下情况可能发生意外行为:
- 用整数初始化本应表示字符串长度或状态的对象
- 在函数传参时发生自动转换,导致调用错误的重载函数
- 布尔判断中误触发构造函数
示例:
class Buffer {public:
Buffer(int size) : size_(size) {}
private:
int size_;
};
void useBuffer(const Buffer& b) { }
useBuffer(256); // 编译通过:int隐式转Buffer,可能逻辑错误
加上explicit后:
explicit Buffer(int size) : size_(size) {}此时useBuffer(256)会报错,必须写成useBuffer(Buffer(256))或useBuffer{256},明确表达意图。
explicit在现代C++中的扩展:转换运算符
从C++11开始,explicit也可以用于修饰转换运算符,防止隐式转换到其他类型。
常见于智能指针和布尔类型转换:
class SmartPtr {T* ptr_;
public:
explicit operator bool() const {
return ptr_ != nullptr;
}
};
SmartPtr
if (p) { ... } // 允许:条件判断中允许显式bool转换
// bool b = p; // 错误:不能隐式转bool
这样设计可以支持if (ptr)这样的安全判空,又避免了int i = ptr;这类危险的隐式转换。
基本上就这些。explicit关键字虽小,但在防止“悄悄出错”方面非常关键,建议所有单参数构造函数都考虑是否需要加explicit,除非你明确希望支持隐式转换。不复杂但容易忽略。









