[java] static & dynamic

[dekdek]

f1 = new A();
f2 = new B();
f3 = new C();
f1.message();

E fin qui, f1 e' di classe A e punta a un oggetto di classe A. Quindi stampa A.

f1=f2;
f1.message();

Ora f1 (di classe A, che credo sia quello che chiami static type) punta a f2, oggetto di classe B (che dovrebbe essere quello che chiami dynamic type) per cui sara' eseguito il metodo message della classe B, stampando B.
Questo e' quello che si chiama binding dinamico: nonostante f1 sia di tipo A, e' stato richiamato il metodo della classe B.

f1=f3;
f1.message();

Per lo stesso motivo qua viene stampato C.

f2.message_from_a();

Questo metodo richiama il metodo message della superclasse. Siccome f2 punta a un oggetto di classe B e la superclasse di B e' A, sara' eseguito il metodo message() della classe A, stampando A.

f3.message();}

Questo stampa C, ovviamente.

P.S. Lo static type e' un concetto che, credo, derivi dal C++ ma ha poco senso applicato a Java, dove viene usato piu' che altro dal compilatore per il type checking.