為整數定義乙個抽象資料型別

2022-09-07 20:06:13 字數 1086 閱讀 6703

為整數定義乙個抽象資料型別,包含整數的常見運算,包括構造(constructor)、相加(add)、相減(sub)、相乘(multi)、相除(div)、求餘(mod)、是否等於(equal)。每個運算對應乙個基本操作,每個基本操作的介面需定義前置條件、輸入、功能、輸出和後置條件。

adt integer

data

整數,可以是正整數,也可以是負整數和0

operation

constructor

前置條件:擁有乙個integer的類

輸入: 乙個整數

功能: 初始化乙個整數

輸出:無

後置條件:得到乙個整數變數

add前置條件:存在乙個整數a

輸入:乙個整數

功能:計算a與輸入的整數b的和

輸出:兩個整數相加的和

後置條件:整數a的值發生變化

sub前置條件:存在乙個整數a

輸入:乙個整數

功能:計算a減去輸入的整數b的差

輸出:兩個整數相減的差

後置條件:整數a的值發生變化

multi

前置條件:存在乙個整數a

輸入:乙個整數

功能:計算a乘以輸入的整數b的積

輸出:兩個整數相乘的積

後置條件:整數a的值發生變化

div前置條件:存在乙個整數a

輸入:乙個整數

功能:計算a除以輸入的整數b的商並向下取整

輸出:兩個整數相除的商向下取整得到的整數

後置條件:整數a的值發生變化

mod前置條件:存在乙個整數a

輸入:乙個整數

功能:計算a整除輸入的整數b的餘數

輸出:兩個整數相整除的餘數

後置條件:整數a的值發生變化

equal

前置條件:存在乙個整數afan

輸入:乙個整數

功能:判斷整數a與輸入的整數b的值是否相等

輸出:如果兩個整數相等,返回1;否則,返回0

後置條件:a的值不變

endadt

定義抽象資料型別

更多類的基本概念 對於抽象資料型別來說,我們通過它的介面來使用它的物件而不知道這個類有哪些資料成員。與之相反,若乙個類允許他的使用者直接訪問他的資料成員,並且要求由使用者來編寫操作,則這個類不是乙個抽象資料型別。設計類 類的介面包括使用者所能執行的操作 類的實現則包括類的資料成員 負責介面實現的函式...

抽象資料型別

本篇文章簡單的講解下表 棧 佇列。首先先了解一下什麼是抽象資料型別。它是這麼定義的 抽象資料型別 abstract data type,即adt 是帶有一組操作的一些物件的集合。那麼adt怎麼理解呢?首先你只需要記住表 集合 圖以及與他們各自的操作一起形成的物件都可以被看做抽象資料型別.這就跟整型 ...

抽象資料型別 表

資料結構與演算法分析.c 實現 總結 抽象資料型別 abstract data type,首先顧名思義,她是一種資料型別,就像整數 字元,類似於加減乘除,他有自己的操作,例如 並和查詢 並沒有什麼法則規定一定要有什麼操作,具體的看設計要求 每種資料型別的實現方式也是不同的,主要有 陣列實現和鍊錶實現...