如何为WaitOnAddress/WakeByAddressSingle使用联锁变量并消除C28112警告

C28112是Visual Studio静态代码分析工具的警告，触发规则是：被Interlocked系列联锁函数操作过的变量，静态分析器会默认要求所有访问都必须通过联锁函数完成。你直接对变量取地址传入WaitOnAddress/WakeByAddressSingle时，分析器无法识别这两个系统API内部的线程安全逻辑，判定你是在进行非联锁的不安全访问，因此触发警告，属于典型的误报。

以下是几种不同场景下的合理解决方案： #

方案1：局部抑制警告（最推荐） #

完全不修改原有业务逻辑，仅针对明确的误报行临时关闭警告，不会影响其他代码的静态分析效果，代码可读性最高。
代码示例：

// 针对WaitOnAddress行临时抑制C28112
#pragma warning(push)
#pragma warning(disable: 28112)
nWaitResult = WaitOnAddress(&g_sShared, &g_sCompare, sizeof(short), INFINITE);
#pragma warning(pop)

// 针对WakeByAddressSingle行临时抑制C28112
#pragma warning(push)
#pragma warning(disable: 28112)
WakeByAddressSingle(&g_sShared);
#pragma warning(pop)

• 优点：无性能损耗、代码逻辑无改动、可读性最高
• 缺点：需要加少量预处理指令

方案2：封装无副作用的联锁取址工具函数 #

如果不想加预处理指令，可以把为了满足分析规则加的无副作用Interlocked操作封装成工具函数，调用时代码干净无冗余。
首先定义通用工具函数：

template<typename T>
T* InterlockedGetAddress(T* pVar)
{
    // 用无副作用的InterlockedOr操作满足静态分析规则，运行期会被编译器优化掉，无额外开销
    static_assert(sizeof(T) <= sizeof(LONG64), "变量尺寸超出支持范围");
    return reinterpret_cast<T*>(InterlockedOr64(reinterpret_cast<LONG64 volatile*>(pVar), 0));
}

调用时直接使用工具函数即可：

nWaitResult = WaitOnAddress(InterlockedGetAddress(&g_sShared), &g_sCompare, sizeof(short), INFINITE);
// ...
WakeByAddressSingle(InterlockedGetAddress(&g_sShared));

• 优点：代码整洁、符合静态分析规则、无业务逻辑侵入
• 缺点：多了一层封装，运行期无性能损耗

方案3：联锁变量结构体封装 #

把联锁变量和配套的操作封装成结构体，静态分析器不会跨结构体检查访问规则，也能消除警告，同时可以把Wait/Wake逻辑也封装进去，复用性更高。
封装示例：

struct InterlockedShort
{
    volatile short value = 0;

    void Wait(short compare) const
    {
        WaitOnAddress(const_cast<short*>(&value), &compare, sizeof(short), INFINITE);
    }

    void Wake() const
    {
        WakeByAddressSingle(const_cast<short*>(&value));
    }

    short Or(short mask) const
    {
        return InterlockedOr16(const_cast<short*>(&value), mask);
    }

    short Exchange(short newValue) const
    {
        return InterlockedExchange16(const_cast<short*>(&value), newValue);
    }
};

// 定义全局变量
InterlockedShort g_sShared;
short g_sCompare = 0i16;

调用时代码会更简洁：

// Thread0中
while (true)
{
    g_sShared.Wait(g_sCompare);
    if (g_sShared.Or(0i16) == 1i16)
    {
        // Do Something
        g_sShared.Exchange(0i16);
    }
}

// Thread1中
while (true)
{
    g_sShared.Exchange(1i16);
    g_sShared.Wake();
}

• 优点：封装性好、代码可读性高、复用性强
• 缺点：需要额外编写封装结构体，适合联锁变量使用场景多的项目

你之前使用指针存储变量地址的方案本质也是利用静态分析器的检查盲区绕过警告，运行逻辑没问题，但可读性和可维护性不如上面三种方案。另外不推荐全局禁用C28112警告，该警告在大部分场景下确实能拦截非安全的联锁变量访问，仅针对误报行局部抑制即可。

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