关于MSVC是否支持检测unsequenced modifications的警告选项咨询

Hey there! Let's figure out how to get MSVC to flag those sneaky unsequenced modifications that caused your old C++ codebase to break after upgrading to the latest version.

First, I totally get the frustration—silent bugs from undefined behavior are the worst, especially when they pop up out of nowhere after a compiler update. Let's break down the options MSVC has to catch this kind of code:

1. 启用最高警告级别 /W4 #

MSVC默认的警告级别是/W3，为了兼容老代码、减少干扰，这个级别不会检测未排序的变量修改。但如果你把警告级别拉满到/W4（最严格的内置警告级别），MSVC就会在C++代码中对MyFun(++x, x++)这类代码发出警告。

对于你的C++代码库来说，这是最容易实现的第一步——只要把/W4加到编译命令里就行。如果你想确保这类警告不会被忽略，还可以搭配/WX选项，把所有警告都当作错误处理（不过这可能需要你先修复代码里已有的其他警告）。

2. 启用带核心准则检查的代码分析 #

你提到运行了MSVC的代码分析但没检测到问题——这是因为默认的代码分析规则不包含针对未排序修改的核心准则检查。要启用这个检测：

• 首先，在编译命令里加上/analyze开关开启代码分析功能。
• 然后启用C26483规则，这条规则属于C++核心准则，专门检查“在单个表达式中多次修改同一个对象”的问题，正好对应你遇到的未排序修改场景。

你可以通过项目设置（在「代码分析」→「规则」里找）或者命令行指定核心准则规则集来启用它：

/analyze:ruleset "CppCoreCheckRules.ruleset"

（规则集的具体路径取决于你的Visual Studio版本和安装目录，但大多数情况下直接用规则集名称MSVC就能找到）

关于C代码的小说明 #

在你测试的C代码里，即使开了/W4MSVC也没发出警告——这是因为MSVC的C编译器对序列点检查的默认标准更宽松。不过你的问题是针对C++代码库的，所以上面的/W4+核心准则代码分析就足够覆盖了。

为什么默认没启用这些检查 #

MSVC默认用更宽松的设置，主要是为了兼容那些可能意外依赖了未定义行为（比如老代码里的未排序修改逻辑）的旧项目。但既然你升级后遇到了这类隐蔽bug，开启这些严格检查就是揪出问题的关键。

内容来源于stack exchange