explicit用于防止构造函数的隐式转换,避免单参数或带默认值参数的构造函数被自动调用,提升类型安全。

在C++中,explicit 是一个用于修饰构造函数的关键字,主要作用是防止编译器进行隐式类型转换。如果不使用 explicit,编译器可能会自动调用单参数构造函数来进行类型转换,这有时会导致意想不到的行为。
为什么需要 explicit?
当一个类的构造函数只有一个参数(或多个参数但除了第一个外都有默认值)时,它可能被用来进行隐式转换。例如:
class MyString {
public:
MyString(int size) { /* 分配 size 大小的字符串空间 */ }
MyString(const char* str) { /* 从 C 风格字符串构造 */ }
};
void printString(const MyString& s) {
// 打印字符串
}
// 调用
printString(10); // 编译通过!但逻辑错误:把整数 10 当作 MyString 传入
上面代码中,MyString(int) 构造函数被隐式调用,将整数 10 转换为 MyString 对象。这可能不是程序员本意,容易引发 bug。
使用 explicit 阻止隐式转换
加上 explicit 关键字后,这种隐式转换会被禁止:
立即学习“C++免费学习笔记(深入)”;
class MyString {
public:
explicit MyString(int size) { /* ... */ }
MyString(const char* str) { /* ... */ }
};
printString(10); // 错误:不能隐式转换 int 到 MyString
printString(MyString(10)); // 正确:显式构造
printString{10}; // 错误:列表初始化也不允许隐式转换
此时,必须显式地创建对象,提高了类型安全性。
explicit 的使用场景
- 单参数构造函数:这是最常见的使用场景。只要不希望发生自动转换,就应标记为 explicit。
- C++11 及以后支持多参数 explicit:从 C++11 开始,explicit 也可以用于多个参数的构造函数,主要用于禁止通过列表初始化发生的隐式转换。
class Point {
public:
explicit Point(int x, int y) { /* ... */ }
};
Point p1 = {1, 2}; // 错误:explicit 禁止了这种隐式列表初始化
Point p2{1, 2}; // 正确:显式初始化,不涉及隐式转换
注意:虽然 p2{1,2} 是合法的,但它不是“隐式转换”,而是显式构造,所以允许。
总结
使用 explicit 是一种良好的编程习惯,尤其对于单参数构造函数。它可以避免意外的类型转换,提升代码的安全性和可读性。除非你明确希望支持隐式转换(这种情况极少),否则建议将单参数构造函数声明为 explicit。
基本上就这些,不复杂但容易忽略。











