[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
関連記事
.NET Core 3.0 正式版リリース
.NET Core 3.0 正式版リリース 昨日 (2019/09/23)、.N ...
[C#][.NET] .NET アプリケーション (WPF/Windows フォーム) で多重起動を禁止し、単一のプロセスで動作させる
■ 概要 .NET アプリケーション (WPF/Windows フォーム) で多 ...
[C#][.NET] メタプログラミング入門 – はじめに
数回に渡って、C#/.NET によるメタプログラミングを紹介して行きたい。 先ず ...
[C#][Design Pattern] C# による Observer パターンの実装 その2 – event による実装
前回「C# による Observer パターンの実装 その1 - 古典的な実装」 ...
[C#] 匿名型でのプロパティ名の省略
今回は、ごく軽く余り役に立たない話題。C# の匿名型に関して。 ■ 匿名型 匿名 ...
ディスカッション
コメント一覧
まだ、コメントがありません