デリゲート (プログラミング)
デリゲート (delegate、デレゲート) とは、C#、Visual Basic .NETなどの、.NET Frameworkのプログラミング言語にある機能である。
デリゲートは、オブジェクトインスタンスへの参照とメソッドへの参照をペアにしてカプセル化するものである。概念としてはC言語やC++の関数ポインタに近いが、デリゲートは完全なオブジェクト指向である。型安全であるという特徴がある。
Object Pascal（Delphi）の「インスタンスのメソッドへのポインタを格納する、メソッドポインタ」と同様のものである。また、Microsoft Visual J++も、Javaと非互換のデリゲートを導入したが、.NET Frameworkのデリゲートはこれらを発展させたものである。
なお、C++における「クラスの非静的メンバ関数を指す関数ポインタ」は、関数呼び出し時にそのクラスのインスタンスを必要とする。デリゲートのようにオブジェクトとして扱うためにはcodice_1などの関数オブジェクトによるカプセル化が必要となる。
デリゲートにより、メソッド単位のコンポジション (合成) が可能となる。デリゲートは主に、イベント処理での活用（コールバック処理のカスタマイズ）を想定している。Javaなどでのインターフェイスを利用したイベント処理と比べ、デリゲートによって参照されるメソッド（実体）の名前を自由に宣言できる、振る舞いをカスタマイズするためにインターフェイスの実装やスーパークラスの継承を行なう必要がない（新たにクラスをわざわざ定義しなくてよい）、などの利点がある。
C#では複数のデリゲートをcodice_2, codice_3, codice_4, codice_5演算子によって結合・分離させることもできる（マルチキャストデリゲート）。また、デリゲートの追加・削除と呼び出しに制約を加えて安全なコードを記述するための機構としてcodice_6キーワードが用意されている 。codice_6キーワードで修飾されたデリゲート型メンバーに、外部からイベントのサブスクリプション（購読）を追加・削除する手段としては、codice_4演算子およびcodice_5演算子によるアクセスのみが許可される。また、codice_6キーワードで修飾されたデリゲート型メンバーを、クラス外部からメソッドとして呼び出すことはできない。なお、codice_4演算子およびcodice_5演算子の処理をカスタマイズするために、codice_6キーワードで修飾されたデリゲート型メンバーのcodice_14アクセッサーとcodice_15アクセッサーを明示的に記述することも可能である。
そのほか、スレッドプールを利用して非同期でデリゲートを実行する機能も存在する（非同期デリゲート）。C#の例を示す。まず以下では、「codice_16型の引数を1つと、codice_17型の戻り値を持つデリゲート」を宣言している。
delegate int SomeDelegate(string p);
コンパイラによって、codice_18から派生するcodice_19型が生成される。
次に、以下のようなメソッドを持つクラスがあったとする。
class SomeClass
そして、以下のように（デリゲートと同じ引数と戻り値を持つ）既存の名前付きメソッドを参照するデリゲート型オブジェクトを生成することができる。
SomeDelegate del = new SomeDelegate(SomeClass.SomeStaticMethod);
C/C++の関数ポインタと異なり、静的メソッドだけでなくインスタンスメソッドをデリゲートに代入することもできる（メソッドとインスタンスのペアがカプセル化される）。
SomeClass obj = new SomeClass();
SomeDelegate del = new SomeDelegate(obj.SomeMethod);
C# 2.0以降では、匿名メソッド (anonymous method) としてインラインで記述したメソッドを参照するデリゲートを同時に定義することもできる。この書き方では、codice_20文によって返される値がcodice_19デリゲートの戻り値に暗黙的に変換できない場合、エラーとなる。
SomeDelegate del = new SomeDelegate(delegate(string p) {
なおC# 3.0以降では、匿名メソッドの代わりにラムダ式を使って下記のように記述することもできる。
SomeDelegate del = (p) => {
匿名メソッドとラムダ式は併せて匿名関数 (anonymous function) と呼ばれる。匿名関数は外側の変数にアクセスすることができ、これをキャプチャと呼ぶ。匿名関数とデリゲートを用いてクロージャを実現することができる。
こうして生成したデリゲート型オブジェクトは、通常のメソッドのように直接実行することができる。
int ret = del("some string");
なお、上記は以下のcodice_22メソッド呼び出しに対する糖衣構文である。codice_22メソッドはコンパイラによって自動生成される。
int ret = del.Invoke("some string");
しかし、デリゲートの真価が発揮されるのはイベントと併用した時である。イベントは、次のように宣言する。
class MyClass
こうして宣言したイベントには、codice_4 演算子と codice_5 演算子によって、デリゲート（イベントハンドラ）を追加したり削除したりすることができる。
MyClass obj = new MyClass();
obj.SomeEvent += new SomeDelegate(SomeEventHandler1);
obj.SomeEvent -= new SomeDelegate(SomeEventHandler1);
//obj.SomeEvent = new SomeDelegate(SomeEventHandler1); // 外部からの再代入はできないのでコンパイルエラー。
//obj.SomeEvent(); // 外部からの呼び出しはできないのでコンパイルエラー。
イベントハンドラの追加が codice_4 演算子によって行われることから推測できるように、1つのイベントには複数のイベントハンドラを登録することができる。
次のようにしてイベントの定義されたクラスの内部からイベントを起こすと、登録したイベントハンドラがまとめて実行される。
class MyClass
実行される順番は登録順とは関係なく、未定義である。
なお、codice_6で修飾されていない通常のデリゲート型メンバーと異なり、codice_28にはクラス外部からcodice_29演算子で直接再代入をすることはできない。また、codice_28が定義されたクラス内からしか呼び出せない。この制約により、誤ってイベントサブスクリプションをクリアしてしまうことを防止したり、イベントハンドラーを呼び出す責任の所在を明確にしたりすることができる。
プラットフォーム呼び出し（P/Invoke）の際は、デリゲートは既定でアンマネージ（ネイティブ）の関数ポインタにマーシャリングされる。
例えば下記のようなC言語関数がMyLibrary.DLLに実装されているとする。
typedef BOOL (__stdcall*TMyCallbackFuncPtr)(LPCWSTR fileName);
/* カレントディレクトリのファイルを列挙する関数。ファイルが見つかるごとにコールバック関数が呼ばれる。 */
extern __declspec(dllexport) BOOL EnumFiles(TMyCallbackFuncPtr callback);
対応するP/Invokeラッパーインターフェイスおよび呼び出しの一例は下記のようになる。
using System;
using System.Runtime.InteropServices;
static class MyPInvoker
P/Invokeでデリゲートを渡す場合は、デリゲート型のインスタンスがガベージコレクションにより回収されてしまわないように注意する必要がある。また、コールバック関数の呼び出し規約が一致するようにしなければならない（.NET 1.1まではstdcall呼び出し規約のみが使用可能だったが、.NET 2.0以降ではUnmanagedFunctionPointerAttribute属性を明示的に指定することでcdecl呼び出し規約を使用することも可能である）。
D言語には関数オブジェクトがあり、型としてfunctionとdelegateがある。無名関数を作る式として関数リテラルがあり、functionとdelegateのそれぞれに対応した構文がある。関数リテラルの省略構文としてラムダ式がある。functionとdelegateの違いは、作られたスコープの環境にアクセスできるかどうかで、アクセスする場合はデリゲートである必要がある。ラムダ式では内容に応じて、デリゲートである必要がある場合はデリゲートになる。
Javaはバージョン8にてラムダ式とともにメソッド参照の機能を導入した。ただしマルチキャストデリゲートに相当する機能はない。
Objective-Cは言語機能としてデリゲートを持たないが、Objective-Cを用いたイベント駆動型ソフトウェアを開発する際の基本的なデザインパターンとして「委譲」が採用されている。