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; } </font>
这增强了类型安全,尤其是在定义接受初始化列表的构造函数时非常有用。
基本上就这些。只要你的构造函数可能被误用于隐式转换,特别是单参数构造函数,建议加上
explicit
。这不是强制的,但是一种良好的编程习惯,能显著提升代码的健壮性和可读性。