将有限范围的元素与模式匹配

Question

在处理我对这个question 的回答时，我想到很难匹配有限范围的元素。使用内置模式，您可以匹配 1 个元素 (_)、1 个或多个元素 (__) 或零个或多个元素 (___)。为了匹配多个元素，我使用了PatternSequence，就像这样

a:PatternSequence[_,_,_]

或者，更一般的

a:PatternSequence@@Array[_&,3].

（使用 Condition 也可以。）我们可以匹配 n 到 m 个元素的范围

a:Alternatives@@( PatternSequence @@@ Array[_&, {n,m}] ),

但这是一种相当复杂的方式来完成可以由以下人员完成的事情

a__ /; n <= Length[{a}] <= m.

然而，这带来了一个有趣的问题，使用Condition 形式可以直接匹配范围 0 到 n，

a___ /; Length[{a}] <= n,

但这是否可以单独使用模式来完成，即不使用Condition (/;)？更具体地说，如何在不添加条件的情况下匹配 0 个元素？还有，哪个更快？

Answer 1

也许你可以用Repeated 做点什么。例如

Cases[{{1, 2, 3}, {1}, {1, 2, 3, 4, 5}, {1,2}}, {Repeated[_, {2, 4}]}]

给出与

相同的结果

Cases[{{1, 2, 3}, {1}, {1, 2, 3, 4, 5}, {1,2}}, {a___ /; 2 <= Length[{a}] <= 4}]

第一种方法似乎比第二种方法快。例如

tab = Table[Range[RandomInteger[1000]], {1000}];
Timing[t1 = Cases[tab, {a___ /; 0 <= Length[{a}] <= 100}];]
Timing[t2 = Cases[tab, {Repeated[_, {0, 100}]}];]
SameQ[t1, t2]

返回我的系统

{0.027801, Null}

{0.000733, Null}

True