C++类与对象：默认成员函数深度解析

1. C++类与对象核心概念解析

在C++编程中，类与对象是面向对象编程的基石。理解类的默认成员函数对于掌握C++面向对象特性至关重要。本文将深入探讨C++类的6个默认成员函数，特别是构造、析构、拷贝构造和赋值运算符重载这四大核心函数。

1.1 什么是默认成员函数

默认成员函数是指当用户没有显式定义时，编译器会自动为类生成的成员函数。在C++11标准之前，一个空类默认会生成6个这样的函数：

1. 构造函数
2. 析构函数
3. 拷贝构造函数
4. 赋值运算符重载
5. 普通取地址运算符重载
6. const取地址运算符重载

注意：C++11标准后新增了移动构造函数和移动赋值运算符，但本文重点讨论前4个核心函数。

1.2 为什么需要默认成员函数

默认成员函数的存在是为了简化编程工作，确保类的基本行为符合预期。例如：

• 构造函数确保对象被正确初始化
• 析构函数确保资源被正确释放
• 拷贝构造函数和赋值运算符确保对象拷贝行为合理

2. 构造函数深度剖析

2.1 构造函数的基本特性

构造函数是特殊的成员函数，具有以下特点：

• 函数名与类名完全相同
• 没有返回值类型（连void都不需要写）
• 对象创建时自动调用，且仅调用一次
• 支持函数重载（可以有多个不同版本的构造函数）

cpp复制class Date {
public:
    // 无参构造函数
    Date() {
        _year = 1;
        _month = 1;
        _day = 1;
    }
    
    // 带参构造函数
    Date(int year, int month, int day) {
        _year = year;
        _month = month;
        _day = day;
    }
private:
    int _year;
    int _month;
    int _day;
};

2.2 构造函数的调用规则

编译器生成构造函数的逻辑如下：

1. 如果用户没有定义任何构造函数，编译器会自动生成一个无参的默认构造函数
2. 一旦用户定义了任意构造函数，编译器就不再生成默认构造函数
3. 默认构造函数包括三种形式：无参构造、全缺省构造和编译器生成的无参构造

重要提示：全缺省构造和无参构造不能同时存在，否则会导致调用歧义。

2.3 初始化列表的使用

构造函数可以使用初始化列表来初始化成员变量，这种方式效率更高：

cpp复制class Date {
public:
    // 使用初始化列表的构造函数
    Date(int year, int month, int day) 
        : _year(year), _month(month), _day(day) {
        // 构造函数体
    }
private:
    int _year;
    int _month;
    int _day;
};

初始化列表的特点：

1. 执行顺序与成员变量声明顺序一致，与初始化列表中的顺序无关
2. 对于const成员和引用成员，必须使用初始化列表
3. 对于类类型成员，使用初始化列表可以避免先调用默认构造再赋值的开销