Question

这是一个两部分问题。可以将函数的返回值赋给引用吗？如

Foo FuncBar()
{
    return Foo();
}

// some where else
Foo &myFoo = FuncBar();

这可以吗？我的理解是FuncBar()返回一个Foo对象，现在myFoo是对它的引用。

问题的第二部分。这是优化吗？因此，如果你在一个循环中这么做，那么最好做

Foo &myFoo = FuncBar();

或

Foo myFoo = FuncBar();

并考虑到变量的使用，不会使用ref需要更慢的解引用？

Answer 1

Foo &myFoo = FuncBar();

不会编译。它应该是：

const Foo &myFoo = FuncBar();

因为FuncBar()返回一个临时对象（即rvalue），只有lvalues可以绑定到对非const的引用。

安全吗？

是的，这是安全的。

C ++标准规定将临时对象绑定到对const的引用会将临时对象的生命周期延长到引用本身的生命周期，从而避免了常见的悬空引用错误。

Foo myFoo = FuncBar();

复制初始化 它创建FuncBar()返回的对象的副本，然后使用该副本初始化myFoo。执行语句后，myFoo是一个单独的对象。

const Foo &myFoo = FuncBar();

将FuncBar()返回的临时值绑定到引用myFoo，请注意myFoo只是返回的临时对象的别名而不是单独的对象。

Answer 2

你没有＆＃34;分配＆＃34;参考，你绑定到参考。

仅当类型为const且上下文为临时自动终身扩展时才适用。

通常，当Foo不是const类型时，您的示例应该无法编译。不幸的是，由于该编译器实现了语言扩展，它们可以使用一个通用编译器进行编译。使用至少两个编译器尝试示例（以及普通代码！）是个好主意。

<小时/> 编辑：作为调查工作的一个例子，在发布问题之前，您应该编写以下（或非常相似）具有最高警告级别的至少两个编译器，定义和不定义CONST 。

struct Bar {};

#ifdef CONST
    typedef Bar const Foo;
#else
    typedef Bar Foo;
#endif

Foo FuncBar()
{
    return Foo();
}

int main()
{
    // som where else
    Foo &myFoo = FuncBar();
}

如果您还没有这样做，那么现在最好这样做。

将函数的返回值赋给参考c ++？

2 个答案: