WOLFRAM

Wolfram 语言与系统参考资料中心

Orderless

是一个属性，可以赋予一个符号 f，指定 f[e1,e2,…] 形式的表达式中的元素 ei 应当自动按标准顺序排序. 这个性质在模式匹配中解释.

更多信息
Details and Options Details and Options
范例  
基本范例  
属性和关系  
可能存在的问题  
参见
技术笔记
相关指南
相关链接
历史
按以下格式引用：

Orderless

Orderless

是一个属性，可以赋予一个符号 f，指定 f[e1,e2,…] 形式的表达式中的元素 ei 应当自动按标准顺序排序. 这个性质在模式匹配中解释.

更多信息

  • 函数的 Orderless 属性相应于数学上的交换律.
  • 有 Orderless 属性的函数使用在 Sort 的注解中描述的标准次序.
  • 对表示一个矩阵或张量的对象，Orderless 属性表示指标的对称性.
  • 类似 Plus 和 Times 的函数是 Orderless.
  • 在有 Orderless 函数的模式匹配中，尝试自变量的所有可能排序.
  • Orderless 属性必须在对 Orderless 函数定义前赋值.

范例

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

基本范例  (3)

Plus 对其参数进行排序，因为它具有属性 Orderless：

任何无序函数会对其参数进行排序：

参数匹配器重新排序 Orderless 函数的参数以获取匹配：

注意，Plus 本身并没有重新排序哪些特殊的参数：

属性和关系  (2)

尝试所有可能自变量的次序来匹配一个无序函数的定义：

头部无序的表达式的元素按标准顺序排序：

这种排序是标准计算进程的一部分：

可能存在的问题  (1)

无序函数的模式匹配会导致多种可能的结果：

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

文本

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2025_orderless, organization={Wolfram Research}, title={Orderless}, year={1988}, url={https://reference.wolfram.com/language/ref/Orderless.html}, note=[Accessed: 28-October-2025]}