デリゲート (プログラミング)

デリゲート  とは、主にC#、Visual Basic .NETなどの、.NET Frameworkのプログラミング言語に用意されている機能であり、参照型の一種である。

1. 概要
-----

デリゲートは、オブジェクトインスタンスへの参照とメソッドへの参照をペアにしてカプセル化するものである。概念としてはC言語やC++の関数ポインタに近いが、デリゲートは完全なオブジェクト指向である。型安全であるという特徴がある。

Object Pascalの「インスタンスのメソッドへのポインタを格納する、メソッドポインタ」と同様のものである。また、Microsoft Visual J++も、Javaと非互換のデリゲートを導入したが、.NET Frameworkのデリゲートはこれらを発展させたものである。

なお、C++における「クラスの非静的メンバ関数を指す関数ポインタ」は、関数呼び出し時にそのクラスのインスタンスを必要とする。デリゲートのようにオブジェクトとして扱うためにはstd::functionなどの関数オブジェクトによるカプセル化が必要となる。

デリゲートにより、メソッド単位のコンポジション  が可能となる。デリゲートは主に、イベント処理での活用を想定している。Javaなどでのインターフェイスを利用したイベント処理と比べ、デリゲートによって参照されるメソッドの名前を自由に宣言できる、振る舞いをカスタマイズするためにインターフェイスの実装やスーパークラスの継承を行なう必要がない、などの利点がある。

C#では複数のデリゲートを+, -, +=, -=演算子によって結合・分離させることもできる。また、デリゲートの追加・削除と呼び出しに制約を加えて安全なコードを記述するための機構としてeventキーワードが用意されている 。eventキーワードで修飾されたデリゲート型メンバーに、外部からイベントのサブスクリプションを追加・削除する手段としては、+=演算子および-=演算子によるアクセスのみが許可される。また、eventキーワードで修飾されたデリゲート型メンバーを、クラス外部からメソッドとして呼び出すことはできない。なお、+=演算子および-=演算子の処理をカスタマイズするために、eventキーワードで修飾されたデリゲート型メンバーのaddアクセッサーとremoveアクセッサーを明示的に記述することも可能である。

そのほか、スレッドプールを利用して非同期でデリゲートを実行する機能も存在する。

2. Visual J++
-------------

2.1. 参考
-------

[1]
url=http://www.asahi-net.or.jp/~dp8h-izn/delegate.html.utf-8
[2]

3. C#
-----

C#の例を示す。まず以下では、「string型の引数を1つと、int型の戻り値を持つデリゲート」を宣言している。 delegate int SomeDelegate; コンパイラによって、System.Delegateから派生するSomeDelegate型が生成される。

次に、以下のようなメソッドを持つクラスがあったとする。 class SomeClass { private string someField = "TEST:"; public int SomeMethod { return this.someField.Length + p.Length; } public static int SomeStaticMethod { return p.Length; } }

そして、以下のように既存の名前付きメソッドを参照するデリゲート型オブジェクトを生成することができる。 SomeDelegate del = new SomeDelegate;

C/C++の関数ポインタと異なり、静的メソッドだけでなくインスタンスメソッドをデリゲートに代入することもできる。 SomeClass obj = new SomeClass; SomeDelegate del = new SomeDelegate;

C# 2.0以降では、匿名メソッド  としてインラインで記述したメソッドを参照するデリゲートを同時に定義することもできる。この書き方では、return文によって返される値がSomeDelegateデリゲートの戻り値に暗黙的に変換できない場合、エラーとなる。 SomeDelegate del = new SomeDelegate { return p.Length; });

なおC# 3.0以降では、匿名メソッドの代わりにラムダ式を使って下記のように記述することもできる。 SomeDelegate del =  => { return p.Length; }; 匿名メソッドとラムダ式は併せて匿名関数  と呼ばれる。匿名関数は外側の変数にアクセスすることができ、これをキャプチャと呼ぶ。匿名関数とデリゲートを用いてクロージャを実現することができる。

こうして生成したデリゲート型オブジェクトは、通常のメソッドのように直接実行することができる。 int ret = del;

なお、上記は以下のInvokeメソッド呼び出しに対する糖衣構文である。Invokeメソッドはコンパイラによって自動生成される。 int ret = del.Invoke;

しかし、デリゲートの真価が発揮されるのはイベントと併用した時である。イベントは、次のように宣言する。 class MyClass { public event SomeDelegate SomeEvent; } こうして宣言したイベントには、+= 演算子と -= 演算子によって、デリゲートを追加したり削除したりすることができる。 MyClass obj = new MyClass; obj.SomeEvent += new SomeDelegate; obj.SomeEvent -= new SomeDelegate; //obj.SomeEvent = new SomeDelegate; // 外部からの再代入はできないのでコンパイルエラー。 //obj.SomeEvent; // 外部からの呼び出しはできないのでコンパイルエラー。 イベントハンドラの追加が += 演算子によって行われることから推測できるように、1つのイベントには複数のイベントハンドラを登録することができる。

次のようにしてイベントの定義されたクラスの内部からイベントを起こすと、登録したイベントハンドラがまとめて実行される。 class MyClass { void ExecuteEventHandlers { if  SomeEvent; } } 実行される順番は登録順とは関係なく、未定義である。

なお、eventで修飾されていない通常のデリゲート型メンバーと異なり、SomeEventにはクラス外部から=演算子で直接再代入をすることはできない。また、SomeEventが定義されたクラス内からしか呼び出せない。この制約により、誤ってイベントサブスクリプションをクリアしてしまうことを防止したり、イベントハンドラーを呼び出す責任の所在を明確にしたりすることができる。

4. P/Invokeとデリゲート
-----------------

プラットフォーム呼び出しの際は、デリゲートは既定でアンマネージの関数ポインタにマーシャリングされる。

例えば下記のようなC言語関数がMyLibrary.DLLに実装されているとする。 typedef BOOL ;

/* カレントディレクトリのファイルを列挙する関数。ファイルが見つかるごとにコールバック関数が呼ばれる。 */ extern __declspec BOOL EnumFiles;<WtXmlEndTag />

対応するP/Invokeラッパーインターフェイスおよび呼び出しの一例は下記のようになる。 using System; using System.Runtime.InteropServices;

static class MyPInvoker { public delegate bool MyCallbackDelegate]string fileName);

[DllImport] public extern static bool EnumFiles;

private static bool MyCallbackMethod { Console.WriteLine; return true; // 列挙を続行。 }

private static void Test { EnumFiles; } }<WtXmlEndTag /> P/Invokeでデリゲートを渡す場合は、デリゲート型のインスタンスがガベージコレクションにより回収されてしまわないように注意する必要がある。また、コールバック関数の呼び出し規約が一致するようにしなければならない。

5. その他の言語のデリゲート
---------------

D言語には関数オブジェクトがあり、型としてfunctionとdelegateがある。無名関数を作る式として関数リテラルがあり、functionとdelegateのそれぞれに対応した構文がある。関数リテラルの省略構文としてラムダ式がある。functionとdelegateの違いは、作られたスコープの環境にアクセスできるかどうかで、アクセスする場合はデリゲートである必要がある。ラムダ式では内容に応じて、デリゲートである必要がある場合はデリゲートになる。

Javaはバージョン8にてラムダ式とともにメソッド参照の機能を導入した。ただしマルチキャストデリゲートに相当する機能はない。

C++/CXは.NETマネージ言語ではなくネイティブ言語拡張だが、デリゲートをサポートする。イベントハンドラーの割り当てに利用される。ただし、C++/CXは参照カウントベースのガベージコレクションを採用していることから、強い参照による循環参照を防ぐため、イベントハンドラーの記述にはラムダ式よりも名前付き関数を利用することが推奨されている。

Objective-Cは言語機能としてデリゲートを持たないが、Objective-Cを用いたイベント駆動型ソフトウェアを開発する際の基本的なデザインパターンとして「委譲」が採用されている。

6. 脚注
-----

7. 関連項目
-------

委譲
トレイト