如何在不评估符号的情况下阻止符号？

问题描述

| 假设我有一个

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]