显式构造函数通过explicit关键字防止隐式类型转换,避免意外的构造行为。当类的构造函数只有一个参数或多个参数但其余有默认值时,编译器可能自动进行隐式转换,导致非预期结果。例如,int可被隐式转为MyString对象,引发逻辑错误。使用explicit后,只能显式调用构造函数,如MyString(10),而不能隐式转换。建议对所有单参数构造函数使用explicit,除非确实需要隐式转换。C++11起支持多参数explicit构造函数,增强代码安全性和可读性。常见于智能指针、容器和数值封装类。
在C++中,显式构造函数(使用
explicit
关键字声明的构造函数)主要用于防止编译器进行隐式类型转换,从而避免一些意外或不易察觉的错误。
为什么需要 explicit
当一个类的构造函数只有一个参数(或多个参数但除了第一个外都有默认值),编译器可能会在不需要显式调用的情况下,自动将参数类型转换为该类类型。这种隐式转换虽然有时方便,但也容易引发问题。
例如:
class MyString {
public:
MyString(int size) { /* 分配 size 个字符空间 */ }
MyString(const char* str) { /* 用字符串初始化 */ }
};
void printString(const MyString& s) { }
立即学习“C++免费学习笔记(深入)”;
int main() {
printString(“Hello”); // 正确:隐式转换为 MyString
printString(10); // 问题:int 被隐式转为 MyString,可能不是预期行为
return 0;
}
上面的
printString(10)
会调用
MyString(int)
构造函数,创建一个大小为 10 的字符串对象。这可能不是程序员本意,但编译器允许这种转换。
使用 explicit 阻止隐式转换
通过在单参数构造函数前加上
explicit
,可以禁止编译器进行隐式转换,只能显式调用构造函数。
class MyString {
public:
explicit MyString(int size) { /* … */ }
MyString(const char* str) { /* … */ }
};
int main() {
printString(“Hello”); // OK:const char* 到 MyString 允许
// printString(10); // 错误:不能隐式转换 int 到 MyString
printString(MyString(10)); // OK:显式构造
return 0;
}
此时,
printString(10)
会编译失败,而
printString(MyString(10))
是合法的,因为它明确表达了意图。
explicit 的使用建议
- 对于所有只接受一个参数的构造函数,除非你明确希望支持隐式转换,否则应声明为
explicit
。
- 支持多个参数的构造函数也可以使用
explicit
(C++11 起),虽然它们不会发生隐式转换,但可避免某些意外的构造行为。
- 常见于智能指针、容器包装类、数值封装类等场景。
例如:
explicit MyString(int size, char c = ‘