C++类成员函数传参时构造函数调用机制疑问

先回顾你提供的代码：

类A定义 #

#pragma once
#include <iostream>
using namespace std;

class A
{
public:
    A() { cout << "1"; }
    A(const A& a) { cout << "2"; }
    ~A(){ cout << "3"; }

    A anyFunc(A& a1, A* a2, A a3) {
        cout << "4";
        return *a2;
    }
};

主函数 #

#include"A.h"

void main() {   
    A a;
    a.anyFunc(a, &a, a);
}

下面一步步拆解输出1242333的形成逻辑：

1. 初始化主对象
   执行A a;时，调用默认构造函数A()，输出1，此时主函数作用域的对象a创建完成。

2. 函数调用的参数传递
   调用a.anyFunc(a, &a, a)时，三个参数的处理逻辑不同：

   • A& a1：引用传递，只是原对象a的别名，不触发任何构造函数。
   • A* a2：指针传递，仅传递对象的内存地址，不触发构造函数。
   • A a3：值传递，必须将实参a拷贝一份作为函数的局部形参，因此调用拷贝构造函数A(const A&)，输出2。

3. 函数体执行
   进入anyFunc函数后，执行cout << "4";，输出4。

4. 函数返回阶段
   return *a2;返回的是A类型的值对象，需要将*a2（即原对象a）拷贝生成一个临时对象作为返回值，因此再次调用拷贝构造函数，输出2。

5. 析构函数的调用顺序
   对象的销毁顺序与创建顺序完全相反：

   • anyFunc执行完毕，首先销毁局部形参a3，调用析构函数，输出3。
   • 函数返回的临时对象在主函数调用点完成使命后立即销毁，调用析构函数，输出3。
   • 主函数执行完毕，销毁作用域内的对象a，调用析构函数，输出3。

关键知识点总结 #

• 值传递/值返回：当参数或返回值是类对象（而非引用/指针）时，会触发拷贝构造函数，创建新的对象副本。
• 引用/指针传递：仅传递对象的别名或地址，不会创建新对象，因此不触发构造函数。
• 析构顺序：局部对象（包括函数形参）先创建的后销毁，临时对象在其生命周期结束时立即销毁，主函数作用域对象最后销毁。

内容的提问来源于stack exchange，提问作者Zig302