Visual Studio C++ C4101未使用变量警告对STL容器不生效问题

MSVC的C4101“未使用局部变量”警告的默认触发逻辑，只会作用于平凡可构造、平凡可析构的类型：只要类型的构造、析构函数存在实际执行逻辑（即非平凡），变量初始化的行为本身就被编译器认定为“已使用”——因为构造、析构调用存在可观测的副作用，编译器默认不能省略这些操作，也就不会判定变量未被使用。

• 基础类型（如int）没有构造、析构逻辑，定义后没有读写操作就会触发C4101
• 自定义类如果没有显式定义构造、析构函数，属于平凡类型，未使用时也会触发警告；只要显式声明了空的构造/析构函数，就不会再触发C4101
• std::vector等所有STL容器都有非平凡的构造、析构逻辑：构造时可能申请堆内存，析构时要释放持有的资源，本身就有可观测的副作用，所以编译器默认不会把未做其他操作的STL容器变量判定为未使用，自然不会触发C4101

你可以通过调整编译选项实现对非平凡类型未使用场景的检测：

• 强制提升C4101的触发等级：在项目属性的“C/C++ -> 命令行”中添加/w44101参数，让C4101在警告等级4下强制检测所有类型的未使用变量，包括STL容器。需要注意警告等级4会触发大量其他默认关闭的无关警告，你可以根据需求过滤不需要的警告项。
• 开启静态分析：打开项目的“C/C++ -> 代码分析 -> 启用代码分析”选项，静态分析规则会覆盖默认编译器警告的检测范围，能够识别包括STL容器在内的所有类型未使用的场景。VS2017、2019安装最新版本的MSVC工具集后，还可以开启C26810、C26811专门的未使用对象检测警告，检测精度更高。
• 如果是仅针对个别变量的校验，也可以封装一个简单的检测模板，在变量定义后调用模板函数检查是否被使用，不过适配所有STL类型的成本较高，更推荐使用上面两种编译选项的方案。

内容的提问来源于stack exchange，提问作者J'e