Mathematica按引用传递关联列表元素触发非符号赋值错误怎么解决？

• 属性绑定错误：你定义的函数名为Add，但你将HoldFirst属性设置给了不存在的AddToAssocList，导致Add的第一个参数会被提前求值。当你传入y[[1]]时，参数会直接被解析为关联值而非可修改的内存位置，自然无法完成原地修改。
• 原实现逻辑缺陷：原代码中对assoc[key]的AppendTo操作依赖assoc[key]本身是可赋值的左值，当assoc为Part表达式时，assoc[key]会直接求值为列表值，无法作为AppendTo的操作对象。

修改函数实现，每次先读取当前关联的完整值修改后再写回原位置，可适配符号、Part表达式等所有可赋值左值：

SetAttributes[Add, HoldFirst];
Add[assoc_, key_, elt_] := Module[{current = assoc},
  (* 读取当前关联的完整值做修改 *)
  If[MissingQ[current[key]],
   current[key] = {elt},
   current[key] = Append[current[key], elt]
  ];
  (* 将修改后的关联写回原内存位置 *)
  assoc = current;
]

普通符号关联测试 #

y = <||>;
Add[y, 1, a];
(* y 输出 <|1->{a}|> *)
Add[y, 1, b];
(* y 输出 <|1->{a,b}|> *)

列表内关联测试 #

y = {<||>};
Add[y[[1]], 1, a];
(* y 输出 {<|1->{a}|>} *)
Add[y[[1]], 1, b];
(* y 输出 {<|1->{a,b}|>} *)

内容的提问来源于stack exchange，提问作者Lucas Mumbo