返回语句复制值

Question

由于范围问题,我对此感到疑惑.例如,考虑代码

typedef struct {
    int x1;/*top*/
    int x2;/*bottom*/
    int id;
} subline_t;



subline_t subline(int x1, int x2, int id) {
    subline_t t = { x1, x2, id };
    return t;
}

int main(){
    subline_t line = subline(0,0,0); //is line garbage or isn't it? the reference
    //to subline_t t goes out of scope, so the only way this wouldn't be garbage
    //is if return copies
}

所以我的问题是,返回语句是否总是复制？在这种情况下,它似乎工作,所以我被引导相信返回确实复制.如果它复制了,它会在每种情况下复制吗？

Answer 1

是的,在这种情况下会有一份副本.如果你改变这样的函数声明:

subline_t &subline(int x1, int x2, int id) {

然后不会复制.但是,在您的特定情况下,返回对堆栈上分配的对象的引用是无效的.问题是在调用者有机会使用它之前,对象将被破坏并失效.

这与C++ 的常见返回值优化有关,可以避免在您描述的情况下执行实际的复制操作.最终结果是(或应该)与复制完成时相同,但您应该了解优化.在某些情况下,这种优化的存在可以改变程序的可观察行为.

Answer 2

在你的情况下，它将返回一份副本

如果你的代码是

subline_t& subline(int, int)

那么它会返回一个引用，这会产生未定义的行为。