Znaczenie pojęcia:

zamienialność

Pozostałe definicje na literę Z.

ang. substitutability

Reguła zgodności typów mówiąca, że jeżeli w pewnym miejscu programu może być użyty byt programistyczny typu (klasy) A, to w tym miejscu może być również użyty dowolny byt programistyczny typu (klasy) B, o ile B jest podtypem (podklasą) A. Np. przy założeniu, że typ Student jest podtypem typu Osoba, reguła zamienialności ustala, że obiekt typu Student może być użyty wszędzie tam, gdzie może być użyty obiekt typu Osoba. Reguła lub zasada zamienialności została sformułowana przez B. Liskov (Liskov Substitutability Principle, LSP). Jakkolwiek wydaje się ona naturalna i oczywista, prowadzi do anomalii, m.in. związanych z operacją podstawienia i z wielodziedziczeniem. Regułę zamienialności można wyeliminować przyjmując semantycznie bardziej konsekwentną koncepcję ról obiektu; patrz: rola(1)

zamienialność,
substitutability