DownValues
DownValues[f]
给出对应于为符号 f 定义的所有 downvalue（f[…] 的值）的转换规则列表.
DownValues["symbol"]
给出一个转换规则的列表，该列表对应于为名为 "symbol" 的符号定义的所有下行值（如果该符号存在）.
更多信息和选项
- 您可以使用形式为 DownValues[f]=list 的赋值来指定 f 的 downvalue.
- DownValues 返回的列表具有 HoldPattern[lhs]:>rhs 形式的元素.
范例
打开所有单元 关闭所有单元基本范例 (1)
范围 (3)
DownValues 返回对应于符号定义的规则：
f[x_] := x ^ 2DownValues[f]f[x_] := x
g[x_] := x ^ 2
fg[x_] := f[g[x]]获得名称以 f 开头的函数的下行值 (down values)：
DownValues /@ Names["f*"]DownValues 可以直接设置值：
DownValues[g] = {HoldPattern[g[1]] :> 1, HoldPattern[g[x_]] :> 2g[x - 1]};Definition[g]g[5]应用 (2)
f[x_ /; x > -2] := g1[x]
f[x_ /; x < 2] := g2[x]DownValues[f]f[0]DownValues[f] = Reverse[DownValues[f]]f[0]f[1] = 1;
f[x_] := 2f[x - 1]DownValues[g] = DownValues[f] /. f -> gg[10]% == f[10]属性和关系 (5)
f[1] = 1;
f[n_] := n * f[n - 1]DownValues[f]HoldPattern 用来保护它们本身定义的规则：
f[x_] := x ^ 2DownValues[f]若无 HoldPattern，则左侧会进行计算：
f[x_] :> x ^ 2如果指定的符号不存在，则 DownValues["sym"] 会发出一则消息：
DownValues["f"]
f;
DownValues["f"]Definition 和 Information 显示 downvalue，但不将它们作为结果返回：
f[x_] := x ^ 3Definition[f]%//FullFormDownValues 返回一个可用于程序中的值：
DownValues[f]f[x_] := x ^ 3Hold[f[2]] /. DownValues[f]文本
Wolfram Research (1991)，DownValues，Wolfram 语言函数，https://reference.wolfram.com/language/ref/DownValues.html （更新于 2022 年）.
CMS
Wolfram 语言. 1991. "DownValues." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2022. https://reference.wolfram.com/language/ref/DownValues.html.
APA
Wolfram 语言. (1991). DownValues. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/DownValues.html 年