里氏替換原則

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

里氏替換原則英文Liskov substitution principle)係有關物件導向編程嘅一條原則;根據里氏替換原則,一位編程員用 OOP 寫程式嗰陣,應該要達到[1]

做一個可以對屬類型 嘅物件 證明嘅特性;噉設 嘅子類型,如果 ,噉 應該要係真;

用日常用語講,里氏替換原則意思係指「是但攞一件屬超類別嘅物件,件物件理應要有可能俾件屬子類別嘅物件取代,取代咗之後個程式起碼仲行到(未至於會輕機)」。喺廿一世紀初,里氏替換原則廣受採用,不過都唔係完全冇爭議性。

[編輯]

  1. Liskov, B. (May 1988). "Keynote address - data abstraction and hierarchy". ACM SIGPLAN Notices. 23 (5): 17-34.