VS2022中std::scoped_lock触发C26110警告是否为误报？

这是VS静态分析工具的误报（追踪能力不足） #

你的代码本身完全合法：C++17及以后的std::scoped_lock支持移动构造，所以通过函数返回锁对象是合规操作，guardedFunction里的lock变量确实持有了A::s_mutex，调用unguardedFunction时锁处于生效状态。

VS的C26110警告依赖静态代码分析逻辑，它对函数内直接构造的锁对象识别精准，但对于通过返回值传递的锁对象，无法追踪到lock变量与s_mutex的关联，因此错误触发了“未持有锁”的警告。

关于scoped_lock与lock_guard的疑问 #

std::scoped_lock确实是std::lock_guard的更安全替代：它支持同时锁定多个互斥量，且自动采用防死锁算法，而lock_guard仅能处理单个互斥量。网上建议换用lock_guard，只是因为静态分析工具对lock_guard的直接构造场景识别更完善，能规避误报，并非scoped_lock本身不安全。

规避误报的可选方案 #

• 若坚持使用scoped_lock，可添加分析工具抑制指令忽略误报，比如在unguardedFunction调用前加[[gsl::suppress("26110")]]（需包含<gsl/gsl>头），或在VS项目设置中针对性禁用该警告。
• 调整锁的创建方式，直接在guardedFunction内构造scoped_lock，示例：

void guardedFunction()
{
    std::scoped_lock lock(A::s_mutex);
    // 访问共享资源
    unguardedFunction();
}

这种写法能让静态分析工具正确识别锁的持有状态，不会触发警告。

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