GCC 13/14出现意外Wdangling-reference警告，如何规避？

问题背景 #

下面这段C++代码逻辑本身没问题，但用GCC 13/14添加-Wall -Wextra编译选项时，会弹出Wdangling-reference警告：

#include <iostream>

std::string create_default_x() noexcept
{
    std::string default_x = "hello world";
    return default_x;
}

std::string const& get_x(std::string const& force_x = "") noexcept;

int main()
{
    std::string const& x = get_x();
    std::cout << x << std::endl;

    return 0;
}

std::string const& get_x(std::string const& force_x) noexcept
{
    static std::string x = (force_x.empty() ? create_default_x() : std::string());
    if(!force_x.empty())
        x = force_x;
    return x;
}

警告触发原因 #

这是GCC静态分析的误判：初始化静态变量x的三元表达式里，create_default_x()和std::string()都返回临时对象，编译器误以为这里是把临时对象绑定到引用，但实际上我们是把临时对象的值拷贝到静态变量x的内存空间中——静态变量的初始化是值拷贝行为，而非引用绑定，完全不存在悬垂引用。但编译器的数据流分析没理清这层拷贝逻辑，错误触发了警告。

另外需要注意：GCC没有单独关闭该警告的-Wno-dangling-reference选项，因为它是-Wextra下的子警告，无法单独禁用，只能通过调整代码让编译器消除误判。

规避方法 #

1. 拆分初始化与赋值逻辑 #

去掉三元表达式，用普通if-else处理初始化和赋值，让编译器的分析路径更清晰：

std::string const& get_x(std::string const& force_x) noexcept
{
    static std::string x;
    if (force_x.empty()) {
        x = create_default_x();
    } else {
        x = force_x;
    }
    return x;
}

2. 显式构造，明确值拷贝语义 #

在三元表达式外层套一层std::string构造，明确告诉编译器我们是在做值拷贝而非引用绑定：

std::string const& get_x(std::string const& force_x) noexcept
{
    static std::string x = std::string(force_x.empty() ? create_default_x() : std::string());
    if(!force_x.empty())
        x = force_x;
    return x;
}

也可以用std::move（临时对象本身会被NRVO优化，但能更直白地传递值语义）：

static std::string x = std::move(force_x.empty() ? create_default_x() : std::string());

3. 利用C++17的if constexpr绕开误判 #

如果代码支持C++17，用编译期分支让编译器重新分析代码路径，避免误触发警告：

std::string const& get_x(std::string const& force_x) noexcept
{
    static std::string x;
    if constexpr (true) {
        if (force_x.empty()) {
            x = create_default_x();
        } else {
            x = force_x;
        }
    }
    return x;
}

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