批处理中call SET语句工作原理及CALL必要性解析

要搞懂这个问题，得先明白批处理的变量扩展规则：

批处理的默认预解析机制 #

批处理在执行任何命令前，都会先对整行（或代码块）做一次预解析——把所有%变量名%格式的内容，替换成变量当前的实际值，之后才执行解析后的命令。

在你的循环里，strlen是每次都会递增的变量。如果直接写SET chosenchar=%string:~%strlen%,1%，预解析阶段就会把%strlen%替换成循环启动时的初始值（也就是0），哪怕后面循环里strlen已经变成1、2...，预解析后的命令也不会再更新，结果就是每次取的都是字符串第0位的字符，循环永远碰不到结尾的}，根本停不下来。

CALL的作用：触发二次扩展 #

用call SET chosenchar=%%string:~%strlen%,1%%时，会分两次完成变量解析：

1. 第一次预解析：
   • 两个连在一起的%%会被替换成单个%
   • %strlen%会被替换成当前循环中strlen的真实值（比如第一次循环是0，第二次是1）
     这一步结束后，命令会变成SET chosenchar=%string:~0,1%（以第一次循环为例）。
2. CALL执行二次解析：
   CALL会执行刚才生成的这条SET命令，此时又会做一次变量解析，把%string:~0,1%转换成string变量的第0位字符，正确赋值给chosenchar。

这样每次循环，都能根据最新的strlen值，取到字符串对应位置的字符，循环才能正常推进直到碰到}。

直接用SET的后果 #

如果去掉CALL直接写SET chosenchar=%string:~%strlen%,1%，批处理会错误识别变量的边界：它会把%string:~和第一个%之间的内容当成一个变量名（这显然是不存在的），把,1%当成另一部分，最终chosenchar会被赋值为空或者乱码，循环逻辑直接失效。

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