C++11 之默认函数控制 =default 与 =delete

C++11 默认函数控制

C++11 引入了一种新特性，即 默认函数控制（Default Function Control）。它通过掌控编译器生成的函数来控制程序的显式创建和复制行为。这个特性主要是为了防止默认的复制和默认的调用行为被无意中。

本文将介绍默认函数控制的概念、使用方法和注意事项。

默认函数控制概述

默认函数控制主要涉及到以下四个函数：

• 默认构造函数 （Default constructor）
• 复制构造函数 （Copy constructor）
• 移动构造函数 （Move constructor）
• 赋值运算符 （Copy assignment operator）

默认函数控制的主要作用是规定编译器如何生成这四个函数的默认实现。通过合理掌握默认实现，可以有效地保证程序的健壮性和可维护性。

C++11 中默认函数控制一般包括以下几种类型：

• = default：表示将该函数的默认实现指定为编译器自动生成的默认实现。
• = delete：表示要求编译器不生成该函数的默认实现，通常用于避免不正确的行为或者限制特定操作的使用。

默认构造函数

默认构造函数是没有参数的构造函数，用于创建类的默认对象。如果没有定义默认构造函数，编译器会自动为该类生成一个默认构造函数。

如果该类需要显式禁止该对象的默认创建行为，就可以使用 = delete 关键字将其禁止：

class MyClass {
public:
    // 禁止编译器生成默认构造函数
    MyClass() = delete;
};

如果想要显示告诉编译器使用默认构造函数，可以使用 = default 关键字：

class MyClass {
public:
    // 使用编译器生成默认构造函数
    MyClass() = default;
};

复制构造函数

复制构造函数用于创建一个新的对象，该对象与源对象具有相同的值。如果没有定义复制构造函数，编译器会自动为该类生成一个默认的复制构造函数。

如果该类需要显式禁止该对象的复制行为，就可以使用 = delete 关键字将其禁止：

class MyClass {
public:
    // 禁止编译器生成复制构造函数
    MyClass(const MyClass&) = delete;
};

如果想要显示告诉编译器使用默认复制构造函数，可以使用 = default 关键字：

class MyClass {
public:
    // 使用编译器生成默认复制构造函数
    MyClass(const MyClass&) = default;
};

移动构造函数和赋值运算符

移动构造函数用于“窃取”另一个对象的资源，从而使得自己拥有这些资源。在 C++11 中，它是用于支持移动语义的关键函数之一，用来优化大容器等对象的性能。

赋值运算符用于给一个对象赋新值，通常定义为成员函数。如果没有定义默认赋值运算符，编译器会自动为该类生成一个默认的赋值运算符。

如果该类需要显式禁止该对象的复制行为，就可以使用 = delete 关键字将其禁止：

class MyClass {
public:
    // 禁止编译器生成移动构造函数和赋值运算符
    MyClass(MyClass&&) = delete;
    MyClass& operator=(const MyClass&) = delete;
};

如果想要显示告诉编译器使用默认的移动构造函数和赋值运算符，可以使用 = default 关键字：

class MyClass {
public:
    // 使用编译器生成默认移动构造函数和赋值运算符
    MyClass(MyClass&&) = default;
    MyClass& operator=(const MyClass&) = default;
};

总结

C++11 中引入了默认函数控制，可以通过控制编译器生成的默认函数来控制程序显式创建和复制行为。默认函数控制包括 = default 和 = delete 两种类型，用于规定编译器如何生成默认实现。在实际编程过程中，应该合理使用默认函数控制，从而更加有效地保证程序的稳定性和可维护性。