C++显式默认函数default用法

2026-04-01 16:45:25 1387阅读 0评论

C++ 显式默认函数 default 的用法详解

在现代 C++ 编程中，default 关键字是一个非常有用的特性，它允许开发者在某些情况下显式地告诉编译器生成默认实现的成员函数。本文将详细探讨 default 关键字的用法及其应用场景。

什么是显式默认函数？

在 C++ 中，当一个类的成员函数没有被显式定义时，编译器会自动生成一个默认实现。例如，构造函数、析构函数和赋值操作符等。然而，在某些情况下，我们可能希望显式地告诉编译器生成这些默认实现，而不是依赖编译器的隐式生成。这就是 default 关键字的作用。

基本语法

class MyClass {
public:
    // 默认构造函数
    MyClass() = default;

    // 默认拷贝构造函数
    MyClass(const MyClass& other) = default;

    // 默认移动构造函数
    MyClass(MyClass&& other) = default;

    // 默认拷贝赋值运算符
    MyClass& operator=(const MyClass& other) = default;

    // 默认移动赋值运算符
    MyClass& operator=(MyClass&& other) = default;

    // 默认析构函数
    ~MyClass() = default;
};

使用场景

1. 当你需要保留默认行为时

有时候，你可能希望某个类的成员函数保持默认行为，但又不想让编译器自动生成它们。这时，你可以使用 default 关键字来明确表示你的意图。

class MyClass {
public:
    MyClass() = default; // 保留默认构造函数
    void someFunction(); // 需要手动定义的函数
};

2. 当你需要重载默认行为时

如果你希望某个成员函数的行为与默认行为不同，但仍然希望保留其他成员函数的默认行为，可以使用 default 关键字。

class MyClass {
public:
    MyClass() = default; // 保留默认构造函数
    void someFunction() { /* 自定义实现 */ }
};

3. 当你需要禁用某些默认行为时

在某些情况下，你可能希望完全禁用某个成员函数的默认行为。这时，你可以使用 delete 关键字。

class MyClass {
public:
    MyClass() = default; // 保留默认构造函数
    void someFunction() = delete; // 禁用该函数
};

4. 当你需要继承默认行为时

当你从一个基类继承时，默认情况下会继承所有非静态成员函数的默认行为。如果需要更改某些默认行为，可以使用 override 和 final 关键字。

class Base {
public:
    virtual void someFunction() = default;
};

class Derived : public Base {
public:
    void someFunction() override final; // 继承并修改默认行为
};

注意事项

1. 默认构造函数和析构函数

对于类中的默认构造函数和析构函数，使用 = default 是安全的。编译器会生成一个默认的、无参数的构造函数和析构函数。

class MyClass {
public:
    MyClass() = default; // 默认构造函数
    ~MyClass() = default; // 默认析构函数
};

2. 成员初始化列表

在使用 = default 时，成员初始化列表会被忽略。因此，确保在定义成员变量时使用合适的初始化方式。

class MyClass {
public:
    MyClass() = default; // 默认构造函数
private:
    int value = 0; // 使用默认初始化
};

3. 虚函数

对于虚函数，使用 = default 可能会导致意外的行为。因为默认实现会覆盖派生类中的虚函数实现。

class Base {
public:
    virtual void someFunction() = default;
};

class Derived : public Base {
public:
    void someFunction() override; // 必须重新定义虚函数
};