程序語言設計-structure_第1頁
全文預覽已結束

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、Programming LanguagesDan GrossmanAn Equivalent StructureEquivalent implementationsA key purpose of abstraction is to allow different implementations to be equivalentNo client can tell which you are usingSo can improve/replace/choose implementations laterEasier to do if you start with more abstract s

2、ignatures (reveal only what you must)Now: Another structure that can also have signature RATIONAL_A, RATIONAL_B, or RATIONAL_CBut only equivalent under RATIONAL_B or RATIONAL_C(ignoring overflow)Next: A third equivalent structure implemented very differently2Dan Grossman, Programming LanguagesEquiva

3、lent implementationsExample (see code file):structure Rational2 does not keep rationals in reduced form, instead reducing them “at last moment” in toStringAlso make gcd and reduce local functionsNot equivalent under RATIONAL_ARational1.toString(Rational1.Frac(9,6) = 9/6Rational2.toString(Rational2.Frac(9,6) = 3/2Equivalent under RATIONAL_B or RATIONAL_CDifferent invariants, but same propertiesEssential that type rat

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論