[C#][.NET][式木] メタプログラミング入門 – 式木による Add メソッドの動的生成

※ 「[C#][.NET] メタプログラミング入門 – Reflection.Emit による Add メソッドの動的生成」の続き。
式木によるメタプログラミング
前回は、Reflection.Emit を用いて Add メソッドを動的生成するプログラムを作成した。
今回は、式木によるメソッドの動的生成だ。
動的に生成するメソッド
今回も次の Add メソッドを生成する。
// 普通の静的な Add メソッド
static int Add(int x, int y)
{
return x + y;
}
前回は、ILSpy で IL を調べ、それを参考にしたた。
今回は式木として生成するため、先ずは Add メソッドにあたる式を作り、その構造を見て参考にしよう。
以前、「Expression の構造を調べてみる」で行ったように、
using System;
using System.Linq.Expressions;
class Program
{
static void Main()
{
Expression<Func<int, int, int>> add = (x, y) => x + y;
}
}
のようなプログラムを作成し、デバッグ実行で、add の構造を調べてみよう。
※ Visual Studio のデバッガーの「クイックウォッチ」の表示から一部抜粋

これを見ると、次のような構造をしていることが分かる。

これを式木を用いて生成してみよう。
式木による Add メソッドの動的生成
実際にやってみると次のようになる。
using System;
using System.Linq.Expressions;
static class Program
{
// Expression (式) による Add メソッドの生成
static Func<int, int, int> AddByExpression()
{
// 生成したい式
// (int x, int y) => x + y
var x = Expression.Parameter(type: typeof(int)); // 引数 x の式
var y = Expression.Parameter(type: typeof(int)); // 引数 y の式
var add = Expression.Add (left: x, right: y); // x + y の式
var lambda = Expression.Lambda (add, x, y ); // (x, y) => x + y の式
// ラムダ式をコンパイルしてデリゲートとして返す
return (Func<int, int, int>)lambda.Compile();
}
static void Main()
{
var addByExpression = AddByExpression(); // デリゲートを動的に生成
var answerByExpression = addByExpression(1, 2); // 生成したデリゲートの呼び出し
Console.WriteLine("answerByExpression: {0}", answerByExpression);
}
}
Reflection.Emit を使った場合と比較すると、やや簡潔に書けるのが分かるだろう。
実行してみると、次のように正しく動作する。
answerByExpression: 3
まとめ
今回は、式木を用いて、動的にメソッドを生成するプログラムを作成した。
次回は、更に他の方法も試してみよう。
関連
.NET.NET, C#, Expression, Metaprogramming, メタプログラミング, 式木
Posted by Fujiwo
関連記事
[Event] C# ドキドキ・ライブコーディング対決 @ de:code
毎年恒例の BuriKaigi などで4人でやっている C# ライブ コーディン ...
[C#][.NET][Roslyn] Build 2014 でオープンソースになったと発表された Roslyn のソースコードを弄ってみた
Build 2014 での Roslyn 関連の発表 先日、マイクロソフトの開発 ...
[C#] 浮動小数点数型 double と誤差 ~double の内部表現~
※ C# Advent Calendar 2015 の12月19日の記事。 前の ...
[C#][Design Pattern][式木] C# による Observer パターンの実装 その4 – Expression を使ってプロパティの指定をタイプセーフに
前回「C# による Observer パターンの実装 その3 - 複数のプロパテ ...
[C#][.NET] メタプログラミング入門 – 応用編 – オブジェクトの文字列変換のメタプログラミング (パフォーマンスのテスト)
※ 「 メタプログラミング入門 - 応用編 - オブジェクトの文字列変換のメタプ ...
ディスカッション
コメント一覧
まだ、コメントがありません