如何构造 Set 列表

Question

我有一大组参数 P，它们采用几组不同的值 V_i，并希望使用 ActionMenu[] 来轻松分配 P=V_i，如下所示：

ActionMenu["Label", {"name_1" :> (P = V_1;),..}]

现在的问题是 V_i 的集合很大而且不是静态的，所以不用编码一个长列表 {"opt_1" :>; (P = V_1;),..} 一遍又一遍地手动生成它。

我完全不知道该怎么做。一般方法类似于

Thread@RuleDelayed[listOfNames,listOfActions]

其中 listOfActions 应该类似于

Thread@Set[repeatedListOfP,listOfV_i]

但这不起作用。由于 Set[] 是一个非常特殊的函数，因此我的其他常用方法都不起作用（构建 Table[]、替换标题等）。如何构建 Set[] 操作列表？

Answer 1

您的问题可能还有更多我还没有弄清楚的内容，但这也许会让您走上正轨。

这

MapThread[Hold[#1 = #2]&, {{a, b, c}, {1, 2, 3}}]

会返回一个未计算的“Set”列表，如下所示：

{Hold[a = 1], Hold[b = 2], Hold[c = 3]}

如果您在上面调用 ReleaseHold，则分配实际上会发生。

有关保留和亲属的更多信息，请参见此处：
Mathematica：未评估、延迟、保留、HoldForm、HoldAllComplete、等等

Answer 2

当我想要拥有具有副作用的 RuleDelayed 应用程序时，我使用了以下替代解决方案。您可以使用不同的头来替换 Set，直到您的表达式出现在 RuleDelayed 表单的右侧（其中它将由 保存） RuleDelayed 的 HoldRest 属性），然后将 Set 替换回去。当我这样做时，我喜欢使用 Module 来创建对我来说是一个独特的象征。这样您就不必使用 Defer，这是一个比 Unevaluated 更令人不快的难以捉摸的构造。

下面是一个示例：

Module[{set},
 Attributes[set] = Attributes[Set];

 With[{rhs = MapThread[set, Unevaluated[{{x, y, z}, {1, 2, 3}}]]},
  "name1" :> rhs /. {set -> Set, List -> CompoundExpression}]]

set 符号被赋予与 Set 相同的属性以及 Unevaluated 存在的原因是为了确保即使有人已经为 x、y 或 z 分配了值，这仍然有效。

另一种可能性是将所有 Set 表达式包装为闭包，然后在计算 RuleDelayed 时使用 Scan 调用它们，如下所示：

With[{thunks = MapThread[Function[{a, b}, (a = b) &, HoldAll],
    Unevaluated[{{x, y, z}, {1, 2, 3}}]]},
 "name1" :> Scan[#[] &, thunks]]