C++构造函数是否无返回值？*this=classname{args}运行原理

构造函数确实没有返回值，*this = classname{args}能正常运行，根本不是构造函数返回了对象，本质是混淆了「构造函数调用」和「临时对象创建」两个完全独立的流程。

以示例代码中的*this = hell(4,5)为例，编译器的实际执行顺序和构造函数有没有返回值毫无关系，完整流程如下：

• 第一步：分配临时对象内存
  编译器识别到hell(4,5)这个创建临时对象的表达式，首先会在栈上划出一块大小等于sizeof(hell)的内存，用来存储这个匿名的hell类实例——这一步发生在构造函数调用之前，完全不依赖构造函数的返回逻辑。
• 第二步：调用构造函数完成初始化
  内存就绪后，编译器自动调用hell类的构造函数：把刚才那块临时内存的地址作为隐式的this参数传入，同时传入实参4、5，执行初始化列表逻辑，把临时对象的成员a设为4、成员b设为5。

  构造函数的唯一作用就是给已经分配好的对象内存填充初始值，它不需要返回任何内容。构造函数执行完，这块内存对应的临时对象就已经是可用状态了，这个对象是编译器直接管理的，不是构造函数return出来的。

• 第三步：执行拷贝赋值操作
  临时对象构造完成后，才会执行=对应的赋值逻辑：示例代码没有自定义拷贝赋值运算符，编译器会自动生成默认版本，逻辑是把传入对象的所有非静态成员逐个拷贝到当前this指向的实例（也就是main函数里创建的h对象）上。这一步跑完，h的a、b就被覆盖成了4、5。
• 第四步：销毁临时对象
  整条语句执行结束，编译器会自动调用这个匿名临时对象的析构函数，回收它占用的栈空间，整个流程结束。

很多人会误以为这行代码是构造函数返回了对象，本质是把构造函数当成了普通的工厂函数，实际上两者的执行逻辑完全不同：

• 普通函数的流程是：执行函数内部逻辑 → 把返回值拷贝/移动到调用方预留的内存位置；
• 构造函数从来不会“返回”对象：不管是命名的局部变量，还是匿名临时对象，内存都是在构造函数调用前就分配好的，构造函数只负责初始化这块现成的内存，根本不存在“返回对象”的步骤。

可以通过一个简单的语法测试验证：如果给构造函数加上任何返回值类型，比如写void hell(int _a =7, int _b=8)，编译器会直接报语法错误，这就是构造函数没有返回值的直接证据。

示例代码的运行结果也完全符合上述逻辑：main中h默认构造后第一次print输出7、8，调用change完成赋值后第二次print输出4、5。

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