関数へのポインタ

関数へのポインタ  あるいは関数ポインタ  は、C言語, C++, D言語やその他多くのプログラミング言語におけるポインタの一種である。関数へのポインタをデリファレンス  すれば、そのポインタが指し示す関数を呼び出せる。応用例としては、switch文を置き換えるテーブルジャンプを実装する、コールバック関数によるカスタマイズポイントを提供する、などといったものがある。

関数オブジェクト  は、関数へのポインタに似ているが、コード領域中のエントリポイントを指す単なるポインタである関数へのポインタと違い、データ領域上に実体を持つオブジェクトであるという点が異なっている。そのため、関数オブジェクトはデータを保持でき、クロージャを再現することもできる。ゆえに、関数オブジェクトは、「関数へのポインタ」ではなく「関数」という型と値を持つようなものと言え、より強力である。

C#やVisual Basic .NETなどといった.NET Framework用の言語には、メソッドを参照する型として、デリゲートがある。P/Invokeなどの.NET相互運用において、デリゲートは関数へのポインタにマーシャリングされる。

Javaはバージョン8でメソッド参照を導入し、関数ポインタやデリゲート類似の機能を利用できるようになったが、バージョン7まではメソッド参照を持たず、代替としてメソッドを1つだけ持つインタフェースを利用して同等機能を実現する必要がある。

第一級オブジェクトとして関数を使用できる言語では、関数も引数で渡したり、戻り値で返したり、他の関数から動的に作成したりできるなどデータ同様に扱えるため、関数へのポインタは必要とされない。

1. Cでの例
-------

以下の例では、関数へのポインタとしてfunc_ptrが宣言され、そこへ関数my_functionのアドレスを割り当てている。そしてfunc_ptrを通じて関数を呼び出している。

include static int my_function { printf; return 2 * a + 3; }

int main { int  = my_function; /* あるいは以下でも可能 */ /* int  = &my_function;

/int x;

x = ; /* あるいは以下でも可能 */ /* x = func_ptr;

/printf; return 0; }<WtXmlEndTag /> 注1: 関数シンボルf自体は関数型  であり、関数型は関数ポインタとは異なる。単項のアドレス演算子  &を付与した式&fは関数ポインタを返す。しかし、関数型の式fは関数へのポインタに暗黙変換されるため、アドレス演算子を適用せずとも関数へのポインタに代入可能である。

注2: 関数へのポインタfpに単項の間接演算子  *を付与した式*fpは関数指示子  となる。という構文は、関数へのポインタfpを通じて関数を呼び出す構文である。しかしCではfpという構文も認められている。

注3: 関数ポインタの宣言における仮引数リストは、型が一致してさえいればいいので、仮引数の名前は省略できる。

次の例では、関数へのポインタを引数として他の関数に渡している。ここでは、関数my_functionが、先の例のように関数へのポインタを通じて呼び出される。関数callerは、引数として関数へのポインタと整数値を1つ取る。引数の整数値は、その関数へのポインタを通じて関数を呼び出すときに渡す引数として用いられる。そこで宣言されている関数へのポインタのプロトタイプに適合しさえすれば、callerの第1引数には、どんな関数でも渡すことが可能である。

include static void my_function { printf; }

static void caller, int p) { ; }

int main { caller; return 0; }<WtXmlEndTag />

3番目の例でも関数へのポインタを引数として他の関数に渡して用いている。関数fは、指定された区間で積分の近似を計算する関数integへ渡されている。におけるの値を求めるために、fがintegから呼び出されている。integでは、「double型の引数を1つ取り、double型の値を返す関数」でありさえすれば、どんな関数でも計算させることが可能である。

なお、関数へのポインタを定義する際には、事前にtypedefを用いて関数型もしくは関数ポインタ型のエイリアスを定義しておくと便利である。

include
include
define PI 3.14159265358979323846typedef double ; /* あるいは以下でも可能 */ /* typedef double fx_t; typedef fx_t* fx_ptr_t;

/double integ { double sum = 0.0; double x; int n;

/* 積分 {a,b} f dx の計算 */ for  { x =  *  + a; sum +=  *  / ; } return sum; }

int main { int i;

struct pair { fx_ptr_t fp; const char* name; } pairs[3] = { { cos, "cos" }, { sin, "sin" }, { tan, "tan" }, };

printf;

for  { printf); }

return 0; }<WtXmlEndTag />

関数ポインタを引数として渡すことで、処理を外部から組み込むことが可能である。関数ポインタを受け取って関数を呼び出す側は、その関数内で何が実行されるかを関知する必要がない。引数として渡される関数は、コールバック関数と呼ばれることもある。主にイベント処理や、判断を外部に任せて処理を行なうときなどに用いられる。

2. C++での例
---------

C++において、以下の関数へのポインタは、Cの関数へのポインタとの互換性があり、呼び出し規約が同じであれば直接の相互運用が可能である。

クラスに属さない名前空間レベルのグローバル関数
クラスの静的メンバー関数一方で、クラスの非静的メンバー関数へのポインタは互換性がない。また、非静的メンバー関数へのポインタを経由した関数の呼び出しには、そのクラスのインスタンスが必要となる。

C++では関数への参照を定義することもできるが、非静的メンバー関数への参照を定義することはできない。

include void GlobalFunc1 { puts; }

class MyClass { public: static void ClassFunc1 { puts; } void InstanceFunc1 { puts; } };

int main { void = GlobalFunc1; void = &GlobalFunc1; void = GlobalFunc1; void = MyClass::ClassFunc1; void = &MyClass::ClassFunc1; void = MyClass::ClassFunc1;

fpGlobalFunc1a; fpGlobalFunc1b; frGlobalFunc1; ; ; ; fpClassFunc1a; fpClassFunc1b; frClassFunc1; ; ; ;

void = &MyClass::InstanceFunc1;

MyClass obj; ;

return 0; }<WtXmlEndTag />

C++では関数テンプレートの述語  として通例関数オブジェクト  あるいはラムダ式  が渡されるが、関数ポインタを渡すことも可能である。ただし、関数オブジェクトやラムダ式のほうがコンパイラ最適化によるインライン化が期待できるため好まれる。なお、ラムダ式はC++11以降で標準化された機能であるが、Boost C++ライブラリのBoost.Lambdaを利用することで、C++03以前でもラムダ式を利用することができる。

include
include
include bool CompareFuncGreater { return a > b; }

void PrintLine { std::cout << x << std::endl; }

int main { // 降順にソート。 std::vector data { 5, 24, 1, -12, 0, 8, -7 };

if 0std::sort, data.end, std::greater); std::for_each, data.end, [] { std::cout << x << std::endl; });

elsestd::sort, data.end, CompareFuncGreater); std::for_each, data.end, PrintLine);

endifreturn 0; }<WtXmlEndTag />

また、C++11以降ではtypedefの代わりにusingを使うこともできる。typedefよりもusingのほうがいくらか分かりやすい構文になっている。

typedef double ; 下記は上記の糖衣構文である。 using fx_ptr_t = double ;

3. 脚注
-----

4. 関連項目
-------

間接参照
第一級関数
高階関数
ポインタ 
デリゲート 

5. 外部リンク
--------

[1], C++ documentation and tutorials
[2], a Guide to C/C++ function pointers

de:Zeiger #Funktionszeiger