Compiler I WS 2001/2002 - Slide 84
Objectives:
Understand classes as types
In the lecture:
Explain
- class hierarchy - type coercion
- type checking for dynamically bound methods calls
- predict the runtime classs of objects
Questions:
- Why would overridden methods not be type safe if they had "covariant" parameters (all 3 arrows between the classes X and Y would point up)? That is the situation in Eiffel.
©2001 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 10.04.2006