Java学习：可变类型和不可变类型的等价性

目录

 

一、等价需要满足的条件

二、“==” VS equals（在Java、C#等中，python相反）

1、“==”

2、equals

三、可变类型和不可变类型的等价性

1、不可变类型的等价性

2、可变类型的等价性

（1）观察等价性

（2）行为等价性

---

一、等价需要满足的条件

等价关系E ⊆ T x T满足：

（1）自反：∀t∈T ，E(t,t)

（2）对称：若E(t,u)，则E(u,t)

（3）传递：若E(t,u)且E(u,v)，则E(t,v)

反例：判断浮点数相等汇中，对于浮点数a，b，当fabs(a-b)<1e-10，则a==b。这种相等关系不满足传递性，所以不是等价关系。

二、“==” VS equals（在Java、C#等中，python相反）