HoldPattern

HoldPattern[expr]
对模式匹配等价于 expr,但是保持 expr 不计算的形式.

更多信息更多信息

  • HoldPattern 有属性 HoldAll.
  • 规则的左边通常被计算,如同是赋值左边的一部分. 您可以用 HoldPattern 停止计算的任何部分.

范例范例打开所有单元关闭所有单元

基本范例  (4)基本范例  (4)

建立一个模式,它的左边保持不计算的形式:

In[1]:=
Click for copyable input
Out[1]=

使用模式:

In[2]:=
Click for copyable input
Out[2]=

建立定义,而不计算 的参数:

In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=

Log[a, b] 自动计算 Log[b]/Log[a],因此这有一个匹配条件:

In[1]:=
Click for copyable input
Out[1]=

Cases[e, patt -> rhs] 求匹配 patt 的元素;用 HoldPattern 求出规则:

In[1]:=
Click for copyable input
Out[1]=
1996年引入
(3.0)