Metadata
Author: WikiMatrix
Data
French[fr]
Le principe de substitution de Liskov est étroitement relié à la méthodologie de programmation par contrat aboutissant à des restrictions qui spécifient la manière dont les contrats peuvent interagir avec les mécanismes d'héritage : Les préconditions ne peuvent pas être renforcées dans une sous-classe.
Russian[ru]
Принцип подстановки (замещения) Лисков имеет близкое отношение к методологии контрактного программирования, и ведёт к некоторым ограничениям на то, как контракты могут взаимодействовать с наследованием: Предусловия не могут быть усилены в подклассе.