CrLf

6# Hello123World


for /f中的默认分隔符"delims=[tab][半角空格]"（原以为全角空格也是默认分隔符，多谢楼下两位指正），默认tokens=1代表以delims中的设置为分隔符取字符串的第一节。
当tokens=*时代表取从第一节开始之后的所有内容，也就是说，它把字符串开头的分隔符舍弃了，也就起到了去除多余空格的目的。

echo;%a%的想法不错，不过在echo中貌似是不可行的，倒是在win7的set /p中可以，因为win7的set /p会自动舍弃字符串最开始的空格。

CrLf

多谢纠错，已修正