在C++中,explicit
关键字用于防止非显式构造函数调用中的类型转换。它的主要用途是避免由于构造函数参数匹配而导致的意外类型转换。这在单参数构造函数中尤为重要,因为这样的构造函数默认可以被用作隐式类型转换。
使用场景
当一个类有一个单参数的构造函数时,该构造函数可以用来将其他类型的值转换为该类的对象。例如,如果有一个类 MyClass
定义如下:
class MyClass {
public:
MyClass(int i) { /* ... */ }
};
那么下面的代码是合法的:
MyClass obj = 42; // 隐式类型转换
这里 42
被隐式地转换为了 MyClass
类型的对象。这种转换有时是有用的,但在某些情况下可能会导致问题,比如在初始化列表中或者在函数调用中错误的类型转换。
使用 explicit 关键字
为了防止这种情况发生,可以在构造函数声明前加上 explicit
关键字。这样做的结果是,该构造函数不能再被用作隐式类型转换。
class MyClass {
public:
explicit MyClass(int i) { /* ... */ }
};
现在,下面的代码会导致编译错误:
MyClass obj = 42; // 错误:不能隐式转换
但仍然可以通过显式调用来使用这个构造函数:
MyClass obj(42); // 显式调用构造函数
注意点
explicit
只能用于单参数构造函数。- 即使构造函数只有一个参数,如果该参数是一个引用类型,则
explicit
也是无效的,因为引用类型的构造函数不能用于隐式转换。 explicit
不影响拷贝构造函数和移动构造函数。explicit
关键字也可以用于转换运算符,以防止隐式的用户定义类型转换。
示例代码
以下是一个使用 explicit
关键字的例子:
#include <iostream>
class MyClass {
public:
explicit MyClass(int value) {
data = value;
}
int getData() const {
return data;
}
private:
int data;
};
void printValue(const MyClass& obj) {
std::cout << "Value: " << obj.getData() << std::endl;
}
int main() {
MyClass obj(42); // 显式调用构造函数
printValue(obj);
// 下面的代码会导致编译错误:
// MyClass obj2 = 42; // 错误:不能隐式转换
return 0;
}
在这个例子中,MyClass
的构造函数被标记为 explicit
,所以不能通过赋值的方式进行隐式转换。这有助于避免因意外类型转换而导致的错误。