C++隐式成员函数详解

深入了解C++中的隐式成员函数

在C++中，隐式成员函数和构造函数是非常重要的概念。它们不仅为我们提供了方便，还在类的初始化和清理过程中扮演着关键角色。本文将详细介绍隐式成员函数的类型、默认构造函数的规则和用法，以及析构函数和拷贝构造函数的定义和作用。

一、隐式成员函数

隐式成员函数是指编译器自动生成的成员函数，而无需显式实现。编译器默认生成这些函数，以确保类的正常使用。

1. 隐式成员函数的类型

有六种类型的隐式成员函数：

1. 初始化和清理：
   • 默认构造函数（构造函数）：负责初始化对象。
   • 析构函数（析构函数）：负责在对象销毁时进行清理工作。
2. 拷贝和赋值：
   • 拷贝构造函数（拷贝构造）：创建一个作为现有对象副本的新对象。
   • 拷贝赋值运算符（拷贝复）：用赋值运算符表示，将一个对象的值复制到另一个现有对象中。
3. 取地址：
   • 取地址运算符（取地址重载）：用于获取对象的地址。
   • const版本：提供对象的地址，但以常量的方式。

2. 注释和重点

• 构造函数（构造函数）和析构函数（析构函数）分别类似于 Init 和 Destroy。
• 取地址运算符（取地址重载）很少自我实现，因为这些函数通常由编译器提供。

二、默认构造函数

1. 默认构造函数的定义

默认构造函数是没有参数或所有参数都有默认值的构造函数。当不传递任何参数即可调用的构造函数即为默认构造函数。

2. 生成默认构造函数

如果类中没有定义任何构造函数，编译器会自动生成默认构造函数。这个默认构造函数会初始化对象的所有成员变量。对于内置类型变量，默认构造函数不会初始化它们（它们的值是未定义的）。

3. 示例代码

定义一个类 Time，其中包含三个成员变量：_year、_month 和 _day。编译器会自动生成一个默认构造函数来初始化这些成员变量。

// 默认生成构造函数。
// 内置类型没有规定要处理（可处理，可不处理，看编译器）
int _year;
int _month;
int _day;

// 自定义类型调用默认构造函数
Time _t;

三、默认成员初始化（C++11）

C++11 引入了默认成员初始化的特性，允许在类定义中直接为成员变量赋予默认值，从而简化代码并提高可读性。

class Date {
private:
    int _year = 1;
    int _month = 1;
    int _day = 1;
    Time _t;

public:
    void Print() {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
};

int main() {
    Date d2;
    d2.Print();
    return 0;
}

在上述代码中，_year、_month 和 _day 在类定义中直接初始化为 1。Time 类型的成员变量 _t 通过默认构造函数初始化。

四、析构函数

1. 析构函数的定义与作用

析构函数是特殊的成员函数，用于在对象生命周期结束时自动调用，以完成资源的清理工作。

1.1 析构函数的特性

• 命名规则：析构函数的名字是在类名前加上波浪符号（~）。
• 参数：析构函数无参数，也无返回值。
• 唯一性：一个类只能有一个析构函数，若未显式定义，系统会自动生成默认的析构函数。
• 自动调用：对象生命周期结束时，C++编译器系统会自动调用析构函数。

1.2 Date 类是否需要析构函数

对于 Date 类，没有需要清理的资源，因此不需要显式定义析构函数。

2. 编译器生成的析构函数

编译器生成的默认析构函数默认会完成一些任务：

• 内置类型：不做处理。
• 自定义类型：调用自定义类型成员的析构函数。

class MyQueue {
private:
    Stack _st1;
    Stack _st2;
    int _size = 0;
};

在上述代码中，MyQueue 类包含两个 Stack 类型的成员变量 _st1 和 _st2。MyQueue 的默认构造函数会自动调用 _st1 和 _st2 的构造函数，而默认析构函数会自动调用它们的析构函数。

五、拷贝构造函数

1. 拷贝构造函数的定义与作用

拷贝构造函数用于用一个已有的同类型对象来初始化新对象。其参数必须是同类类型对象的引用。例如：

class Date {
public:
    Date(const Date& d); // 拷贝构造函数
};

2. 拷贝构造函数的使用场景

• 用一个对象初始化另一个同类型对象时（例如：Date d3(d2);）。
• 对象作为参数传递给函数时（传值方式）。
• 函数返回对象时。

3. 正确的定义方法

正确的方法是使用常量引用来避免副本的创建，从而防止无限递归调用：

class Date {
public:
    Date(const Date& d) {
        _year = d._year;
        _month = d._month;
        _day = d._day;
    }
};

4. 示例代码

class Date {
private:
    int _year;
    int _month;
    int _day;

public:
    Date(int year, int month, int day) : _year(year), _month(month), _day(day) {}

    Date(const Date& d) {
        _year = d._year;
        _month = d._month;
        _day = d._day;
    }

    void Print() {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
};

int main() {
    Date d2(2024, 4, 9);
    Date d3(d2);
    d2.Print();
    d3.Print();
    return 0;
}

在上述代码中，d3 使用 d2 进行初始化，调用了 Date 类的拷贝构造函数。

六、运算符重载

1. 比较运算符重载

运算符重载允许我们定义自定义类型对象之间的操作。例如，重载比较运算符以比较两个 Date 对象：

bool operator>(const Date& dt1, const Date& dt2) {
    if (dt1._year > dt2._year) {
        return true;
    } else if (dt1._year == dt2._year) {
        if (dt1._month > dt2._month) {
            return true;
        } else if (dt1._month == dt2._month) {
            return dt1._day > dt2._day;
        }
    }
    return false;
}

2. 示例代码

int main() {
    Date d1(2024, 4, 12);
    Date d2(2024, 4, 10);
    cout << (d1 > d2) << endl; // 输出1表示d1大于d2
    return 0;
}

在上述代码中，重载的 operator> 运算符用于比较两个 Date 对象。

七、结论

通过本文的介绍，我们详细探讨了C++中的隐式成员函数、默认构造函数、析构函数以及拷贝构造函数的定义和作用。理解这些概念对于编写高效、健壮的C++代码至关重要。希望这篇博客能帮助你更好地理解和应用这些知识。