OneIdentity

OneIdentity

是一个属性，可用于赋给一个符号 f 来指定 f[x], f[f[x]] 等，对模式匹配的目的来说，它们都等价于 x.

更多信息

范例

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

基本范例  (1)

因为 Times 有 OneIdentity 属性，所以模式匹配：

任何有 OneIdentity 属性的函数都会匹配：

属性和关系  (2)

OneIdentity 允许对根本不涉及 Times 的表达式应用默认值：

对于 Flat 函数， 任何参数序列都会匹配 Blank:

当 f 含有 Flat 和 OneIdentity 属性，f[x_] 会尝试把 x_ 匹配为 a，而不是 f[a]：

可能存在的问题  (1)

为了让 f[a] 匹配 a，你必须使用包含 Optional 的模式：

同样，以下模式失败是因为 f 没有定义默认值：

定义默认值会解决这个问题：

Wolfram Research (1988)，OneIdentity，Wolfram 语言函数，https://reference.wolfram.com/language/ref/OneIdentity.html （更新于 2003 年）.

文本

Wolfram Research (1988)，OneIdentity，Wolfram 语言函数，https://reference.wolfram.com/language/ref/OneIdentity.html （更新于 2003 年）.

CMS

Wolfram 语言. 1988. "OneIdentity." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2003. https://reference.wolfram.com/language/ref/OneIdentity.html.

APA

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

BibTeX

@misc{reference.wolfram_2024_oneidentity, author="Wolfram Research", title="{OneIdentity}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/OneIdentity.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_oneidentity, organization={Wolfram Research}, title={OneIdentity}, year={2003}, url={https://reference.wolfram.com/language/ref/OneIdentity.html}, note=[Accessed: 22-November-2024 ]}