comparison - Mathematica 中 == 和 === 的区别

Question

我的印象是=是一项任务，==是数值比较，===是一个符号比较(以及在其他一些语言中 == 是 equal to 和 === 是 identical to 。但是，查看以下内容似乎不一定是这种情况......

In: x == x
Out: True

In: x === x
Out: True

In: 5 == 5
Out: True

In: 5 === 5
Out: True

In: x = 5
Out: 5

In: 5 == x
Out: True

In: 5 === x
Out: True

In: 5 5 == 5x
Out: True

In: 5 5 === 5x
Out: True

In: x == y
Out: x == y

In: x === y
Out: False

In: y = x
Out: 5

In: x == y
Out: True

In: x === y
Out: True

那么在 Mathematica 中 == 和 === 到底有什么区别呢？我一直在看文档，但我仍然不太明白。

Answer 1

一个重要的区别是 ===总是返回 True或 False . ==可以返回未计算的(这就是为什么它对于表示方程很有用。)

In[7]:= y == x^2 + 1

Out[7]= y == 1 + x^2

In[8]:= y === x^2 + 1

Out[8]= False

有一些有趣的案例，其中 ==返回未评估的，在编程时值得注意。例如:

In[10]:= {} == 1

Out[10]= {} == 1 

这可能会影响 If[foo=={}, <true>, <false>] 之类的事情.