操作数函数在过程中的工作方式不同

Question

我们来定义一个过程

[> f:=proc(s)
     s:={1}: {op(s),2};
   end proc:

那么

[> f('s');
                            {2, {1}}

，但是

[> s:={1}: {op(s),2};
                             {1, 2}

为什么我们会得到不同的结果呢？
使用局部变量我们可以获得预期的结果：

[> f:=proc(s) local S;
     S:={1}: s:=S; {op(S),2};
   end proc:
   f('s');
                             {1, 2}

Answer 1

您对过程的调用被编写为对作为参数传递的不带引号的名称产生副作用。 （我个人认为这是一种邪恶的编程实践，不良后果并不意外。）

由于您已将名称括在 uneval 引号中，因此额外的 eval 允许您访问。例如，

f:=proc(s)
   s:={1}; {op(eval(s)),2};
end proc:

f('s');

          {1, 2}