今天我们将深入探讨构造函数中的三个关键字:= delete、= default 以及 explicit。这些关键字在C++中扮演着重要的角色,能够提供更加精确的控制和更清晰的语义。
一、= delete:显式禁止
首先,让我们聚焦于 = delete 这个关键字。在C++中,我们有时候希望禁止某个函数的调用,可能是因为该函数的默认实现不符合我们的需求,或者因为我们不希望该函数被使用。这时,= delete 就派上了用场。
1. 禁止拷贝构造函数
考虑一个场景,我们希望某个类对象不可被拷贝。通过 = delete,我们可以明确表示禁止拷贝构造函数的使用:
class NonCopyable {
public:
// 禁止拷贝构造函数
NonCopyable(const NonCopyable&) = delete;
// 默认构造函数
NonCopyable() {
// 构造函数的内容
}
};
通过这种方式,我们防止了对象的拷贝,确保该类的实例无法通过拷贝构造函数进行复制。
2. 禁止移动构造函数
同样,我们也可以使用 = delete 来禁止移动构造函数的使用,从而防止对象的移动语义:
class NonMovable {
public:
// 禁止移动构造函数
NonMovable(NonMovable&&) = delete;
// 默认构造函数
NonMovable() {
// 构造函数的内容
}
};
这种用法确保了对象在实例化后无法通过移动构造函数进行移动操作。
二、= default:显式请求默认实现
接下来,让我们转向 = default,这个关键字用于显式请求编译器生成默认实现。通常,编译器会在特殊成员函数(如默认构造函数、拷贝构造函数等)的缺失时自动生成默认实现,但有时我们可能需要显示地声明这一请求。
1. 默认构造函数的默认实现
考虑一个类,我们希望使用默认构造函数来创建对象。通过 = default,我们明确告诉编译器生成默认的构造函数实现:
class DefaultConstructible {
public:
// 默认构造函数的默认实现
DefaultConstructible() = default;
// 用户自定义的拷贝构造函数
DefaultConstructible(const DefaultConstructible& other) {
// 拷贝构造函数的内容
}
};
在这个例子中,我们显示地请求编译器生成默认构造函数的实现,同时提供了自定义的拷贝构造函数。
2. 委托构造函数
= default 也可以用于委托构造函数,即一个构造函数调用同一类的另一个构造函数。这有助于减少代码重复,提高代码的可维护性。
class MyClass {
public:
// 构造函数的初始化列表
MyClass(int x, double y) : integerMember(x), doubleMember(y) {
// 构造函数的内容
}
// 委托构造函数
MyClass(int x) : MyClass(x, 0.0) {}
private:
int integerMember;
double doubleMember;
};
在上面的例子中,MyClass(int x) 委托了 MyClass(int x, double y) 构造函数,实现了代码的重用。
三、explicit:显式声明构造函数
最后,我们来讨论 explicit 这个关键字,它用于显式声明构造函数。在某些情况下,我们可能不希望发生隐式类型转换,而是希望确保只有显式调用才能进行构造。
class ExplicitClass {
public:
explicit ExplicitClass(int x) {
// 构造函数的内容
}
};
在这个例子中,explicit 防止了将 int 隐式转换为 ExplicitClass 类型。只有显式调用构造函数才能创建对象,确保了类型转换的明确性。
结语
总结一下,C++中的 = delete、= default 和 explicit 这些关键字为我们提供了更多的控制权和精确性,使得我们能够更好地定义和管理构造函数的行为。
= delete 可以用于禁止某个函数的使用,= default 可以显式请求默认实现,而 explicit 可以确保构造函数的显式调用。在设计和实现类的时候,充分利用这些关键字可以使代码更加健壮、清晰和易于维护。