explicit关键字用于防止类构造函数的隐式类型转换,避免因单参数或带默认值参数的构造函数引发意外的隐式转换,提升代码安全性和可读性。

在C++中,explicit关键字用于修饰类的构造函数,防止编译器进行隐式类型转换。如果不使用
explicit,单参数构造函数可能会被自动调用,从而引发意料之外的类型转换,带来潜在的bug。
为什么需要 explicit 关键字?
当一个类的构造函数只有一个参数(或多个参数但除第一个外都有默认值)时,它可能被用来进行隐式转换。例如:
class MyString {
public:
MyString(int size) { // 接受整数,表示字符串大小
// 分配内存等操作
}
};
void printString(const MyString& str) {
// 打印字符串
}
int main() {
printString(10); // 隐式转换:int -> MyString
return 0;
}
上面代码中,
printString(10)看似不合理,但由于
MyString(int)构造函数的存在,编译器会自动创建一个临时
MyString对象。这种隐式转换容易导致逻辑错误,比如程序员本意是传入字符串长度还是实际字符串?语义不清晰。
使用 explicit 防止隐式转换
通过在构造函数前加上
explicit关键字,可以禁止这种隐式转换:
立即学习“C++免费学习笔记(深入)”;
class MyString {
public:
explicit MyString(int size) {
// 构造逻辑
}
};
void printString(const MyString& str) {}
int main() {
// printString(10); // 错误:无法隐式转换 int -> MyString
printString(MyString(10)); // 正确:显式构造
printString{20}; // C++11起支持,仍需显式写法
return 0;
}
加上
explicit后,必须显式地构造对象,避免了意外的类型转换。
explicit 与多参数构造函数(C++11 起)
C++11开始,
explicit也可以用于有多个参数的构造函数,防止通过花括号初始化发生隐式转换:
class Point {
public:
explicit Point(int x, int y) : x_(x), y_(y) {}
private:
int x_, y_;
};
void func(const Point& p) {}
int main() {
// func({1, 2}); // 错误:explicit 禁止从 {int,int} 隐式转换
func(Point{1, 2}); // 正确:显式构造
return 0;
}
这增强了类型安全,尤其是在定义接受初始化列表的构造函数时非常有用。
基本上就这些。只要你的构造函数可能被误用于隐式转换,特别是单参数构造函数,建议加上
explicit。这不是强制的,但是一种良好的编程习惯,能显著提升代码的健壮性和可读性。











