Introduction to OOP | Chapter 16: Overriding : | next | previous | audio | real | text |
For example, a child class could redefine sqrt to compute the cube root of its argument.
This goes back to the difference between subclasses and subtypes.
A refinement makes this more difficult to do, since whatever the parent does is guaranteed to be part of the child. This is why most languages use refinement semantics for constructors.