Visual Studio警告C6387已做hwnd非空判断仍触发原因咨询

告警含义 #

C6387是Visual Studio内置的静态代码分析工具输出的告警，触发逻辑为向标记了「不允许为空」的函数形参传入了可能为空的指针参数，运行时存在空指针访问导致崩溃的风险。

已做hwnd非空校验仍触发告警的原因 #

这种告警多为静态代码分析的局限性导致的误报：

• 静态分析器无法完全追踪复杂场景下变量的生命周期与取值变化，若hwnd是全局变量、类成员变量或存在多线程修改可能，分析器会判定在if (hwnd)校验和后续函数调用之间，hwnd有被修改为空的可能性
• 代码中对rMyRect相关的地址做了强制类型转换，部分版本的静态分析器无法准确识别转换后的指针有效性，也会触发该告警

处理方案 #

• 若你已经确认hwnd在当前代码块内不会被修改、且rMyRect为合法有效的结构变量，可直接在告警代码的上一行添加#pragma warning(suppress: 6387)，仅抑制当前行的C6387告警，不影响其他代码的正常分析
• 也可以通过静态分析注解明确告知分析器参数非空，参考代码如下：

if (hwnd) {
    _Assume_(hwnd != nullptr);
    GetClientRect(hwnd, (LPRECT)&rMyRect);
    ClientToScreen(hwnd, (LPPOINT)&rMyRect.left);
    ClientToScreen(hwnd, (LPPOINT)&rMyRect.right);
}

• 如果hwnd存在多线程访问场景，需要加锁保护hwnd的取值，在校验和调用的全过程中保证hwnd不会被其他线程修改为空，即可消除告警

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