Является ли связь между полиморфизмом подтипов и принципом Лисков одним и тем же концептом или они имеют разные идеи?

Связь между полиморфизмом подтипов и принципом Лисков существует, но это не одно и то же. Полиморфизм подтипов — это возможность использовать объекты подклассов там, где ожидается объект суперкласса, то есть объекты разных типов могут обрабатываться единообразно.

Принцип Лисков (Liskov Substitution Principle, LSP) — это правило, которое говорит, что объекты подкласса должны быть взаимозаменяемы с объектами суперкласса без нарушения корректности программы. То есть подкласс должен сохранять поведение, ожидаемое от суперкласса.

Иными словами, полиморфизм подтипов — это механизм, а принцип Лисков — ограничение, гарантирующее правильное использование этого механизма. Без соблюдения LSP полиморфизм может привести к ошибкам и непредсказуемому поведению.