C++构造函数调用规则详解：从对象生命周期到拷贝/移动语义

构造函数这个题目，看起来是C++基础中的基础，但真要较起真来，能难倒不少人。我见过不少工作三五年的开发，聊起拷贝构造、移动构造、初始化列表头头是道，但一遇到“到底哪一行代码触发了构造函数调用”“这个临时对象为什么没析构”“vector扩容到底调用了多少次拷贝构造”这种问题，当场就容易卡壳。原因很简单：构造函数的调用规则，不是靠背能记住的，它藏在C++的对象生命周期模型里，得靠实例一点点抠明白。

这篇文章就把构造函数调用规则这件事彻底讲透。从栈对象、堆对象到临时对象，从拷贝构造、移动构造到重载构造函数的匹配逻辑，再到构造函数与析构函数的配对关系，我会把“什么时候调用什么构造”“为什么不走构造函数”“怎么判断和规避坑”这些问题掰开揉碎讲清楚。适合正在学C++的初学者补齐基础，也适合准备面试的开发者系统性梳理知识盲区，更欢迎日常写业务代码的老手来对照查漏。

1. 构造函数调用规则的整体逻辑

1.1 构造函数的本质：对象出生时的一段代码

构造函数的核心使命很简单：在对象内存被分配之后、成为“可用对象”之前，执行必要的初始化动作。关键在于，C++把“分配内存”和“构造对象”拆成了两个概念，内存可以在栈上自动分配，可以在堆上通过malloc或operator new分配，也可以来自静态存储区，而构造函数只在“对象真正诞生”的那一刻被调用。

这就有了一件很有意思的事：构造函数不是由程序员显式调用的（除非在特殊场景下用placement new），它是由编译器根据对象创建方式自动注入的调用。所以你不需要写 obj.T::T() 这种语法，只要写 T obj; 或者 T* p = new T();，编译器就会在合适的位置插入构造函数的调用代码。

从调用规则的角度看，构造函数的分发遵循一套固定的机制：

• 对象在栈上创建，编译器在分配栈帧空间后调用构造函数；
• 对象在堆上创建，new 表达式分为两步：operator new分配内存，然后调用构造函数；
• 对象作为某个类的成员被创建，其构造函数会在外层类构造函数体执行之前被调用；
• 对象以临时对象形式出现，构造函数在对表达式求值过程中被调用。

1.2 理解构造函数调用规则前必须先分清“定义”与“声明”

很多调用规则上的困惑，根源不是构造函数本身，而是对“这一行代码到底定义没定义对象”的判断出了问题。比如：

cpp复制Test func();

Test t;

第一行是声明一个返回Test的函数，不创建任何对象，自然不调用构造函数。第二行是定义一个Test对象，调用默认构造。有些人在写 Test t(); 时以为定义了一个对象，实际上这是个函数声明，这是C++里著名的“最令人困扰的解析”问题。

再看这个例子：

cpp复制Test t1;
Test t2(t1);
Test t3 = t1;

第一行调用默认构造函数，第二行调用拷贝构造函数，第三行语法上看起来像赋值，实际上定义的仍然是拷贝构造，因为在对象定义语境下，= 不是赋值运算符，而是复制初始化。

这里有一个非常重要的规则：区分拷贝初始化和赋值，不看有没有“=”，而看对象的定义是否已经完成。Test t3 = t1; 是在定义t3，所以走拷贝构造函数；t3 = t1; 是在t3已经存在之后的操作，才走拷贝赋值运算符。

1.3 为什么调用规则比想象的复杂：三种构造函数的共存

C++的构造函数体系中，至少有三种需要辨别的角色：默认构造函数、拷贝构造函数、移动构造函数。如果再加上带参构造函数，一个类可能同时存在多个构造函数，而它们的调用规则彼此纠缠，形成了一张需要仔细分辨的决策网。

打个比方，构造函数就像是一个公司的入职流程：默认构造是“白手起家”，什么资源都没有，一切从零初始化；带参构造是“带着需求入职”，根据参数做差异化初始化；拷贝构造是“复制另一位员工的全部资料”，克隆一个相同的对象；移动构造则是“把另一位员工手里的资源直接转交给你”，旧对象不再保有资源。

C++11之后移动语义彻底改变了拷贝构造的调用频率，很多过去走拷贝构造的场景，现在优先走移动构造。因此，分析调用规则时必须同时考虑移动构造的存在。如果不显式声明移动构造函数，编译器在特定条件下（没有用户声明的析构函数、拷贝构造、拷贝赋值）会自动生成一份默认版本，而它的行为是逐成员移动。

2. 构造函数调用的四个核心场景

2.1 栈对象构造函数调用：从创建到析构的完整生命周期

栈对象是最常见的对象形态，它遵循一个严格的规则：定义即构造，离开作用域即析构。当程序执行流到达一个对象定义语句时，编译器分配栈空间并调用构造函数；当执行流离开该对象所在的复合语句（即作用域）时，调用析构函数并回收栈空间。

这里最需要关注的是“构造函数与析构函数的对称性”——它们在调用点上的配对标尺是同一个作用域：

cpp复制void testScope() {
    Test a;          // 1号构造
    if (true) {
        Test b;      // 2号构造
    }                 // b在这一行析构
    Test c;          // 3号构造
}                    // c析构，然后a析构

析构顺序严格与构造顺序相反，原因是对象在栈上布局，后构造的对象占用更高地址，离开作用域时先执行高地址对象的析构，依次回退。这个规则在所有编译器上都是一致的，属于C++标准明确规定的内容。

2.2 堆对象的构造函数调用：new表达式背后的两幕戏

堆对象没有栈上那种天然的“作用域驱动生命周期”，对象的存亡完全由程序员控制，构造函数调用的时机也就取决于你是否使用了new表达式：

cpp复制Test* p1 = new Test();      // 分配内存 + 调用默认构造
Test* p2 = new Test(5);     // 分配内存 + 调用带参构造
Test* p3 = (Test*)malloc(sizeof(Test));  // 只分配内存，不调用构造

第三种写法看着别扭，因为malloc只分配内存，不触发构造函数，p3指向的这块内存并不包含一个合法的Test对象