里氏替換原則

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

設 ${\displaystyle \phi (x)}$ 做一個可以對屬類型 ${\displaystyle {\text{T}}}$ 嘅物件 ${\displaystyle x}$ 證明嘅特性；噉設 ${\displaystyle {\text{S}}}$ 係 ${\displaystyle {\text{T}}}$ 嘅子類型，如果 ${\displaystyle y}$ 屬 ${\displaystyle {\text{S}}}$，噉 ${\displaystyle \phi (y)}$ 應該要係真；

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