![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Вокруг Liskov Substitution Principle
Jul. 8th, 2007 03:49 pmLSP гласит:
Пусть q(t) некоторое свойство, выполняющееся для всех t типа T. Тогда, если S подтип T, то q(s) должно выполняться для всех s типа S.
Смысл в том, что при выполнении LSP мы можем подставлять (substitute) объект типа S вместо объекта типа T, при этом никакие свойства программы не будут нарушены, то есть программа останется корректной.
( Read more... )
