.NET 4.0 - La parola chiave "dinamica"

Question

Nel suo discorso sul PDC, Anders ha affermato che la parola chiave dinamica avrebbe inviato tutte le chiamate di funzione effettuate al momento dell'esecuzione.

Ha poi continuato dicendo che la "dinamica" la parola chiave viene digitata staticamente verificata durante la compilazione.

Ora se dovessi invocare un metodo che non esiste su una "dinamica" tipo - questo non comporterebbe un errore di runtime?

È corretto chiamare il linguaggio C # 4.0 un linguaggio di controllo del tipo statico?

O forse non capisco di cosa stia parlando Andres in questa presentazione?

Answer 1

C # ha ancora il controllo del tipo statico, ma è abbastanza divertente dire che il tipo statico di un riferimento è "dinamico". IIRC il tipo effettivo di dinamico è oggetto, con uno speciale flag IL per indicare che viene risolto dinamicamente. Naturalmente se il tipo effettivo non supporta l'operazione specificata, viene generata un'eccezione.