此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

HoldPattern

HoldPattern[expr]
对模式匹配等价于 expr,保持 expr 不计算的形式。
  • 规则的左边通常被计算,如同是赋值左边的一部分。可以使用 HoldPattern 中止任何计算的部分。您可以用 HoldPattern 停止计算的任何部分。
建立一个模式,它的左边保持不计算的形式:
In[1]:=
Click for copyable input
Out[1]=
使用模式:
In[2]:=
Click for copyable input
Out[2]=
 
建立定义,而没有计算 f 的参数:
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]=
3 的新功能