演算子に関するセマンティクスが保存される Generic 型生成 ― Expression Tree による実行時コード生成 ― - NyaRuRuが地球にいたころ

演算子に関するセマンティクスが保存される Generic 型生成 ― Expression Tree による実行時コード生成 ― - NyaRuRuが地球にいたころ

「菊池 Blog」より． たとえば、 class X<T> { bool IsEquals( T x,T y ) { return x==y; } } ==はobjec...概要を表示 「菊池 Blog」より． たとえば、 class X<T> { bool IsEquals( T x,T y ) { return x==y; } } ==はobjectにも定義されているわけで、どのようなTに対しても本来は使用できます。 しかし上記のコードはコンパイルエラーになります。 op_Equalsがあるか無いかによってコードが（ILレベルで)変わってしまう（変えなければならない）から受け入れないのです。 このように、C#のGenericsにおいて実行コードには全く動的要素がありません。 動的に生成されるのは単なる型情報に過ぎません。型情報のみが動的であるわけです。 C++ の template はソースコードレベルのポータビリティですが，.NET の generics はアセンブリレベルのポータビリティを持ちます．すなわち template は A + B といったソースコードの