Принцип заміни Ліскова (LSP). тісно пов'язані з поліморфізмом підтипів. На основі поліморфізму підтипів в об’єктно-орієнтованій мові похідний об’єкт можна замінити його батьківським типом. Наприклад, якщо у нас є об’єкт Car, його можна використовувати в коді як Vehicle.

Замісний поліморфізм дозволяє вибирати підкласи шляхом заміни типів змінних і параметрів. Ті підкласи, отримані шляхом успадкування, ми називаємо явними, а ті, що отримані шляхом підстановки, ми називаємо неявними.

Спадок: Принцип заміни Ліскова значною мірою спирається на концепцію успадкування в об'єктно-орієнтованому програмуванні. Він наголошує на належному використанні відносин успадкування між класами та здатності замінювати об’єкти похідних класів замість об’єктів базових класів.

Принцип заміни Ліскова (LSP) — це принцип об'єктно-орієнтованого програмування, який стверджує, що об'єкти суперкласу повинні бути замінні об'єктами його підкласів без впливу на коректність програми.

Симптоми порушення LSP Ми можемо спостерігати деякі типові сигнали, які можуть вказувати на порушення LSP: Похідні, які замінюють метод методу базового класу, щоб надати йому абсолютно нову поведінку. Похідні, які замінюють метод суперкласу порожнім методом.

Простими словами, ми можемо визначити поліморфізм як здатність повідомлення відображатися в більш ніж одній формі. Реальний приклад поліморфізму, людина одночасно може мати різні характеристики. Як чоловік є одночасно і батьком, і чоловіком, і працівником.