wolfram-mathematica - 尝试删除临时符号时出现意外删除::rmnsm 错误

Question

你好，

考虑以下几点:

In[1]:= HoldComplete[With[{line=a},Null]]
Names["`*"]
Attributes/@Names["`*"]
Remove/@Names["`*"]
Out[1]= HoldComplete[With[{line=a},Null]]
Out[2]= {a,line,line$}
Out[3]= {{},{},{Temporary}}
During evaluation of In[1]:= Remove::rmnsm: There are no symbols matching
"line$". >>
Out[4]= {Null,Null,Null}

可以看到 Remove::rmnsm 消息出现，虽然临时 Symbol line$ 在那一刻仍然存在。为什么会这样？

附言我正在使用 Mathematica 7.01。在 v.5.2 中不会出现此消息。

Answer 1

我认为发生的事情是，当您删除符号 line 时，将不会再引用临时变量 line$，因此它会自动删除。

In[1]:= HoldComplete[With[{line=a},Null]]
        Names["`*"]
        Attributes/@Names["`*"]
Out[1]= HoldComplete[With[{line=a},Null]]
Out[2]= {a,line,line$}
Out[3]= {{},{},{Temporary}}

In[4]:= Remove["line"]

In[5]:= Names["`*"]
Out[5]= {a}

这是在 Mma v8 中测试的。那么也许引用计数(或本地化的实现)自 v5 以来发生了轻微变化？

请注意，如果您首先尝试删除临时符号，您会收到一条信息丰富的警告:

In[6]:= HoldComplete[With[{line=a},Null]]
        Names["`*"]
        Attributes/@Names["`*"]
        Remove/@Reverse@Names["`*"]
Out[6]= HoldComplete[With[{line=a},Null]]
Out[7]= {a,line,line$}
Out[8]= {{},{},{Temporary}}
During evaluation of In[6]:= Remove::relex: Cannot remove lexical symbol 
   line$ except automatically (when line is removed). >>
Out[9]= {Null,Null,Null}