小编Mat*_*ias的帖子

编译器如何确定具有编译器生成的临时函数的函数所需的堆栈大小?

考虑以下代码:

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();
    ...
}
Run Code Online (Sandbox Code Playgroud)

在调用getFoo()的行中,编译器将生成cFoo的临时对象,以便能够调用doSomething1().编译器是否重用用于这些临时对象的堆栈内存?"some_function_in_the_callstack_hierarchy"的调用将保留多少堆栈内存?是否为每个生成的临时存储内存?

我的猜测是编译器只为cFoo的一个对象保留内存,并将重用内存用于不同的调用,但如果我添加

    int test3 = aBar.getFoo().doSomething3();
Run Code Online (Sandbox Code Playgroud)

我可以看到"some_function_in_the_callstack_hierarchy"所需的堆栈大小更多,而且不仅仅是因为附加的本地int变量.

另一方面,如果我然后更换

cFoo getFoo(){ return mFoo; }
Run Code Online (Sandbox Code Playgroud)

带引用(仅用于测试目的,因为返回对私有成员的引用不好)

const cFoo& getFoo(){ return mFoo; }
Run Code Online (Sandbox Code Playgroud)

它需要的堆栈内存少于一个cFo​​o的大小.

所以对我来说,似乎编译器为函数中的每个生成的临时对象保留了额外的堆栈内存.但这样效率很低.有人可以解释一下吗?

c++ compiler-construction stack temporaries

4
推荐指数
1
解决办法
455
查看次数

标签 统计

c++ ×1

compiler-construction ×1

stack ×1

temporaries ×1