HoldForm

HoldForm[expr]

显示表达式 expr，其中 expr 保持未经计算的形式.

更多信息

  • HoldForm 允许在不计算表达式的正常运算下查看表达式的输出形式.
  • HoldForm 具有属性 HoldAll 且对它的自变量不执行任何运算.
  • HoldForm 可以用 ReleaseHold 清除. »
  • 默认情况下，HoldForm 由 Trace 产生並可被 ToExpression 和 Extract 等函数作为封装进行插入.
  • 即使 expr 本身没有被计算，如果 expr 的形式为 f[args] 并且 f 的上值已经被定义，HoldForm[expr] 仍然可以进行计算. »

范例

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

基本范例  (3)

不计算的加法形式：

不计算的赋值：

不计算的幂：

通过应用 ReleaseHold 计算表达式：

范围  (2)

以不计算的形式显示平方和：

查看提取出的部分内容未被计算过的形式：

应用  (1)

显示一个公式和它的计算：

属性和关系  (8)

HoldForm 的显示没有封装：

查看 FullForm 表达式：

Hold 给出一个封装的保持不计算的表达式：

使用 Evaluate 强制运算 HoldForm 的参数：

Sequence 拼接和 Splice 仍在 HoldForm 内部进行：

使用 HoldCompleteForm 甚至抑制这种转换：

上值（Upvalues）作用于 HoldForm 内部：

它们不作用于 HoldCompleteForm 内部：

ReleaseHold 移除 HoldForm 的一个层级：

HoldForm 给出的对象永远不会被运算：

复制输出结果并粘贴到输入单元中. 1+2 仍未运算：

Defer 给出了一个对象，在明确将其作为 Wolfram 语言输入之前，仅推迟对该对象的运算：

复制输出结果并粘贴到输入单元格中. 1+2 会被运算：

HoldForm 会以未运算的形式保留表达式，所有部分都处于未激活状态：

Inactivate 保持符号的非活动状态，并允许表达式的部分内容处于未激活状态：

HoldForm 可被用于在计算前冻结 ToExpression 的结果：

可能存在的问题  (1)

HoldPattern[expr] 在模式匹配方面等同于 expr，但会以未运算的形式保留 expr：

HoldForm[expr] 并不等同于用于模式匹配的 expr：

只匹配字面 HoldForm 表达式：

Wolfram Research (1988)，HoldForm，Wolfram 语言函数，https://reference.wolfram.com/language/ref/HoldForm.html.

文本

Wolfram Research (1988)，HoldForm，Wolfram 语言函数，https://reference.wolfram.com/language/ref/HoldForm.html.

CMS

Wolfram 语言. 1988. "HoldForm." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/HoldForm.html.

APA

Wolfram 语言. (1988). HoldForm. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/HoldForm.html 年

BibTeX

@misc{reference.wolfram_2025_holdform, author="Wolfram Research", title="{HoldForm}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/HoldForm.html}", note=[Accessed: 10-April-2025 ]}

BibLaTeX

@online{reference.wolfram_2025_holdform, organization={Wolfram Research}, title={HoldForm}, year={1988}, url={https://reference.wolfram.com/language/ref/HoldForm.html}, note=[Accessed: 10-April-2025 ]}