WOLFRAM

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

AllowedHeads

是一个选项，指定函数可以下临 (descend) 的子表达式的标头.

更多信息
Details and Options Details and Options
范例  
基本范例  
范围  
应用  
属性和关系  
参见
历史
按以下格式引用：

AllowedHeads

AllowedHeads

是一个选项，指定函数可以下临 (descend) 的子表达式的标头.

更多信息

范例

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

基本范例  (4)

只考虑标头为 List 的嵌套列表：

Wolfram Language code: ArrayDepth[f[f[1, 2, 3], f[4, 5, 6]], AllowedHeads -> List]

默认情况下，将任意标头的嵌套表达式视为数组：

Wolfram Language code: ArrayDepth[f[f[1, 2, 3], f[4, 5, 6]]]

只考虑标头为 List 的嵌套表达式：

Wolfram Language code: Dimensions[f[f[1, 2, 3], f[4, 5, 6]], AllowedHeads -> List]

默认情况下，将任意标头的矩形嵌套表达式视为数组：

Wolfram Language code: Dimensions[f[f[1, 2, 3], f[4, 5, 6]]]

最外层标头内的和：

Wolfram Language code: Total[f[f[1], g[2π]], ∞, AllowedHeads -> Inherited]

f 和 g 内的和：

Wolfram Language code: Total[f[f[1], g[2π]], ∞, AllowedHeads -> {f, g}]

范围  (3)

默认情况下，Total 只在列表表示和关联内求和：

Wolfram Language code: Total[f[1, g[2π]], ∞]

在几个指定标头内求和：

Wolfram Language code: Total[f[1, g[2π]], ∞, AllowedHeads -> {f, g}]

在任意标头内求和：

Wolfram Language code: Total[f[1, g[2π]], ∞, AllowedHeads -> All]
Wolfram Language code: Total[g[f[1], g[2π]], ∞, AllowedHeads -> Inherited]

允许数组中不同的层有任意标头：

Wolfram Language code: Dimensions[f[g[1, 2, 3], g[4, 5, 6]], AllowedHeads -> All]

数组在每一层都有一致的标头：

Wolfram Language code: Dimensions[f[g[1, 2, 3], h[4, 5, 6]], AllowedHeads -> All]

完全忽略标头，仅查看表达式的树结构；

Wolfram Language code: Dimensions[f[g[1, 2, 3], h[4, 5, 6]], AllowedHeads -> Full]

将标头 g 和 h 视作相同的标头：

Wolfram Language code: Dimensions[f[g[1, 2, 3], h[4, 5, 6]], AllowedHeads -> {f, g | h}]

没有这种更强的对等关系，该表达式将被视为一维的：

Wolfram Language code: Dimensions[f[g[1, 2, 3], h[4, 5, 6]], AllowedHeads -> {f, g, h}]

应用  (1)

创建只接受列表矩阵的 MatrixQ：

Wolfram Language code: matrixQ[m_] := Length[Dimensions[m, AllowedHeads -> List]] === 2

创建几个表达式进行测试：

Wolfram Language code: listMat = {{a, b}, {b, c}}; symmetrizedMat = SymmetrizedArray[listMat]; vector = {a, b}; scalar = Sin[x];

函数 matrixQ 只对 listMat 给出 True，它是矩阵且标头为 List：

Wolfram Language code: matrixQ /@ {listMat, symmetrizedMat, vector, scalar}

对于任何已知数组类型的矩阵，MatrixQ 都给出 True：

Wolfram Language code: MatrixQ /@ {listMat, symmetrizedMat, vector, scalar}

属性和关系  (2)

如果标头被排除，将不会就 AllowedHeads 的值对嵌套表达式进行测试：

Wolfram Language code: Total[f[{1, 2, 3}], ∞, AllowedHeads -> List]

如果同时允许 f 和 List 作为标头，则对内层列表进行测试并求和：

Wolfram Language code: Total[f[{1, 2, 3}], ∞, AllowedHeads -> {f, List}]

AllowedHeads->Automatic 的含义可能因函数而异：

Wolfram Language code: Dimensions[BesselJ[0, 1], AllowedHeads -> Automatic]
Wolfram Language code: Total[BesselJ[0, 1], AllowedHeads -> Automatic]
Wolfram Research (2019)，AllowedHeads，Wolfram 语言函数，https://reference.wolfram.com/language/ref/AllowedHeads.html （更新于 2020 年）.

文本

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2026_allowedheads, author="Wolfram Research", title="{AllowedHeads}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/AllowedHeads.html}", note=[Accessed: 10-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_allowedheads, organization={Wolfram Research}, title={AllowedHeads}, year={2020}, url={https://reference.wolfram.com/language/ref/AllowedHeads.html}, note=[Accessed: 10-August-2026]}