将符号转换为字符串而不进行求值

Question

如何使 toStr[list] 接受符号列表并将它们作为字符串返回？我想要 a=1;toStr[{a}] 给出 {"a"}

更新 03/02：Leo 的食谱有效，为了制作一个采用序列而不是列表的版本，我做了 SetAttribute[toStr2,HoldAll];toStr2[a__]:=toStr[{a}]

Answer 1

您可以使用 HoldForm：

a = 1; b = 2;ToString@HoldForm[{a, b}]

这给出 {a, b}。要使其成为 toStr 函数，您需要设置属性，以便它不计算参数：

ClearAll[toStr]; SetAttributes[toStr, {HoldAll, Listable}];
toStr[x_] := ToString@HoldForm[x];
a = 1; b = 2; toStr[{a, b}]

或者，您可以使用 Unevaluated;在上面的代码中 toStr[x_] := ToString@Unevaluated[x] 也可以工作。