.NET 4.0 - Le mot-clé "dynamique"

Question

Dans son discours PDC, Anders a déclaré que le mot-clé dynamique enverrait tous les appels de fonction qui lui sont faits au moment de l'exécution. Il a ensuite ajouté que le mot-clé "dynamic" est lui-même saisi de manière statique lors de la compilation.

Maintenant, si vous deviez appeler une méthode qui n'existe pas sur un type "dynamique", cela ne provoquerait-il pas une erreur d'exécution?

Est-ce correct d'appeler le langage C# 4.0 un langage de vérification de type statique?

Ou est-ce que je ne comprends pas ce dont Andres parlait dans cette présentation?

Answer 1

C# a encore une vérification de type statique, mais il est assez amusant de dire que le type statique d'une référence est "dynamique". IIRC le type réel pour dynamic is object, avec un indicateur spécial IL pour indiquer qu'il est résolu dynamiquement. Bien sûr, si le type réel ne supporte pas l'opération donnée, une exception est levée.