自定义适配std::lock_guard的互斥类触发MSVC unlock警告是什么原因？

• 该警告由MSVC的静态代码分析锁检查模块触发，属于信息不足导致的误报，既不是语法错误，也不代表代码运行时存在锁逻辑问题。
• MSVC为标准库std::mutex的lock()、unlock()方法内置了SAL（源代码注解语言）标注：lock()携带_Acquires_lock_注解标记当前线程持有锁，unlock()携带_Releases_lock_注解标记当前线程释放锁，静态分析器基于这些注解追踪锁的持有状态。
• 你自定义的互斥包装类A的lock()、unlock()方法没有添加对应的SAL注解，静态分析器无法将A::lock()的持锁状态和后续A::unlock()调用的前置条件关联起来。当std::lock_guard析构调用A::unlock()时，分析器误以为你在未持有锁的状态下调用了底层std::mutex::unlock()，因此触发该警告。
• 若你的代码仅通过std::lock_guard、std::unique_lock等符合C++互斥体契约的工具调用A的锁方法，运行时不会出现未持锁调用unlock的问题。

给你的包装类方法添加对应的SAL注解即可：

class A
{
    std::mutex m;

public:
    _Acquires_lock_(m)
    void lock() {
        m.lock();
    }

    _Releases_lock_(m)
    void unlock() {
        m.unlock();
    }
};

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