安全地将 const & 返回到 const & 传递的对象？

Question

使用 clang-3.5 将以下代码编译为 C++11 标准时：

const String& XMLAttributes::getValueAsString(const String& attrName, const String& def) const
{
    return (exists(attrName)) ? getValue(attrName) : def;
}

我收到以下警告：

warning: 
  returning reference to local temporary object [-Wreturn-stack-address]
    return (exists(attrName)) ? getValue(attrName) : def;
                                                     ^~~
note: 
  binding reference variable 'def' here
  ...String& attrName, const String& def) const
                                 ^
1 warning generated.

g++-4.9 没有给出类似的警告。

我认为 clang 过于热心并且在这种情况下它应该可以正常工作，因为我知道当使用这个函数时，输入有足够长的生命周期。 （我很确定我已经看到了大量似乎以这种方式工作的代码......）

不过，clang 说它是“本地临时对象”这一事实让我有点害怕。真的没有应该有一个本地临时对象，如果clang这么认为并且在这个函数运行时正在删除东西，我想知道为什么。

标准是否保证此函数返回的引用（在选择“def”的情况下）与传入的引用具有相同的生命周期，或者是否允许将它们视为两个不同生命周期的不同引用？

Answer 1

不，这不安全。

在这种情况下，三元条件运算符计算为其操作数的副本。因此发出警告。

您可以通过注入一个漂亮的小std::ref 来解决它。

[C++11: 5.16/6]:第二个和第三个操作数的类型相同；结果就是那种类型。如果操作数具有类类型，则结果是结果类型的临时纯右值，根据第一个操作数的值从第二个操作数或第三个操作数复制初始化。

Answer 2

def 不是这里的临时对象。如果getValue 实际返回const String& 则条件运算符也不会生成临时对象。

但是这种功能设计很危险，因为没有针对此类错误的保护：

const String &bar = getValueAsString( "bla", "" );   // oops

当getValueAsString 返回时，从"" 创建的临时字符串消失，所以bar 现在是一个悬空引用（当然，如果触发了默认值）。

仅当临时对象直接绑定到引用时才会发生生命周期延长。从该引用初始化其他引用不会重新延长临时的生命周期。

可能 clang 实际上检测到您的代码确实包含此错误，即您在调用此函数时将临时绑定到 def。