Statiske og dynamiske typer

Play audio slide show -- Keyboard shortcut: 'x'

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Polymorfi og dynamisk binding [Section] -- Keyboard shortcut: 'p'

Next page: Polymorfi og typesammenlignelighed -- Keyboard shortcut: 'n'

Lecture notes - all slides and notes together

Annotated slide -- Keyboard shortcut: 't'

Play sound for this slide -- Keyboard shortcut: 'y'

Nedarvning - slide 27 : 41

Statiske og dynamiske typer

Den statiske type af en variabel eller parameter er den type, hvoraf variablen eller parameteren er erklæret

Den dynamiske type af en variabel eller parameter er typen af det objekt, variablen eller parameteren refererer til

A x;          // x har statisk type A.
B y;          // y har statisk type B.

x = new A();  // x har dynamisk type A. 
y = new B();  // y har dynamisk type B.
 
x = y;        // x har dynamisk type B. Lovligt?
y = x;        // y har dynamisk type B. Lovligt?

Et tilsvarende komplet Java program.