调用CStatusBarCtrl::SetIcon时触发Warning C6387警告的原因是什么

触发警告的代码如下：

m_hStatusBarZoomFactorIcon =
        CMeetingScheduleAssistantApp::HICONFromCBitmap(
m_mapMenuBitmap[MAKEWPARAM(MenuNavigation::View, SubMenuPos::Zoom)]);
    VERIFY(m_hStatusBarZoomFactorIcon);
    m_StatusBar.GetStatusBarCtrl().SetIcon(
        to_underlying(StatusBarPane::ProgressOrZoomFactor), m_hStatusBarZoomFactorIcon);

对应警告内容：

警告 C6387 m_hStatusBarZoomFactorIcon 可能为 0：该值不符合 CStatusBarCtrl::SetIcon 的函数参数规范。

警告触发原因 #

• 核心原因是Visual Studio的静态代码分析器无法识别VERIFY宏的校验逻辑，不会将VERIFY(m_hStatusBarZoomFactorIcon)判定为「后续代码执行时该变量一定非空」的有效依据。
• HICONFromCBitmap本身存在返回空值的可能性：当资源读取失败、位图转图标出错时，函数就会返回0值，静态分析会识别到这个风险点。
• VERIFY宏本身的特性也决定了它无法兜底空值场景：Debug模式下VERIFY校验失败会触发中断，但Release模式下仅会执行宏包裹的表达式，不会做任何错误拦截，如果HICONFromCBitmap返回空，代码依然会走到SetIcon调用逻辑，传入非法空参数。

解决方案 #

在VERIFY后新增显式的空值判断分支，提前处理空值场景，即可消除警告：

m_hStatusBarZoomFactorIcon = CMeetingScheduleAssistantApp::HICONFromCBitmap(
    m_mapMenuBitmap[MAKEWPARAM(MenuNavigation::View, SubMenuPos::Zoom)]);
VERIFY(m_hStatusBarZoomFactorIcon);
// 新增空值判断逻辑
if (!m_hStatusBarZoomFactorIcon)
{
    // 可根据业务需求选择直接返回，或者加载默认图标兜底
    return;
}
m_StatusBar.GetStatusBarCtrl().SetIcon(
    to_underlying(StatusBarPane::ProgressOrZoomFactor), m_hStatusBarZoomFactorIcon);

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