在 Mathematica 中，如何找到包含规则和列表的模式？

Question

示例：

test = {"a" -> {{1}, 12}, "b" -> {13}}

我想查找列表中具有以下模式的所有表达式：

_ -> {_,_}

第一个元素，“a”-> {{1}, 12}，由此模式表示。

然而，这些表达方式都不起作用：

Cases[test,_->{_,_}], Cases[test,_->_], Cases[test,Rule[_,_]], etc.

任何建议将不胜感激。

Answer 1

您正在寻找的是HoldPattern：

In[1]:= test = {"a" -> {{1}, 12}, "b" -> {13}};

In[2]:= Cases[test, HoldPattern[_ -> {_, _}]] // InputForm
Out[2]= {"a" -> {{1}, 12}}

编辑：这也适用于命名模式变量。

In[3]:= Cases[test, HoldPattern[_ -> {x_, _}] :> x]
Out[3]= {{1}}