批处理变量嵌套如何理解？

wankoilz

代码如下：

@echo off&setlocal enabledelayedexpansion
set a=123
set b=xyz123
echo %b:x=!a!%
echo %b:!a!=abc%
pause
复制代码

①我觉得奇怪的是 %b:x=!a!% 怎么可以成功扩展。平时的变量嵌套都是 !%a%! 的形式，也就是!在%里面，因为%%扩展比!!要早，但为什么这个地方!!在里面也能成功替换呢？
②还有就是 echo %b:!a!=abc% ，这里吧!!变量放在=前面就不能成功替换了，这又是为何？
论坛上搜了下没搜到，哪位达人能好心解释下，不胜感激！

CrLf

问题一，%b:x=!a!% 是在解释语块时进行拓展，变成!a!yz123，执行语句时又揭示了!a!，变成123yz123。
问题二，因为此时的情况与问题一不同，!a!还没被解释就被当成普通字符串替换掉了，来不及将!a!解释为变量，可以用如下代码来理解：

@echo off
set c=123!a!45
setlocal enabledelayedexpansion
echo %c:!a!=abc%
pause
复制代码

plp626

也不知二楼的解释你理解了否；
我再啰嗦两句，这是我从新人哪里过来的总结：
变量的%%扩展总是先于!!扩展，开启变量延迟也是如此；

setlocal enabledelayedexpansion
set a=123
set b=xyz123
echo %b:x=!a!%
::这句是把b变量值中的x字符替换为!a!；%%扩展后就是!a!yz123，你现在想下echo !a!yz123输出什么？
echo %b:!a!=abc%
::这句同理：因为b变量值中没有!a!，abc替换不了b值的任何东西，%%扩展后就是原样的b变量值；
::你现在想下echo xyz123 输出什么？
复制代码

applba

%的解释发生在执行前，这个阶段所有的!都是当作普通号处理。
echo %b:x=!a!%由于x存在所以替换成功发生，被处理成了echo !a!yz123。
运行时再解释!， echo abcyz123

echo %b:!a!=abc%，很显然了，%解释时，!a!这三个字符还只是普通字符，xyz123中找不到这三个字符，替换是不能成功的。等价于%b%的，处理后，就是echo xyz123

wankoilz

恍然大悟，在%%扩展的时候!a!不过只是个普通字符串哪...当时一下子没反应过来
感谢楼上三位兄弟的热心讲解啊！

kevinak

额，学习了。