• 1.05(在 <LF>截断线)
• 如果字符是 <LF>，则
  • 从 <LF>开始删除(忽略)行的其余部分
  • 后藤2.0阶段
• 否则字符必须是 %，因此继续到1.1
• 1.1(转义 %) < em > 跳过 if 命令行模式
• 如果批处理模式，后面跟着另一个 %然后
  用单个 %代替 %%并继续扫描
• 1.2(扩展参数) < em > 跳过 if 命令行模式
• 否则，如果批处理模式然后
  • 如果后跟 *和命令扩展名，则启用
    用所有命令行参数的文本替换 %*(如果没有参数，则不替换任何参数) ，然后继续扫描。
  • 如果后面跟着 <digit>，那么
    将 %<digit>替换为参数值(如果未定义，则不替换任何值)并继续扫描。
  • 否则，如果后跟 ~，则启用命令扩展名
    • 如果后面跟着可选的有效参数修饰符列表，后面跟着必需的 <digit>，那么
      用修改过的参数值替换 %~[modifiers]<digit>(如果没有定义或指定 $PATH: 修饰符未定义，则不替换任何内容) ，然后继续扫描。
      注意: 修饰符不区分大小写，可以以任何顺序出现多次，除了 $PATH: 修饰符只能出现一次，并且必须是 <digit>之前的最后一个修饰符
    • 否则无效的修改参数语法将引发 致命错误: 如果处于批处理模式，所有解析命令都将中止，批处理将中止!
• 1.3(扩展变量)
• 否则，如果禁用命令扩展名，则
  查看下一个字符串，在 %之前或缓冲区结束之前中断，并将其称为 VAR (可能是一个空列表)
  • 如果下一个字符是 %，那么
    • 如果定义了 VAR，那么
      用 VAR 值替换 %VAR%并继续扫描
    • 否则，如果批处理模式然后
      删除 %VAR%并继续扫描
    • 其他的升到1.4
  • 其他的升到1.4
• 否则，如果启用了命令扩展名
  查看下一个字符串，在 % :之前或缓冲区结束之前中断，并将其称为 VAR (可能是一个空列表)。如果 VAR 在 :之前中断，而后续字符是 %，那么将 :作为 VAR 中的最后一个字符并在 %之前中断。
  • 如果下一个字符是 %，那么
    • 如果定义了 VAR，那么
      用 VAR 值替换 %VAR%并继续扫描
    • 否则，如果批处理模式然后
      删除 %VAR%并继续扫描
    • 其他的升到1.4
  • 否则，如果下一个字符是 :那么
    • 如果 VAR 未定义，则
      • 如果批处理模式然后
        删除 %VAR:并继续扫描。
      • 其他的升到1.4
    • 否则，如果下一个字符是 ~那么
      • 如果下一个字符串与 [integer][,[integer]]%的模式匹配，则
        用值为 VAR 的子字符串替换 %VAR:~[integer][,[integer]]%(可能导致字符串为空)并继续扫描。
      • 其他的升到1.4
    • 否则，如果后面跟着 =或 *=那么
      无效的变量搜索和替换语法引发 < em > < strong > 致命错误: 所有已解析的命令都将中止，如果处于批处理模式，则批处理将中止！
    • 否则，如果下一个字符串匹配 [*]search=[replace]%的模式，其中搜索可能包括除 =之外的任何字符集，替换可能包括除 %之外的任何字符集，那么
      在执行搜索和替换(可能导致空字符串)之后，用 VAR 值替换 %VAR:[*]search=[replace]%并继续扫描
    • 其他的升到1.4
• 1.4(带%)
  • 那么如果批处理模式
    删除 %并继续扫描，从 %之后的下一个字符开始
  • 否则保留前导 %并继续扫描，从保留前导 %后的下一个字符开始

以上解释了为什么这一批

@echo off
setlocal enableDelayedExpansion
set "1var=varA"
set "~f1var=varB"
call :test "arg1"
exit /b
::
:test "arg1"
echo %%1var%% = %1var%
echo ^^^!1var^^^! = !1var!
echo --------
echo %%~f1var%% = %~f1var%
echo ^^^!~f1var^^^! = !~f1var!
exit /b

给出以下结果:

%1var% = "arg1"var
!1var! = varA
--------
%~f1var% = P:\arg1var
!~f1var! = varB

注1 -第1阶段发生在识别 REM 语句之前。这一点非常重要，因为它意味着如果注释的参数展开语法无效或变量搜索和替换语法无效，那么即使是注释也可能产生致命错误！

@echo off
rem %~x This generates a fatal argument expansion error
echo this line is never reached

注意2 -% 解析规则的另一个有趣的结果: 可以定义名称中包含: 的变量，但是除非禁用命令扩展，否则不能展开它们。有一个例外-在启用命令扩展时，在末尾包含单个冒号的变量名可以展开。但是，不能对以冒号结尾的变量名执行子字符串或搜索和替换操作。下面的批处理文件(由 jeb 提供)演示了这种行为

@echo off
setlocal
set var=content
set var:=Special
set var::=double colon
set var:~0,2=tricky
set var::~0,2=unfortunate
echo %var%
echo %var:%
echo %var::%
echo %var:~0,2%
echo %var::~0,2%
echo Now with DisableExtensions
setlocal DisableExtensions
echo %var%
echo %var:%
echo %var::%
echo %var:~0,2%
echo %var::~0,2%

注3 -jeb 在他的文章中列出的解析规则顺序的一个有趣的结果: 当执行 find 并用延迟展开替换时，find 和 place 术语中的特殊字符必须转义或引用。但是百分比展开的情况不同——查找项不能转义(尽管它可以被引用)。根据您的意图，百分比替换字符串可能需要也可能不需要转义或引号。

@echo off
setlocal enableDelayedExpansion
set "var=this & that"
echo %var:&=and%
echo "%var:&=and%"
echo !var:^&=and!
echo "!var:&=and!"

延迟展开规则

下面是对 Jeb 的回答中第5阶段的更详细、更准确的解释(对于批处理模式和命令行模式都有效)

第五阶段)延迟扩展

如果应用以下任何条件，则跳过此阶段:

• 延迟扩展被禁用。
• 该命令位于管道两侧的括号内。
• 传入的命令标记是一个“裸”批处理脚本，这意味着它不与 CALL、括号内的块、任何形式的命令串联(&、 &&或 ||)或管道 |相关联。

延迟扩展过程是独立地应用于令牌的。一个命令可以有多个令牌:

• 令牌。对于大多数命令，命令名本身是一个标记。但是一些命令具有专门的区域，这些区域被认为是阶段5的 TOKEN。
  • for ... in(TOKEN) do
  • if defined TOKEN
  • if exists TOKEN
  • if errorlevel TOKEN
  • if cmdextversion TOKEN
  • if TOKEN comparison TOKEN，其中比较是 ==、 equ、 neq、 lss、 leq、 gtr或 geq之一
• 参数标记
• 重定向的目标标记(每个重定向一个)

不更改不包含 !的令牌。

对于每个包含至少一个 !的令牌，从左到右扫描每个字符以查找 ^或 !，如果找到，则

• 5.1(插入符号转义) !或 ^文字所需
• 如果字符是一个插入符号 ^那么
  • 移除 ^
  • 扫描下一个字符并将其保留为文字
  • 继续扫描
• 5.2(展开变量)
• 如果字符是 !，则
  • 如果禁用命令扩展名，则
    查看下一个字符串，在 !或 <LF>之前中断，并将其称为 VAR (可能是一个空列表)
    • 如果下一个字符是 !，那么
      • 如果定义了 VAR，则
        用 VAR 值替换 !VAR!并继续扫描
      • 否则，如果批处理模式然后
        删除 !VAR!并继续扫描
      • 其他选择5.2.1
    • 其他选择5.2.1
  • 否则，如果启用了命令扩展名
    查看下一个字符串，在 !、 :或 <LF>之前中断，并将其称为 VAR (可能是一个空列表)。如果 VAR 在 :之前中断，而后续字符是 !，那么将 :作为 VAR 中的最后一个字符并在 !之前中断
    • 如果下一个字符是 !，那么
      • 如果 VAR 存在，那么
        用 VAR 值替换 !VAR!并继续扫描
      • 否则，如果批处理模式然后
        删除 !VAR!并继续扫描
      • 其他选择5.2.1
    • 否则，如果下一个字符是 :那么
      • 如果 VAR 未定义，则
        • 如果批处理模式然后
          删除 !VAR:并继续扫描
        • 其他选择5.2.1
      • 否则，如果下一个字符是 ~那么
        • 如果下一个字符串匹配 [integer][,[integer]]!的模式，那么用值为 VAR 的子字符串替换 !VAR:~[integer][,[integer]]!(可能导致空字符串)并继续扫描。
        • 其他选择5.2.1
      • 否则，如果下一个字符串匹配 [*]search=[replace]!的模式，其中搜索可能包括除 =之外的任何字符集，替换可能包括除 !之外的任何字符集，那么
        在执行搜索和替换(可能导致一个空字符串)之后，用 VAR 值替换 !VAR:[*]search=[replace]!并继续扫描
      • 其他选择5.2.1
    • 其他选择5.2.1
  • 5.2.1
    • 如果批处理模式，则删除前导 !
      否则保留领先的 !
    • 从保留的前导 !之后的下一个字符开始，继续扫描

你已经有了一些很棒的答案，但是要回答你问题的一部分:

set a =b, echo %a %b% c% → bb c%

这里发生的情况是，因为在 = 之前有一个空格，所以创建了一个名为 %a<space>%的变量 所以当你的 echo %a %被正确的评估为 b。

其余部分的 b% c%然后计算为纯文本 + 一个未定义的变量 % c%，它应该回显为类型，对我来说，echo %a %b% c%返回 bb% c%

我怀疑在变量名中包含空格的能力更多的是一个疏忽，而不是一个计划好的“特性”

请注意，微软已经发布了其终端的源代码。在语法分析方面，它的工作方式类似于命令行。也许有人对根据终端的解析规则测试逆向工程的解析规则感兴趣。

链接 到源代码。

循环元变量展开

这是 接受的答案中 第四阶段的扩展说明(同时适用于批处理文件模式和命令行模式)。当然，for命令必须是活动的。下面描述了在 do子句之后命令行部分的处理。注意，在批处理文件模式下，由于前面提到的即时 %扩展阶段(第一阶段)) ，%%已经转换为 %。

• 扫描 %符号，从左边开始一直到行尾; 如果找到一个，那么:
  • 如果启用了 命令扩展(默认) ，检查下一个字符是否为 ~; 如果是，则:
    • 在不区分大小写的集合 fdpnxsatz中，在定义 for变量引用或 $符号的字符之前尽可能多地采用以下字符(每个字符甚至多次) ; 如果遇到这样的 $符号，则:
      • 扫描一个 :¹; 如果找到，那么:
        • 如果在 :后面有一个字符，使用它作为 for变量引用并按预期展开，除非它没有定义，否则不要展开并在该字符位置继续扫描;
        • 如果 :是最后一个字符，则为 cmd.exe会崩溃！
      • Else (没有找到 :)不要展开任何东西;
    • Else (如果没有遇到 $符号)使用所有修饰符展开 for变量，除非它没有定义，那么不要展开并继续扫描该字符位置;
  • Else (如果没有找到 ~或禁用命令扩展)检查下一个字符:
    • 如果没有更多的字符可用，不要扩展任何东西;
    • 如果下一个字符是 %，不要展开任何内容，回到这个字符位置 ²的扫描开始位置;
    • 否则使用下一个字符作为 for变量引用并展开，除非这样没有定义，否则不要展开;
• 在下一个字符位置返回到扫描的开始(只要还有字符可用) ;

_{1)在 $和 :之间的字符串被认为是一个环境变量的名字，甚至可能是空的，因为一个环境变量不能有一个空的名字，这种行为就像一个未定义的环境变量一样。
2)这意味着一个名为 %的 for元变量不能在没有 ~修饰符的情况下展开。}

_{来源: 如何安全地回显 FOR 变量%% ~ p 后跟字符串文字}