如何解决如何在不评估符号的情况下阻止符号?
| 假设我有一个Symbol
s的名称列表:
f1 := Print[\"f1 is evaluated!\"];
list = {\"f1\",\"f2\"};
将这些Symbol
2的明显方法导致对它们进行评估:
In[19]:= With[{list=Symbol/@list},Block[list,f1//ToString]]
During evaluation of In[19]:= f1 is evaluated!
During evaluation of In[19]:= f1 is evaluated!
Out[19]= Null
但是如果没有评估,我们可以毫无问题地将它们“ѭ2”:
In[20]:= Block[{f1,f2},f1 // ToString]
Out[20]= \"f1\"
是否可以将此列表注入Block
范围而不评估Symbol
s?
解决方法
这是执行此操作的另一种方法:
SetAttributes[blockAlt,HoldRest];
blockAlt[s : {__String},body_] :=
Replace[Join @@ ToHeldExpression[s],Hold[x__] :> Block[{x},body]]
由于规则的破坏性,我们在这里保存纯函数(它们不尊重其他范围界定构造,包括它们自身)
编辑
另一个选择(甚至更短):
SetAttributes[blockAlt1,HoldRest];
blockAlt1[s : {__String},body_] :=
Block @@ Append[ToHeldExpression@ToString[s],Unevaluated[body]]
, 免责声明:虽然我的回答提供了所表达问题的解决方案,但我不建议您经常使用它。我提供它是因为它可能具有一定的学术意义。
时不时地,通常是在调试环境中,我渴望查看Lisp的MACROEXPAND-1
,并希望有一种Mathematica函数,该函数仅对其参数应用一个评估级别。我们将此神话函数称为function12ѭ。它将找到适用于表达式的转换规则,并仅应用该规则,如下所示:
In[19]:= fact[0] = 1; fact[x_] := x * fact[x - 1]
EvaluateOnce[fact[5]]
Out[19]= Hold[5 fact[5-1]]
In[20]:= f1 := Print[\"f1 is evaluated!\"];
EvaluateOnce[Symbol[\"f1\"]]
Out[20]= Hold[f1]
它也可以在多个表达式上工作:
In[21]:= EvaluateOnce[1 + 2 * 3,Sqrt @ Sin @ Pi]
Out[22]= Hold[1+6,Sqrt[0]]
当前的问题可以从这种能力中受益,然后解决方案可以表示为:
EvaluateOnce @@ Symbol /@ Hold @@ list /.
Hold[args__] :> Block[{args},f1 // ToString]
遗憾的是,编写此函数存在很多技术障碍-尤其是在Mathematica中,对于确切构成“单一评估”的内容存在一定的模糊性。但是,愚人赶到天使害怕踩踏的地方,因此,我提供了此技巧:
ClearAll@EvaluateOnce
SetAttributes[EvaluateOnce,HoldAllComplete]
EvaluateOnce[exprs:PatternSequence[_,__]] :=
Replace[Hold @@ Evaluate /@ EvaluateOnce /@ Hold[exprs],Hold[e_] :> e,1]
EvaluateOnce[expr_] :=
Module[{depth = 0,length = 1+Length@Unevaluated@expr,tag,enter,exit},SetAttributes[exit,HoldAllComplete]
; enter[in_]:= If[1 === depth && 0 === length,Throw[in,tag],++depth]
; exit[in_,out_] := (If[2 === depth,length--]; depth--)
; Hold @@ Catch[With[{r = TraceScan[enter,expr,_,exit]},Hold[r]],tag]
]
此功能不提供保修:)它使用ѭ17和一些启发式方法猜测“单个评估级别”何时完成,然后使用ѭ18和ѭ19提前终止评估序列。
对于“第一评估级别”在标准评估范围内的功能定义,启发式方法似乎令人满意。对于那些没有这样做的人来说,它也不幸地失败了。我也肯定会与某些评估属性的应用混淆。
尽管存在这些错误,但在尝试调试甚至只是了解具有许多标准模式匹配定义的函数时,我仍然觉得此函数很方便。
, 您可以尝试使用ToExpression
:
In[9]:= list = {\"f1\",\"f2\"};
In[19]:= f1 = 25;
In[20]:= ToExpression[
StringJoin[\"{\",Riffle[list,\",\"],\"}\"],InputForm,Function[vars,Block[vars,f1],HoldAll]]
Out[20]= 25
, 您可以考虑以下构造:
SetAttributes[block,HoldRest]
block[s : {__String},body_] :=
Function[,Block[{##},body],HoldAll] @@
Join @@ MakeExpression /@ s
第二次尝试使用Leonid的第二个功能的简短版本:
block =
Function[,Block @@ ToHeldExpression@ToString@#~Join~Hold@#2,HoldRest]
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。