.NET 4.0-「動的」キーワード

Question

PDCの講演で、Andersは動的キーワードは実行時に行われた関数呼び出しをディスパッチすると述べました。

その後、彼は「ダイナミック」と言いました。キーワード自体は、コンパイル時に静的に型チェックされます。

「動的」に存在しないメソッドを呼び出す場合は、タイプ-これは実行時エラーになりませんか？

C＃4.0言語を静的型チェック言語と呼ぶのは正しいですか？

または、このプレゼンテーションでAndresが話していたことを理解できないだけですか？

Answer 1

C＃にはまだ静的型チェックがありますが、参照の静的型が「動的」であると言うのはちょっとおかしいです。 IIRC動的の実際の型はオブジェクトであり、動的に解決されることを示す特別なILフラグがあります。もちろん、実際の型が指定された操作をサポートしていない場合、例外がスローされます。