explicit用于防止构造函数的隐式转换,避免单参数或带默认值参数的构造函数被自动调用,提升类型安全。
在C++中,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 关键字后,这种隐式转换会被禁止:
class MyString {
public:
explicit MyString(int size) { /* ... */ }
MyString(const char* str) { /* ... */ }
};
printString(10); // 错误:不能隐式转换 int 到 MyString
printString(MyString(10)); // 正确:显式构造
printString{10}; // 错误:列表初始化也不允许隐式转换
此时
,必须显式地创建对象,提高了类型安全性。
class Point {
public:
explicit Point(int x, int y) { /* ... */ }
};
Point p1 = {1, 2}; // 错误:explicit 禁止了这种隐式列表初始化
Point p2{1, 2}; // 正确:显式初始化,不涉及隐式转换
注意:虽然 p2{1,2} 是合法的,但它不是“隐式转换”,而是显式构造,所以允许。
使用 explicit 是一种良好的编程习惯,尤其对于单参数构造函数。它可以避免意外的类型转换,提升代码的安全性和可读性。除非你明确希望支持隐式转换(这种情况极少),否则建议将单参数构造函数声明为 explicit。
基本上就这些,不复杂但容易忽略。