gcc 13.2的-Wdangling-reference警告在此场景下是否合理？

使用GCC 13.2编译器并开启-Wdangling-reference选项编译代码时，遇到了一个令人困惑的警告场景，代码如下：

#include <vector>
#include <string>

std::string& add_variable(std::vector<std::string>& vars, const std::string& var)
{
    vars.push_back( var );
    return vars.back();
}

int main()
{
    std::vector<std::string> vars;
    const std::string& var = add_variable(vars, "name");
}

编译器给出的警告信息：

<source>:13:41: warning: possibly dangling reference to a temporary [-Wdangling-reference]
   13 |     const std::string& var = add_variable(vars, "name");
      |                        ^~~
<source>:13:59: note: the temporary was destroyed at the end of the full expression 'add_variable(vars, std::__cxx11::basic_string<char>(((const char*)"name"), std::allocator<char>()))'
   13 |     const std::string& var = add_variable(vars, "name");
      | 

结论：这是GCC的误报 #

你的代码逻辑完全不存在悬空引用问题：

• 调用add_variable时，字符串字面量"name"会隐式构造为临时std::string，该临时对象的生命周期会延长至整个完整表达式结束（即add_variable调用完成后）。
• 在add_variable内部，vars.push_back(var)会将临时字符串的内容复制到vector的内部存储中，vector会独立管理这份新内存。
• 函数返回的vars.back()是指向vector内部存储的字符串的引用，其生命周期与main函数中的vars绑定（vars在栈上，直到main函数结束才销毁）。
• main中const std::string& var最终绑定的是vector内部的字符串引用，和那个临时对象没有任何关联。

GCC的警告错误地将返回的引用和传入的临时对象关联起来了，实际上两者指向完全不同的对象——返回引用指向的是vector复制后的持久化对象，而非临时字符串。

内容的提问来源于stack exchange，提问作者MatG