 |
|
| ||||||||||||||||||||||||||
|
|
| ||||||||||||||||||||||||||
|
|
|
|
|
| ||||||||
If a class is inherited and a feature/method/attribute redefined, a parameter or return type can be changed to be a more specialised type.
So if we have a feature A that takes a formal argument T. We redefine A, the new A must have a formal argument of T, or any descendent of T.
Covariant parameters are not safe, but return types are. In Eiffel you can get compile errors, because the polymorphism breaks.
|
||||
| View Live Article | This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License | |
||
