C++ 构造函数底层机制详解
深入理解 C++ 构造函数，需要关注其内存分配及执行流程。本篇将剖析编译器在幕后进行的操作。
默认构造函数
当使用 ClassName obj; 语法创建对象时，编译器会负责内存分配并调用默认构造函数。
- 编译器自动生成： 若开发者未定义任何构造函数，编译器会生成一个默认构造函数。但请注意，此自动生成的版本不会对内置类型（如
int,double, 指针）进行初始化，其值将是内存中的任意值。 - 显式声明： C++11 引入了
= default关键字，允许开发者明确指示编译器生成默认构造函数，增强了代码的可读性。
class Configuration {
public:
Configuration() = default; // 显式请求编译器生成默认构造函数
// 或者手动初始化
Configuration() : logLevel(1) {}
private:
int logLevel;
};
成员初始化列表
成员初始化列表（位于构造函数参数列表后、函数体前的 : 之后）是 C++ 特有的、高效的初始化机制。
- 优势：
- 效率： 相较于在函数体内部通过赋值进行初始化，初始化列表避免了先调用默认构造函数再进行赋值的两次开销。
- 必要性： 对于
const成员、引用成员以及没有默认构造函数的类类型成员，必须使用初始化列表进行初始化。
- 注意事项： 成员的初始化顺序严格按照它们在类定义中声明的顺序，而非在初始化列表中出现的顺序。
拷贝构造函数
拷贝构造函数在对象按值传递或按值返回时被隐式调用。
深拷贝实现：
如果类中包含指针成员，默认的浅拷贝（仅复制指针地址）会导致多个对象指向同一内存区域。当这些对象被销毁时，会引发"二次释放"（Double Free）的内存错误。
#include <algorithm> // for std::copy
class DataStream {
int* buffer;
size_t capacity;
public:
// 拷贝构造函数：实现深拷贝
DataStream(const DataStream& other) : capacity(other.capacity) {
buffer = new int[capacity]; // 分配新的内存空间
std::copy(other.buffer, other.buffer + capacity, buffer); // 复制数据
// std::cout << "Deep Copy Constructor Called\n"; // 调试信息
}
~DataStream() {
delete[] buffer;
}
};
移动构造函数
C++11 引入的移动构造函数极大地优化了大型对象在拷贝时的性能问题。其核心在于"转移"资源所有权。
- 工作原理： 当源对象是右值（通常是临时对象）时，移动构造函数可以直接接管源对象的资源（如指针），并将源对象的指针置为
nullptr，避免了资源的重复分配和复制。 - 关键要素： 使用右值引用 (
&&) 来识别可被移动的对象，并通常声明为noexcept，以利于标准库容器进行优化。
// 移动构造函数
DataStream(DataStream&& other) noexcept : buffer(other.buffer), capacity(other.capacity) {
other.buffer = nullptr; // 将源对象的指针置空
other.capacity = 0;
// std::cout << "Move Constructor Called\n"; // 调试信息
}
委托构造函数
当多个构造函数存在重复的初始化逻辑时，可以通过委托构造函数让一个构造函数调用另一个。
class RobotArm {
public:
RobotArm(int joints, std::string model) : m_joints(joints), m_model(model) {}
// 委托给上面带有两个参数的构造函数
RobotArm() : RobotArm(6, "Standard") {}
private:
int m_joints;
std::string m_model;
};
验证理解
尝试创建一个包含指针成员的类，并实现上述各种构造函数。在 main 函数中通过以下方式调用它们来验证：
MyClass instance1;（默认构造）MyClass instance2(value);（有参构造）MyClass instance3 = instance2;（拷贝构造）MyClass instance4 = std::move(instance2);（移动构造）
