Inheritance and Contracts
Inheritance introduces complexity in object-oriented programming, particularly with polymorphism, where subtypes must adhere to the contracts set by their supertypes. Subtypes can enhance these contracts by relaxing preconditions or improving postconditions, allowing for greater flexibility while maintaining foundational guarantees. Understanding this relationship is crucial for effective software design.In this clip
From this podcast
Software Engineering Radio - the podcast for professional software developers
Episode 51: Design By Contract
Related Questions