[原创] 批处理命令连接符号优先级证明

qzwqzw

@echo off
echo.
echo.    已经确认命令连接符号优先级从低到高如下：
echo.            ^&       	命令分隔符
echo.            ^|^|          逻辑或操作符
echo.            ^&^&          逻辑与操作符
echo.            ^|           管道操作符
echo.            ^< ^> ^>^>      I/O重定向操作符
echo.            ^(^)          命令分组
echo.
echo.证明过程如下：
pause
echo.
echo.  首先应当公认^(和^)作为命令分组符号有最高的优先级，可以改变任意命令组的优先级
echo.
echo.  另外需要注意的是，命令连接符号的优先级与语句的执行顺序不是直接对应的
echo.
echo.  命令行中的语句仍然是先执行左侧，再执行右侧
echo.
echo.  命令连接符只影响左侧与右侧语句的分组过程，而不会使右侧语句先执行
echo.
pause
cls
echo on
echo flag1 | echo flag2 > con
echo flag1 | (echo flag2 > con)
(echo flag1 | echo flag2) > con
@echo off
echo.
echo.前两句输出效果相同，说明第二句的分组符号可以省略，证明 ^> 优先级大于 ^|
pause
 
cls
echo on
echo flag1 && echo flag2 | echo flag3
echo flag1 && (echo flag2 | echo flag3)
(echo flag1 && echo flag2) | echo flag3
@echo off
echo.
echo.前两句输出效果相同，说明第二句的分组符号可以省略，证明 ^| 优先级大于 ^&^&
pause
 
cls
echo on
echo flag1 || echo flag2 && echo flag3
echo flag1 || (echo flag2 && echo flag3)
(echo flag1 || echo flag2) && echo flag3
@echo off
echo.
echo.前两句输出效果相同，说明第二句的分组符号可以省略，证明 ^&^& 优先级大于 ^|^|
pause
 
cls
echo on
echo flag1 || echo flag2 & echo flag3
(echo flag1 || echo flag2) & echo flag3
echo flag1 || (echo flag2 & echo flag3)
@echo off
echo.
echo.前两句输出效果相同，说明第二句的分组符号可以省略，证明 ^|^| 优先级大于 ^&
pause
 
cls
echo.综合测试示例：
echo.
echo on
echo flag1 & more flag2 || echo flag3 && echo flag4 | echo flag5 || echo flag6
echo flag1 & ((more flag2 || (echo flag3 && (echo flag4 | echo flag5))) || echo flag6)
(echo flag1 & (more flag2 || (echo flag3 && echo flag4) | echo flag5)) || echo flag6
@echo off
echo.
echo.前两句输出效果相同，说明符合优先级和分组优先级相同，第三句是个反例
pauseCOPY

wankoilz

有意思，先支持一下！

CrLf

(echo flag1 | echo flag2) > conCOPY

什么情况，这句在我电脑上似乎也出现了内存泄露？win7 系统，求验证及解答
另外，我觉得楼主对重定向符的优先级验证不严谨吧，应该这样证明：

set =|find /c "" 2>nul
(set =|find /c "") 2>nul
set = 2>nul|find /c ""COPY

plp626

回复 3# CrLf


    你的“内存泄露”显示的是？
我这里：

flag2♪◙COPY

比较惊讶的是后面两个特殊字符到底是什么？

CrLf

回复 4# plp626


    显示是这样的，多显示了两个没见过的字符。话说让我吃惊的是，执行到这里时居然惊动了 360：
   
    而我电脑上的 0x0~0xff 应显示为：
   

qzwqzw

实际上那两个字符就是你的ID的“原形”
用这种方法还能显示出0x08 0x09等字符

qzwqzw

版主再仔细推敲一下你的证明代码
我觉得逻辑上似也有问题

至于我的证明代码
一方面因为我是先通过其它方法确认了这个优先级
再去寻求从代码角度证明的
另一方面为了追求代码的优雅
设计上主要考虑了前后代码的连贯性
所以有些逻辑上的疏忽在所难免

当然重定向符号的细节还比较多
包括句柄复制符号也没有展开来

plp626

这个副产品有意思。。。cmd的黑框显示的字符还真多。。。下次准备更新 ascii.cmd

cmd/v
call ascmap.cmd $
(echo;|echo off)>con&echo !$:~0,70!COPY

CrLf

回复 6# qzwqzw


噢，果然如此，写成这样和 dir 的结果一比较就很明显了：

(echo;|dir)>conCOPY

但是不知为何会因为重定向而导致回车换行符显现真身呢？08、09 确实试出来了，但是不知其所以然

(echo;|set /p=	)>con
rem 长串空格为一个 tab 制表符COPY

qzwqzw

现在基本可以确定
| 和>这些符号会影响cmd的控制台IO模式
而这些模式会影响等控制台标准IO函数的行为
主要包括ReadFile/ReadConsole，WriteFile/WriteConsole
3，8，9楼的代码
主要是因为ENABLE_PROCESSED_OUTPUT模式被置假
导致WriteFile/WriteConsole不再特殊处理屏幕缓冲区中的控制区字符

可用的模式共

ENABLE_ECHO_INPUT                        0x0004
ENABLE_EXTENDED_FLAGS                0x0080
ENABLE_INSERT_MODE                        0x0020
ENABLE_LINE_INPUT                        0x0002
ENABLE_MOUSE_INPUT                        0x0010
ENABLE_PROCESSED_INPUT                0x0001
ENABLE_QUICK_EDIT_MODE                0x0040
ENABLE_WINDOW_INPUT                        0x0008
                        
ENABLE_PROCESSED_OUTPUT                0x0001
ENABLE_WRAP_AT_EOL_OUTPUT        0x0002COPY

参考链接
http://msdn.microsoft.com/en-us/library/ms686033(VS.85).aspx

amwfjhh

让我想起了批处理内幕：句柄 那篇帖子了，后面有一个句柄转换后把con重新指给1句柄的，那里面就出现了cls控制字符的显示，看来根源也在这里。

qzwqzw

回复 11# amwfjhh

    让我想起了批处理内幕：句柄 那篇帖子了，后面有一个句柄转换后把con重新指给1句柄的，那里面就出现了cls控制字符的显示，看来根源也在这里。

你说的应该是《重定向中的秘密（句柄备份）》的27楼的问题
http://www.bathome.net/redirect. ... 92&fromuid=3023

两个问题其实并非同源
那里的问题主要是因为con并非完全仿真的控制台
导致cls以及dir/p等命令识别出了这个特殊设备
所以在显示逻辑上做了例外处理
在真正的控制台上cls不会输出0x0c的字符

这里的问题主要是管道、重定向以及括号字符的联用
导致控制台的IO模式发生变化
最终忽略了缓冲区中控制字符的特殊处理

你可以注意到两个问题的命令行用法并不完全相同
echo.>con并不会输出0x0d 0x0a的图形字符
echo+0x0c(可以通过Ctrl-L输入)也不会执行清屏

amwfjhh

回复 12# qzwqzw


    (echo,|set a=&cls)>con

qzwqzw

回复 13# amwfjhh


    你想通过这段代码说明什么？

代码中>con会将标准输出重定向到con
而cls执行时会探测到标准输出不再是原来的控制台
因此直接输出字符了事

CrLf

话说句柄默认输出就是标准设备，那么可以这样：

(cls 1>&2)>nul
pause
 
(cls 1>&3)>nul
pauseCOPY

测试中从句柄 4 开始都不能放在 >& 之后，会报这个错误：

重定向句柄 N 时，
无法复制此句柄。COPY