「C# 4.0は「動的言語」にもなる」記事へのコメント

自分の理解

[Tsann (15931)]

従来からTypeクラスとMemberInfoクラスを使うことで動的なメソッド呼び出しは可能でしたが、C# 4.0では言語レベルでそれがサポートされるという意味です。
正確にはそれを支えるために.NET Framework 4.0では動的なメソッド呼び出しをサポートするインターフェースが用意されるとか。

コード中には静的にコンパイルされたものと動的に決定されるものとが混在できる仕様です。
例えばあるSampleクラスがAdd()メソッドを持っていた場合、C# 4.0では

var sample1 = new Sample();
sample1.Add();
dynamic sample2 = new Sample();
sample2.Add();

と書けます。sample1

Re:自分の理解

[s02222 (20350)]

dynamic dynamic_obj = new Hoge();

に対して、

dynamic_obj.メソッド名(引数1,...,引数n);

を自動的に、

dynamic_obj.GetType()

.GetMethod("メソッド名",{引数1.GetType(),...,引数n.GetType()})

.Invoke(引数1,...,引数n);

に書き換える恐怖のシンタックスシュガー、って事ですよね多分?

Re:自分の理解

[kamiyan (10895)]

* COMオブジェクトだったら IDispatch 経由
  * IDynamicObject を実装してたら IDynamicObject 経由
  * そうじゃなかったらリフレクションから調べる
という分岐を勝手に中でやるそうです。

勝手にやられるのが恐怖っちゃー恐怖ですね。

Re:自分の理解

[Tsann (15931)]

そのメソッド呼び出しの戻り値は何らかの変数に格納されるわけですが、その時点で型キャストされ、また従来の静的バインドに戻ります。
あくまでdynamic宣言した変数に対するメンバー呼び出しのみに制限されるので、それほど怖くないと思います。

Re:

[Anonymous Coward]

に書き換える恐怖のシンタックスシュガー、って事ですよね多分?

違ったような。コンパイル時にASTに変換して、それを実行時に言語エンジンへ投げ込むような設計だったはず。
つまり、C#コンパイラの仕事は、「dynamic_obj.メソッド名(引数1,...,引数n)」をそのまま素直にASTに変換すること。

言語エンジンは渡されたASTと引数の実行時型を使って動的バインディングを行い、実行時コード生成を利用してJIT可能コードに変換、結果はデリゲートに格納、格納されたデリゲートは引数の実行時型をキーとしてキャッシュ、というかなりパフォーマンス重視の本格的な実装だったような気がするけど、うろ覚えなんであんまり自信がない。