explicit关键字用于禁止构造函数的隐式类型转换,提升代码安全性和可读性;它主要修饰单参数构造函数或可单参调用的构造函数,防止如int自动转为MyString等意外转换;使用后必须显式构造对象,现代C++建议普遍应用以避免歧义。

在C++中,explicit关键字用于修饰构造函数,防止编译器进行隐式类型转换。它的主要作用是避免不期望的自动转换,从而提高代码的安全性和可读性。
构造函数与隐式转换
当一个类有一个参数类型的构造函数时,C++允许使用该参数类型自动创建类的对象。例如:
class MyString {
public:
MyString(int size) {
// 分配指定大小的字符串缓冲区
}
};
void func(MyString s) { }
func(10); // 隐式转换:int 转为 MyString
上面的代码中,func(10)会自动调用MyString(int)构造函数,将整数10隐式转换为MyString对象。这种行为虽然方便,但容易引发意外错误,比如程序员本意是传长度,却误用了字符串构造逻辑。
使用explicit防止隐式转换
通过在构造函数前加上explicit关键字,可以禁止这种隐式转换:
立即学习“C++免费学习笔记(深入)”;
class MyString {
public:
explicit MyString(int size) {
// ...
}
};
func(10); // 错误:不能隐式转换
func(MyString(10)); // 正确:显式创建对象
func(static_cast(10)); // 也可行
此时,必须显式地创建MyString对象,否则编译失败。这能有效防止因类型自动转换导致的歧义或性能问题。
只对单参数构造函数有意义
explicit通常用于只有一个参数的构造函数(包括有默认值而实际可单参调用的构造函数)。例如:
class Data {
public:
explicit Data(int a, int b = 0); // 可以被当作单参调用
};
Data d1(5); // 显式调用,合法
Data d2 = 5; // 错误:explicit禁止隐式转换
现代C++中的应用建议
- 除非明确需要隐式转换(如智能指针间的转换),否则建议将单参数构造函数声明为explicit。
- 在定义类型转换操作符时,C++11起也支持explicit,用于控制隐式转换行为。
-
标准库中广泛使用explicit,如std::vector
的构造函数。
基本上就这些。explicit关键字虽小,但在构建安全、清晰的接口时非常关键。不复杂但容易忽略。










