Clang 16为何仅在(2)处触发[-Wdangling-gsl]警告，(1)处无提示？

代码示例 #

std::wstring g_tmp = L"123";
std::wstring_view foo1() {
    return g_tmp;
}

std::wstring foo() {
    std::wstring tmp = L"err";
    return tmp;
}

int main()
{
    auto v = foo1();
    if (v.empty()) {
        v = foo(); // (1) 此处无警告
    }
    
    std::wstring_view v2 = foo(); // (2) 仅此处有警告
}

现象说明 #

在Clang 16编译器下，仅标记为(2)的代码行会触发以下警告：

:23:28: warning: object backing the pointer will be destroyed at the end of the full-expression [-Wdangling-gsl] std::wstring_view v2 = foo();

而(1)处的赋值操作不会触发任何警告，但实际上这里同样存在悬垂引用问题——foo()返回的临时std::wstring会在赋值语句结束后销毁，导致v持有无效的视图。

问题解答 #

这是Clang 16静态分析模块的功能限制，并非编译器错误。

具体原因：

• 对于(2)的直接初始化场景，Clang的-Wdangling-gsl规则可以直接识别到临时对象的生命周期与视图的生命周期不匹配：临时对象在完整表达式结束时销毁，而视图会继续存在，因此触发警告。
• 对于(1)的赋值场景，当前版本的Clang静态分析还无法追踪到赋值操作后临时对象销毁导致视图悬垂的数据流。这类场景需要更复杂的路径敏感分析，Clang 16的-Wdangling-gsl尚未覆盖该逻辑。

编译阶段预警方案 #

如果希望在编译阶段提前检测这类问题，可以尝试：

• 升级至Clang的后续版本（新版本通常会优化静态分析逻辑，可能已覆盖赋值场景的悬垂检测）；
• 搭配使用clang-tidy工具，启用bugprone-dangling-reference或cppcoreguidelines-owning-memory等规则，这类工具的分析能力更全面，可能捕捉到编译器默认警告遗漏的悬垂引用问题。

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