regex - 在 FINDSTR 中使用子模式

Question

我必须检查存储在变量中的字符串的有效性，我不能使用外部 CLI 实用程序(grep、awk 等)所以我选择了 FINDSTR。该字符串具有以下格式(在正则表达式中):

([1-9][0-9]*:".*"(|".*")*)

我不知道如何检查子模式(|。“*”)。目前我的代码是:

((ECHO.) | (SET /P "=(11:"a"|"b"|"c")") | (FINDSTR /R /C:"^([1-9][0-9]*:".*")$"))

问候。

Answer 1

Mat M 关于 FINDSTR 的限制是正确的。 FINDSTR 正则表达式支持非常原始且非标准。输入 HELP FINDSTR或 FINDSTR /?从命令行获取支持内容的简要概要。有关深入说明，请参阅 What are the undocumented features and limitations of the Windows FINDSTR command?

我喜欢 Harry Johnston 的评论 - 使用 VBScript 或 JavaScript 创建解决方案非常容易。我认为那会是一个更好的选择。

但是，这是一个原生的批处理解决方案。我已经合并了关于 OP 在对 Mat M 的回答的评论中陈述的子模式数量的额外规则。

解决方案非常棘手。由于管道的工作方式，在将 ECHO 输出通过管道传输到 FINDSTR 时，特殊字符可能会导致问题。管道的每一侧都在其自己的 CMD session 中执行。特殊字符必须被引用、转义两次，或者仅通过延迟扩展暴露。我选择使用延迟扩展，但是 !字符必须转义两次以确保延迟扩展在正确的时间发生。

解析可变数量子模式的最简单方法是用换行符替换定界符并使用 FOR/F 迭代每个子模式。

我的代码的上半部分是一个脆弱的编码工具，可以方便地迭代和测试一组字符串。它不能与任何 <space> 一起正常工作; , = <tab> *或 ?在字符串中。此外，每个字符串中的引号必须平衡。

但更重要的验证例程可以处理 var 变量中的任何字符串。

@echo off
setlocal
set LF=^


::Above 2 blank lines are critical for creating a linefeed variable. Do not remove

set test=a

for %%S in (
  "(3:"a"|"c"|"c")"
  "(11:"a"|"b"|"c"|"d"|"esdf"|"f"|"g"|"h"|"i"|"j"|"k")"
  "(4:"a"|"b"|"c")"
  "(10:"a"|"b"|"c"|"d"|"esdf"|"f"|"g"|"h"|"i"|"j"|"k")"
  "(3:"a"|"b"|"c""
  "(3:"a"|"b^|c")"
  "(3:"a"|"b"|c)"
  "(3:"a"|"b"||"c")"
  "(3:"a"|"b"|;|"c")"
) do (
  set "var=%%~S"
  call :validate
)
exit /b

:validate
setlocal enableDelayedExpansion
cmd /v:on /c echo ^^^!var^^^!|findstr /r /c:"^([1-9][0-9]*:.*)$" >nul || (call :invalid  FINDSTR fail& exit /b)
if "!var:||=!" neq "!var!" (call :invalid double pipe fail& exit /b)
for /f "delims=(:" %%N in ("!var!") do set "expectedCount=%%N"
set "str=!var:*:=!"
set "str=!str:~0,-1!"
set foundCount=0
for %%A in ("!LF!") do for /f eol^=^%LF%%LF%^ delims^=  %%B in ("!str:|=%%~A!") do (
  if %%B neq "%%~B" (call :invalid sub-pattern fail& exit /b)
  set /a foundCount+=1
)
if %foundCount% neq %expectedCount% (call :invalid count fail& exit /b)
echo Valid: !var!
exit /b
:invalid
echo Invalid - %*: !var!
exit /b

这是运行批处理脚本后的结果

Valid: (3:"a"|"c"|"c")
Valid: (11:"a"|"b"|"c"|"d"|"esdf"|"f"|"g"|"h"|"i"|"j"|"k")
Invalid - count fail: (4:"a"|"b"|"c")
Invalid - count fail: (10:"a"|"b"|"c"|"d"|"esdf"|"f"|"g"|"h"|"i"|"j"|"k")
Invalid - FINDSTR fail: (3:"a"|"b"|"c"
Invalid - sub-pattern fail: (3:"a"|"b|c")
Invalid - sub-pattern fail: (3:"a"|"b"|c)
Invalid - double pipe fail: (3:"a"|"b"||"c")
Invalid - sub-pattern fail: (3:"a"|"b"|;|"c")

更新

:validate通过将延迟扩展的启用推迟到 CMD /V:ON 之后，可以稍微简化例程。管道。这意味着我不再需要担心双重转义 !在管道的左侧。

:validate
cmd /v:on /c echo !var!|findstr /r /c:"^([1-9][0-9]*:.*)$" >nul || (call :invalid  FINDSTR fail& exit /b)
setlocal enableDelayedExpansion
... remainder unchanged