函数局部变量创建方式及参数传递时构造函数未调用的疑问

嘿，我来帮你拆解这两个问题，尤其是你纠结的func函数里对象的构造/析构逻辑——这其实是很多人刚接触面向对象语言（比如C++）时容易踩的坑！

1. 函数中局部变量的创建方式 #

函数里的局部变量是在函数被调用时，在栈内存上分配空间的，具体创建逻辑分两种情况：

• 对于int、double这类基本数据类型：直接分配内存，有初始化值就赋值，没有的话就是随机的垃圾值，不需要调用任何构造函数。
• 对于自定义类的对象：
  • 如果是直接声明（比如MyClass obj;），会调用类的默认构造函数来初始化这个栈上的对象；
  • 如果是通过函数参数值传递进来的局部副本（比如你的func里的a），这时候调用的是拷贝构造函数（或者移动构造，取决于传递的是左值还是右值），用传入的实参来复制出一个栈上的局部对象。

2. 为什么func里的局部对象没调用普通构造，却会析构？ #

你猜的没错——这里确实创建了局部对象，但它不是用普通构造函数创建的，而是用拷贝构造函数！

如果你的类没有显式写出拷贝构造函数，编译器会自动给你生成一个默认的拷贝构造函数。这个默认版本只会简单复制对象的成员变量，不会输出任何日志，所以你看不到构造的痕迹，但它确实已经悄悄完成了对象的复制。

等函数执行结束，栈上的局部对象a会被自动销毁，这时候就会触发析构函数，所以你能看到析构的输出。

给你写个小例子验证一下，把拷贝构造的日志加上就一目了然了：

#include <iostream>
using namespace std;

class MyClass {
public:
    // 默认构造
    MyClass() { cout << "✅ 默认构造函数被调用" << endl; }
    // 显式定义拷贝构造，加上日志
    MyClass(const MyClass& other) { cout << "✅ 拷贝构造函数被调用" << endl; }
    // 析构函数
    ~MyClass() { cout << "❌ 析构函数被调用" << endl; }
};

void func(MyClass a) {
    // 函数体啥也不用干，看构造析构就行
}

int main() {
    MyClass a1;
    cout << "\n准备调用func函数..." << endl;
    func(a1);
    cout << "\nfunc函数调用完成" << endl;
    return 0;
}

运行这段代码的输出会是：

✅ 默认构造函数被调用

准备调用func函数...
✅ 拷贝构造函数被调用
❌ 析构函数被调用

func函数调用完成
❌ 析构函数被调用

看，拷贝构造的过程就显形了！另外如果想避免创建这个局部副本，你可以把函数参数改成引用传递：void func(MyClass& a)，这样a只是a1的别名，不会调用拷贝构造，函数结束后也不会析构它。

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