CMD中if语句假分支代码解析错误致崩溃，恳请解析原因及确认是否为Bug

问题概述 #

这是cmd.exe的已知解析Bug：当IF语句的假分支代码块中包含带变量扩展的FOR命令时，即便该分支不会被执行，cmd仍会提前预解析整个代码块的变量扩展操作，导致脚本因语法错误崩溃。

测试代码 #

崩溃版本（输入Y/y时失败） #

@Echo Off

Set "var="
Set "input="

:YorN
Set /P "input=Leave var empty? [Y(crash)|N]"
(Set input) 2>NUL | %SystemRoot%\System32\findstr.exe /I /L /X "input=Y input=N" 1>NUL
If ErrorLevel 1 GoTo YorN
 
If /I "%input%" == "n" Set "var=content1;content2;"

If Not "%var%" == "" (
    For /F "Tokens=1,2 Delims=;" %%G In ("%var:~0,-1%") Do If Not "%%G" == "" Echo "%%G" "%%H"
) Else (
    Echo As per your choosing, var is empty. Because of the if  statement the "for" command didn't get interpreted and CMD didn't crash. You will not see this message.
)

Pause
Exit /B

修复版本（仅调整换行即可正常运行） #

@Echo Off

Set "var="
Set "input="

:YorN
Set /P "input=Leave var empty? [Y(crash)|N]"
(Set input) 2>NUL | %SystemRoot%\System32\findstr.exe /I /L /X "input=Y input=N" 1>NUL
If ErrorLevel 1 GoTo YorN
 
If /I "%input%" == "n" Set "var=content1;content2;"

If Not "%var%" == "" (
    For /F "Tokens=1,2 Delims=;" %%G In ("%var:~0,-1%"
    ) Do If Not "%%G" == "" Echo "%%G" "%%H"
) Else (
    Echo As per your choosing, var is empty. Because of the if  statement the "for" command didn't get interpreted and CMD didn't crash. You will see this message.
)

Pause
Exit /B

成因分析 #

cmd.exe处理复合语句（如IF后的()代码块）时，会预解析整个代码块的所有变量扩展，而非仅在执行到对应分支时才处理。当输入Y时，var为空值，%var:~0,-1%会被预扩展为空字符串，导致FOR命令的In()部分变成("")。在崩溃版本中，FOR的右括号与In()在同一行，cmd的预解析器会误将In()的闭合)识别为IF代码块的结束括号，破坏了整个IF语句的结构，直接引发语法错误。

而修复版本将In()的右括号单独换行后，cmd的预解析器能正确识别FOR命令的完整结构，不会误判代码块的闭合边界，因此不会触发错误。

规避方案 #

• 方案1：调整FOR命令的换行格式：将In()的右括号单独换行，如修复版本所示，让预解析器正确识别命令边界
• 方案2：启用延迟变量扩展：在脚本开头添加SetLocal EnableDelayedExpansion，将%var%替换为!var!，这样变量扩展会延迟到代码执行时才进行，避免预解析阶段的空值扩展问题
• 方案3：提取逻辑为独立标签：将FOR命令的逻辑放到单独的标签中，通过GOTO调用，避免在IF代码块中直接编写复杂的FOR语句

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