c++ - 是否可以通过引用返回临时对象

是否可以像在此示例代码中那样从函数返回引用:

string &erase_whitespace(string &text)
{
    text.erase(**etc.**);
    return text;
}

称呼:

string text = erase_whitespace(string("this is a test"));
cout << test;

这段代码有效吗？在 Visual C++ 上，它不会崩溃，但看起来是错误的。

谢谢

最佳答案

来自 C++ 2003 标准(草案)的 § 12.2.3



第 12.2.4 节:



第 12.2.5 节:



§8.5.3.5 决定了引用何时必须是 const 类型。如果临时对象是具有返回适当引用的转换运算符的类的实例，则临时对象可能会绑定(bind)到非常量引用(这是一口)。举个例子可能更容易理解:

class Foo {
    ...
    operator Bar&() const;
...
void baz(Bar &b);
...
    baz(Foo()); // valid
    baz(Bar()); // not valid

最后一行是无效的，因为第 12.3.2.1 节指出“从不使用转换函数将 [an ...] 对象转换为 [...] 相同的对象类型(或对
it)”。您可以通过 Bar 的祖先和虚拟转换函数使用强制转换来使其工作。

赋值是一个表达式(第 5.17 节)，因此代码中的完整表达式(第 1.9.12 节)就是赋值。这给出了以下序列(暂时忘记临时字符串可能无法绑定(bind)到非常量引用):

创建一个临时字符串

临时绑定(bind)到 string& text

的 erase_whitespace 参数

erase_whitespace 完成它的工作。

erase_whitespace 返回对临时

的引用

临时复制到string text

临时销毁。

所以在这种情况下，一切都是犹太洁食。正如 Mike Seymour 所指出的，问题案例是将 erase_whitespace 的结果分配给一个引用。请注意，这可能不会立即导致问题，因为存储字符串的区域可能包含与临时销毁之前相同的数据。下次在堆栈或堆上分配一些东西时，但是......

关于c++ - 是否可以通过引用返回临时对象，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/1714874/