考虑以下代码:
class cFoo {
private:
int m1;
char m2;
public:
int doSomething1();
int doSomething2();
int doSomething3();
}
class cBar {
private:
cFoo mFoo;
public:
cFoo getFoo(){ return mFoo; }
}
void some_function_in_the_callstack_hierarchy(cBar aBar) {
int test1 = aBar.getFoo().doSomething1();
int test2 = aBar.getFoo().doSomething2();
...
}
在调用getFoo()的行中,编译器将生成cFoo的临时对象,以便能够调用doSomething1().
编译器是否重用用于这些临时对象的堆栈内存?
“some_function_in_the_callstack_hierarchy”的调用将保留多少堆栈内存?是否为每个生成的临时存储内存?
我的猜测是编译器只为cFoo的一个对象保留内存,并将重用内存用于不同的调用,但如果我添加
int test3 = aBar.getFoo().doSomething3();
我可以看到“some_function_in_the_callstack_hierarchy”所需的堆栈大小更多,而且不仅仅是因为附加的本地int变量.
另一方面,如果我然后更换
cFoo getFoo(){ return mFoo; }
带引用(仅用于测试目的,因为返回对私有成员的引用不好)
const cFoo& getFoo(){ return mFoo; }
它需要的堆栈内存少于一个cFoo的大小.
所以对我来说,似乎编译器为函数中的每个生成的临时对象保留了额外的堆栈内存.但这样效率很低.
有人可以解释一下吗?