抽象數據類型的特征是什么

Question

我在 OOP 考試中遇到了這個問題，我不得不在以下答案中選擇一個或多個：

抽象數據類型的特征是什么？

1. 它支持的各種操作（狀態的訪問器和修飾符）；
2. 對象的狀態是可修改的；
3. 事實上，它至少有一種修改狀態的方法。

我想 1 和 2 是正確答案，但我不確定。 出於這個原因，我想從某人那里知道他們是否真的正確。

Answer 1

唯一正確的答案是第一個。

您可能會遵循消除過程： 2 不必為真，因為正如 Maurice Perry 已經指出的那樣，存在不可變的數據類型。 3 不一定是因為同樣的原因，不可變類型沒有狀態突變方法。

此外，根據定義，ADT 由它可能持有的值、它支持的操作以及這些的屬性/不變量嚴格定義。 其他一切（保存數據的數據結構、方法實現）確實從定義中抽象出來。

如果您有興趣進一步閱讀該主題，您可以檢查this 、 this 、 this和this 。