WOLFRAM

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

"Value" （数据结构）

"Value"

表示一个可变的表达式的值.

更多信息

  • 可以在程序的任意部分修改可变的值：
  • CreateDataStructure["Value",x]创建新的初始值为 x 的 "Value"
    Typed[x,"Value"]指定 x 的类型为 "Value"
  • 对于类型为 "Value" 的数据结构，可进行以下操作：
  • ds["Copy"]返回 ds 的副本时间：O(1)
    ds["Get"]获取存储在 ds 中的值时间：O(1)
    ds["Set",x]将 ds 的值设为 x时间：O(1)
    ds["Visualization"]返回 ds 的可视化时间：O(1)
  • 还支持以下函数：
  • dsi===dsj如果 dsi 等于 dsj 则为 True
    FullForm[ds]ds 的完全形式
    Information[ds]关于 ds 的信息
    InputForm[ds]ds 的输入形式
    Normal[ds]将 ds 转换成普通表达式

范例

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

基本范例  (1)

可用 CreateDataStructure 创建新的 "Value"：

Wolfram Language code: ds = CreateDataStructure["Value", f[1]]

提取存储的值：

Wolfram Language code: ds["Get"]

插入要存储的新值：

Wolfram Language code: ds["Set", f[2]]

确认值已被更新：

Wolfram Language code: ds["Get"]

返回表达式形式的 ds：

Wolfram Language code: Normal[ds]

可视化数据结构：

Wolfram Language code: ds["Visualization"]

范围  (6)

可变性  (1)

"Value" 数据结构是可变的，因此其值可以被更改：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

改变值：

Wolfram Language code: ds["Set", g[y]]

查看该值：

Wolfram Language code: ds["Get"]

再次改变值：

Wolfram Language code: ds["Set", h[z]]

再次查看该值：

Wolfram Language code: ds["Get"]

信息  (1)

可用 CreateDataStructure 创建新的 "Value"：

Wolfram Language code: ds = CreateDataStructure["Value", f[1]]

关于数据结构 ds 的信息：

Wolfram Language code: Information[ds]

操作  (4)

"Copy"  (1)

创建一个带有初始值的新的 "Value"：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

获取该数据结构的副本：

Wolfram Language code: ds1 = ds["Copy"]

两个数据结构的内容相同：

Wolfram Language code: {Normal[ds], Normal[ds1]}

修改副本不会影响原始数据结构：

Wolfram Language code: ds1["Set", g[x]]; {Normal[ds], Normal[ds1]}

"Get"  (1)

创建一个带有初始值的新的 "Value"：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

获取存储的值：

Wolfram Language code: ds["Get"]

"Set"  (1)

创建一个带有初始值的新的 "Value"：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

将数据结构设置为一个新的表达式：

Wolfram Language code: ds["Set", g[x]]

获取存储的值：

Wolfram Language code: ds["Get"]

"Visualization"  (1)

创建一个带有初始值的新的 "Value"：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]

可视化其内容：

Wolfram Language code: ds["Visualization"]

应用  (1)

表达式的就地更新  (1)

定义一个函数，用于更新作为参数传递的 "Value"：

Wolfram Language code: accumulate[f_, val_] /; DataStructureQ[val, "Value"] := val["Set", f[val["Get"]]];

创建一个持有初始表达式的 "Value"：

Wolfram Language code: v = CreateDataStructure["Value", x]

通过重复的函数调用更新存储的表达式：

Wolfram Language code: accumulate[# ^ 2&, v]; accumulate[# + 1&, v];

获取最终的存储值：

Wolfram Language code: v["Get"]

属性和关系  (4)

InputForm  (1)

InputForm 返回 "Value" 的序列化内容：

Wolfram Language code: InputForm[CreateDataStructure["Value", f[x]]]

此序列化形式可用于重新创建数据结构：

Wolfram Language code: DataStructure["Value", {"Data" -> f[x]}]

Normal  (1)

Normal 可用于获取 "Value" 的内容：

Wolfram Language code: ds = CreateDataStructure["Value", f[x]]; Normal[ds]

同样的效果也可以通过 "Get" 操作实现：

Wolfram Language code: ds["Get"]

SameQ  (1)

SameQ 可用于测试两个 "Value" 数据结构是否包含相同的内容：

Wolfram Language code: ds1 = CreateDataStructure["Value", f[x]]; ds2 = CreateDataStructure["Value", f[x]]; ds1 === ds2

如果更改了一个元素，数据结构就不再相同：

Wolfram Language code: ds1["Set", g[x]]; ds1 === ds2

"Counter"  (1)

"Counter" 数据结构可以看作是 "Value" 数据结构专门用于整数的一个特化版本.

巧妙范例  (1)

使用显式缓存的记忆化计算  (1)

使用 "Value" 来实现一个可手动控制、可重置或复制的缓存：

Wolfram Language code: cache = CreateDataStructure["Value", <||>]

定义一个查询并更新缓存的函数：

Wolfram Language code: cachedEval[f_, x_] := With[{c = cache["Get"]}, If[KeyExistsQ[c, x], c[x] , cache["Set", Append[c, x -> f[x]]][x] ] ]

计算函数并填充缓存：

Wolfram Language code: cachedEval[# ^ 2&, 10]; cachedEval[# ^ 2&, 11];

查看缓存：

Wolfram Language code: cache["Get"]