17

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

Foo FuncBar()
{
    return Foo();
}

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

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

问题的第二部分。这是优化吗？因此，如果您经常循环执行此操作，则最好这样做

Foo &myFoo = FuncBar();

或者

Foo myFoo = FuncBar();

并考虑到变量的使用，使用 ref 是否需要较慢的取消引用？

4

2 回答 2

23 
Foo &myFoo = FuncBar();

不会编译。它应该是：

const Foo &myFoo = FuncBar();

因为FuncBar()返回一个临时对象（即右值）并且只有左值可以绑定到对非常量的引用。

安全吗？

是的，它是安全的。

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

Foo myFoo = FuncBar();

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

const Foo &myFoo = FuncBar();

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

于 2012-10-05T07:05:39.597 回答
2

您不是在“分配”参考，而是绑定到参考。

这仅在类型为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();
}

如果您还没有这样做，那么现在就这样做是个好主意。

于 2012-10-05T07:05:38.940 回答