一个匹配问题，到底是怎么回事？

level 5

In[49]:= f[{{{x_,y_}}}]:=x;
f[{{{u,v}}}]
Out[50]= u
这没问题，现在重新定义
In[71]:= f[{{{x_}}}]:=x;
f[{{{u,v}}}]
MatchQ[{{{u,v}}},{{{x_}}}]
Out[72]= u
Out[73]= False

上面结果中，Out[72]= u显然不对吧，这到底是咋回事呢？

2018年08月08日 04点08分 1

吧务

level 12

青衣瓦屋

你并没有覆盖之前的定义啊，可以用Downvalue@f查看。要重新定义f，先Clear一下

2018年08月08日 11点08分 2

流水肯定了石头

明白了，谢谢！

2018年08月09日 04点08分