Wolfram mathematica Mathematica作业中不需要的评估：为什么会发生，以及如何在包加载期间调试？
我正在开发一个（大）包，它不能再正常加载了。 这是在我更改了一行代码之后发生的。 当我尝试加载包（带有需求）时，包开始加载，然后其中一个setdelayed定义“变得活跃”（即，以某种方式被评估），被困在前几行加载的错误捕获例程中，包加载中止。Wolfram mathematica Mathematica作业中不需要的评估：为什么会发生，以及如何在包加载期间调试？,wolfram-mathematica,workbench,Wolfram Mathematica,Workbench,我正在开发一个（大）包，它不能再正常加载了。 这是在我更改了一行代码之后发生的。 当我尝试加载包（带有需求）时，包开始加载，然后其中一个setdelayed定义“变得活跃”（即，以某种方式被评估），被困在前几行加载的错误捕获例程中，包加载中止。 带有abort的错误捕获例程正在执行它的工作，只是在包加载阶段不应该首先调用它。 错误消息显示错误的参数实际上是一个模式表达式，几行之后我在setdelayed定义的lhs上使用了它 大概是这样的： ……Some code lines Changed
带有abort的错误捕获例程正在执行它的工作，只是在包加载阶段不应该首先调用它。 错误消息显示错误的参数实际上是一个模式表达式，几行之后我在setdelayed定义的lhs上使用了它 大概是这样的：
……Some code lines
Changed line of code
g[x_?NotGoodQ]:=(Message[g::nogood, x];Abort[])
……..some other code lines
g/: cccQ[g[x0_]]:=True
Clear[g,notGoodQ];
notGoodQ[x_]:=EvenQ[x];
g[x_?notGoodQ]:=(Message[g::nogood,x];Abort[])
g/:cccQ[HoldPattern[g[x0_]]]:=True;
g::nogood: Argument x0_ is not good
HoldpatternnotGoodQ[x_] := EvenQ[x];
Clear[g];
g /: cccQ[g[x0_]] := True
g[x_?notGoodQ] := (Message[g::nogood, x]; Abort[])
HoldpatternHoldpatternIn[1505]:=
notGoodQ[x_]:=True;
Clear[g];
g[x_?notGoodQ]:=(Message[g::nogood,x];Abort[])
In[1509]:= g/:cccQ[g[x0_]]:=True
During evaluation of In[1509]:= g::nogood: -- Message text not found -- (x0_)
Out[1509]= $Aborted
In[1513]:=
ClearAll[h,f];
h[___]:=Print["Evaluated"];
In[1515]:= h/:f[h[1,2]]:=3
During evaluation of In[1515]:= Evaluated
During evaluation of In[1515]:= TagSetDelayed::tagnf: Tag h not found in f[Null]. >>
Out[1515]= $Failed
notGoodQTrueTagSetDelayedg[x0\ux0]h/:f[h[elem1，…，elemn]]：=…TagSetDelayedSetDelayedfh[elem1，…，elem2]fIn[1505]:=
notGoodQ[x_]:=True;
Clear[g];
g[x_?notGoodQ]:=(Message[g::nogood,x];Abort[])
In[1509]:= g/:cccQ[g[x0_]]:=True
During evaluation of In[1509]:= g::nogood: -- Message text not found -- (x0_)
Out[1509]= $Aborted
In[1513]:=
ClearAll[h,f];
h[___]:=Print["Evaluated"];
In[1515]:= h/:f[h[1,2]]:=3
During evaluation of In[1515]:= Evaluated
During evaluation of In[1515]:= TagSetDelayed::tagnf: Tag h not found in f[Null]. >>
Out[1515]= $Failed
TagSetDelayedHoldAllTagSetDelayedSetDelayedHoldPattern……Some code lines
Changed line of code
g[x_?NotGoodQ]:=(Message[g::nogood, x];Abort[])
……..some other code lines
g/: cccQ[g[x0_]]:=True
Clear[g,notGoodQ];
notGoodQ[x_]:=EvenQ[x];
g[x_?notGoodQ]:=(Message[g::nogood,x];Abort[])
g/:cccQ[HoldPattern[g[x0_]]]:=True;
In[1527]:= cccQ[g[1]]
Out[1527]= True
In[1528]:= cccQ[g[2]]
During evaluation of In[1528]:= g::nogood: -- Message text not found -- (2)
Out[1528]= $Aborted
HoldPatternIn[1532]:=
ClearAll[f,h];
f[x_]:=x^2;
f/:h[HoldPattern[f[y_]]]:=y^4;
h[f[something]]f[something]hIn[1535]:= h[f[5]]
Out[1535]= h[25]
HoldPatternUpValuesUpValuesUpValuesUpValuesDownValuesupvalue