问个关于函数参数的问题？

Arghawk

比如有个函数如下定义：
int fun(int a)
{
  。。。。。。。
}

想问一下形参a有分配空间吗？

bleem1998

有

zalem

可能在栈上，也可能在寄存器上，只要不是变态递归，有没有分配空间该没什么影响

dongpy

一般都在栈上，调用函数时，首先把实参拷贝一份到形参的空间，即PUSH a

Arghawk

《C＋＋程序设计语言》11.7节有这么个例子：
string g(string arg)
{
    return arg;
}

int main()
{
    string s = "Newton";
    s = g(s);
}

后面有段解释：“在调用g()之后s的值应该是Newton。取得s的值的一个副本给参数arg并不困难，调用string的复制（拷贝）构造函数就能完成这件事情。要取得这个值的另一个副本送出g()，则需要再次调用string(const string &，这次被初始化的变量是一个临时对象，而后将用它给s赋值。在这两次复制中常常有一个能够通过优化去掉，不可能两个都去掉。”

想问的是为什么返回值还需要调用复制（拷贝）构造函数，为什么不可以用开始传进去的那个副本？

zalem

不懂c++，不过应该涉及到深度复制的问题...

zhf3690

如果用引用就使用原来变量，不是拷贝。

whyglinux

>;>; 为什么返回值还需要调用复制（拷贝）构造函数

调用拷贝构造函数是为了完成将 arg 对象拷贝给作为函数返回值的临时对象。

>;>; 为什么不可以用开始传进去的那个副本？

因为这个副本（arg）在函数结束之后就被释放了，不能再被使用。