Software Construction學習——ADT和OOP的相等性

在很多場景下，需要判定兩個對象是否「相等」，例如，判斷某個Collection中是否包含特定元素。 「==」和「equals（）」有何區別？如何定義ADT正確實現equals（） 一.    什麼是等價性（Equality） ADT是對數據的抽象，體現爲一組對數據的操作。而抽象函數AF是將內部表示R轉換爲抽象表示A。而等價性就是基於AF來定義的。 現實中每個對象都是獨特的，所以無法有完全相等，但有

>>阅读原文<<