Wolfram mathematica Mathematica：如何清除符号的缓存，即未设置模式自由值
我是一个糟糕的缓存器：有时，当没有人观看时，我会缓存结果，但不包括完整的上下文，如下所示：Wolfram mathematica Mathematica：如何清除符号的缓存，即未设置模式自由值,wolfram-mathematica,Wolfram Mathematica,我是一个糟糕的缓存器：有时，当没有人观看时，我会缓存结果，但不包括完整的上下文，如下所示： f[x_]:=f[x]=x+a; a=2; f[1]; DownValues[f] Out[2]= {HoldPattern[f[1]]:>3,HoldPattern[f[x_]]:>(f[x]=x+a)} 这导致了极其微妙的bug，更重要的是，当我更改上下文时需要清除缓存。清除缓存的一种方法是完全清除符号并重复定义，但这并不是真正的解决方案 我真正想要的是一种清除与符号关联的所有无模式下
f[x_]:=f[x]=x+a;
a=2; f[1];
DownValues[f]
Out[2]= {HoldPattern[f[1]]:>3,HoldPattern[f[x_]]:>(f[x]=x+a)}
清除为了清楚起见，我将包括我目前的解决方案作为一个答案，但如果在两个方面失败了
- 它只清除带有所有数值参数的DownValue
- 出于美观的原因，我希望避免使用
来获取下行值Block
关于如何改进
ClearCacheDownValues为
fIn[6]:= dv = DownValues[f]
Out[6]= {HoldPattern[f[1]] :> 3, HoldPattern[f[x_]] :> (f[x] = x + a)}
DownValues块中的内容In[7]:= dv2clear = Block[{f},
Hold@Evaluate@Cases[dv,
HoldPattern[f[args__ /; Apply[And, NumericQ /@ Flatten[{args}]]]], {3}]]
Out[7]= Hold[{f[1]}]
UnsetDownValuesIn[8]:= Map[Unset, dv2clear, {2}]
ReleaseHold@%
Out[8]= Hold[{(f[1]) =.}]
In[10]:= DownValues[f]
Out[10]= {HoldPattern[f[x_]] :> (f[x] = x + a)}
ClearCache[f_] := Module[{dv, dv2clear},
(* Cache downvalues for use inside block *)
dv = DownValues[f];
(* Find the downvalues to clear in Block to avoid immediate evaluation *)
dv2clear = Block[{f},Hold@Evaluate@Cases[dv,HoldPattern[
f[args__ /; Apply[And, NumericQ /@ Flatten[{args}]]]], {3}]];
(* Apply Unset to the terms inside the held list and then release *)
ReleaseHold@Map[Unset, dv2clear, {2}];]
我以前也做过类似的函数（但我不记得在哪里） 下面的代码是否满足了您的所有需要
ClearCache[f_] := DownValues[f] = DeleteCases[DownValues[f],
_?(FreeQ[First[#], Pattern] &)]
这可能应该扩展到
UpValuesSubValuesf头符号下行值列表ClearCacheIn[1]:=
ClearCache[f_] :=
DownValues[f] = DeleteCases[DownValues[f], _?(FreeQ[First[#], Pattern] &)];
In[2]:= Clear[f];
f[x_] := f[x] = x;
In[4]:= f /@ Range[1000000];
In[5]:= ClearCache[f]; // Timing
Out[5]= {7.765, Null}
In[6]:=
ClearAll[createDefs];
SetAttributes[createDefs, HoldRest];
createDefs[f_, defs_: Automatic] :=
(createDefs[f] := (Clear[f]; defs); createDefs[f]);
In[9]:= Clear[f];
createDefs[f, f[x_] := f[x] = x]
In[11]:= f /@ Range[1000000];
In[12]:= Length[DownValues[f]]
Out[12]= 1000001
In[13]:= createDefs[f]; // Timing
Out[13]= {1.079, Null}
In[14]:= DownValues[f]
Out[14]= {HoldPattern[f[x_]] :> (f[x] = x)}
createDefscreateDefs[f]也有可能您不想增加巨大的缓存，但这在简单的
f[x]：=f[x]=rhsSetAttributes[memo, HoldAll]
SetAttributes[memoStore, HoldFirst]
SetAttributes[memoVals, HoldFirst]
memoVals[_] = {};
memoStore[f_, x_] :=
With[{vals = memoVals[f]},
If[Length[vals] > 200,
f /: memoStore[f, First[vals]] =.;
memoVals[f] ^= Append[Rest[memoVals[f]], x],
memoVals[f] ^= Append[memoVals[f], x]];
f /: memoStore[f, x] = f[x]]
memo[f_Symbol][x_?NumericQ] := memoStore[f, x]
memoClearCache[f_Symbol] :=
(Scan[(f /: memoStore[f, #] =.) &, memoVals[f]];
f /: memoVals[f] =. )
此版本适用于采用单个数值参数的函数。调用
memo[f][x]f[x]ffmemoClearCache[f]ClearCache