如何让MSVC/Visual Studio检测成员m_second未初始化即使用的错误？

问题场景 #

你希望MSVC/Visual Studio针对以下代码中m_second在初始化前被使用的情况抛出错误——该场景与初始化顺序错误C5038（注释行示例）不同：

class MyClass {
public:
    MyClass() : m_first(m_second) {}
    //MyClass() : m_second(123), m_first(m_second) {}
    int m_first;
    int m_second = 42;
};

int test() {
    MyClass obj;
    return obj.m_first;
}

这段代码中，m_second带有默认成员初始化器=42，但构造函数初始化列表里用m_second初始化m_first。由于类成员的初始化顺序由声明顺序决定（m_first先于m_second声明），初始化m_first时m_second还未完成初始化，属于未定义行为，但MSVC默认不会针对该场景触发C5038（C5038仅检测初始化列表中成员顺序与声明顺序不一致的情况）。

解决方案 #

方法1：启用SDL检查 #

在Visual Studio中开启/sdl编译选项，该选项会启用额外安全检查，包括检测成员变量在初始化前被引用的情况：

• 右键项目 → 属性 → 配置属性 → C/C++ → 常规 → 将“SDL检查”设置为“是(/sdl)”
• 配合“将警告视为错误”（/WX），可直接将此类问题转为编译错误。

方法2：启用并升级C4700警告 #

该场景本质是使用了未初始化变量，可通过启用C4700警告并将其视为错误来检测：

• 右键项目 → 属性 → 配置属性 → C/C++ → 警告 → 设置“警告等级”为“Level4(/W4)”，将“将警告视为错误”设为“是(/WX)”
• 若需单独控制，可添加/w44700（确保启用C4700）并配合/WX。

启用上述选项后，MSVC会针对代码中m_first(m_second)的写法抛出错误，提示你使用了未初始化的成员变量。

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