MSVC /W4编译等级下未使用局部常量无警告原因咨询

使用MSVC 19.29.30133.0版本编译C++代码时，开启/W4最高警告等级，未使用的普通局部变量会触发告警，但同场景下的const局部常量无告警：

• 普通局部变量代码示例：

int foo = 0;

未引用时编译会抛出警告：warning C4189: 'foo': local variable is initialized but not referenced

• const局部常量代码示例：

const int foo = 0; // 同等编译配置下无警告

最小复现代码：

int main() {
    int a = 0;
    const int b = 0;
    return 0;
}

编译输出：

Starting build...
cl.exe /Zi /EHsc /nologo /W4 /std:c++20 /Fe: F:\prog\INF1005C\tst\unused_constant.exe F:\prog\INF1005C\tst\unused_constant.cpp
unused_constant.cpp

F:\prog\INF1005C\tst\unused_constant.cpp(2): warning C4189: 'a': local variable is initialized but not referenced

Build finished with warning(s).

• 该现象既不属于编译器Bug，也不存在C标准的特殊规定。C标准仅约束语言的语法和合法语义，从未强制要求编译器对未使用的局部实体抛出警告，所有警告规则都是编译器厂商自定义的工程策略。
• MSVC在/W4等级下默认不对未使用的const局部常量告警，是有意设计的权衡：大量开发者会用const局部具名常量替代魔法数提升代码可读性，不少常量属于预留的业务配置、待开发功能占位符，默认告警会产生大量无效噪音，干扰正常问题排查。
• 如果项目需要严格排查所有冗余未使用变量，可以开启MSVC的/Wall警告等级，该等级下会对未使用的const局部常量抛出对应告警。如果明确某个常量无需检测，可以添加[[maybe_unused]]属性显式标注，避免误报。

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