如何启用TRACE/ATLTRACE错误使用场景的编译器警告？

这问题我之前排查MFC程序的时候也碰到过，确实挺让人头疼的！先把你的场景再理清楚：

我的MFC程序里存在格式说明符与实际参数类型不匹配的问题，但用TRACE宏输出时，哪怕是在警告等级4的Debug配置下编译，甚至跑了代码分析，都没触发任何编译器警告。但把TRACE换成printf就立刻能收到编译器警告；换成CString::Format()的话，编译时没警告，但启用代码分析会生成类似的不匹配警告。

为啥会出现这种差异？ #

• TRACE宏的编译器检查支持不足：MFC的TRACE是个可变参数宏，Debug模式下它最终调用的是ATL内部的跟踪函数，早期版本的VS并没有给这些函数添加编译器可识别的格式检查属性（比如__format__）。编译器没法识别这是个需要校验格式字符串的函数，自然不会触发警告。
• printf是标准库函数：编译器对标准库的printf系列函数有内置的格式校验逻辑，只要开启了/W4警告等级，就会严格检查格式符和参数类型的匹配，所以一替换就出警告很正常。
• CString::Format()的检查仅在代码分析阶段：CString::Format()同样是可变参数函数，但普通编译阶段的警告检查没覆盖到它；而VS的代码分析模块针对MFC类做了额外规则适配，所以能在代码分析时捕捉到格式不匹配问题。

怎么解决这个问题？ #

• 临时替换TRACE为printf排查：在Debug调试阶段，把TRACE临时替换成printf，编译后就能收到编译器的格式不匹配警告，修复完问题再改回TRACE就行。
• 启用更严格的代码分析规则：在项目属性的「代码分析」里，把规则集切换为「Microsoft All Rules」，或者单独启用「格式字符串不匹配」相关的规则，这样即使是TRACE或CString::Format()的问题，也能被代码分析检测到。
• 升级Visual Studio版本：VS2019及以后的版本，微软给MFC的TRACE宏相关函数添加了格式检查属性，开启/W4警告等级后，就能直接触发格式不匹配的编译器警告，不用再折腾替换的方法。

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