ADT等价性

equals

未重写时和==作用相同，比较的是两个对象的引用是否相同，即地址是否相同

重写后（String和List重写了）比较的是对象的内容是否相同

对于可变的对象

行为等价性：相当于==（或未重写的equals)，即引用（地址）相同，行为等价性相同。

观察等价性：相当于重写后的equals,即内容相同，观察等价性相同。