Здравствуйте, igor-booch, Вы писали:

IB>http://en.wikipedia.org/wiki/Liskov_substitution_principle

IB>Насколько я понял принцип гласит, что если в программе заменить базовые классы классами наследниками, то ничего не должно сломаться. По-мойму бред. Или я что-то неправильно понял.

Правильно понял, но это справедливо только при условии, что наследование (inheritance) типов в данной программной системе действительно выражает отношение "тип-подтип" в том смысле, который подразумевает LSP. Обычно полагают, что так оно и есть, но в отдельных случаях это правило может нарушаться.

Говоря другими словами, в программе ничего не должно сломаться при замене базовых классов классами-наследниками, если и только если классы спроектированы с учётом LSP.