【ITニュース解説】The function not dispatched

プログラミング言語における関数（メソッド）の呼び出し方には、いくつかの種類がある。特にシステムエンジニアを目指す上で、プログラムが「どの処理を実行すべきか」をどのように判断しているのかを理解することは非常に重要だ。ここでは「シングルディスパッチ」「関数オーバーロード」「マルチプルディスパッチ」という三つの主要な方法について、その違いと特徴を解説する。

まず「シングルディスパッチ」について説明する。これは多くのオブジェクト指向プログラミング言語で採用されている仕組みで、プログラマが最もよく目にする関数の呼び出し方だ。例えばRubyやPythonのような言語で、オブジェクト.メソッド名() のように呼び出す場合がこれにあたる。このとき、どのメソッド名の実装が呼び出されるかは、ドット（.）の左側にある「オブジェクト」の種類（型）によって決定される。これを「レシーバー」と呼ぶ。 例として、Rubyで配列に対して.reverseを呼ぶと配列を逆順にする処理が実行され、文字列に対して.reverseを呼ぶと文字列を逆順にする処理が実行される。どちらもreverseという同じ名前のメソッドを引数なしで呼んでいるが、レシーバーが配列型か文字列型かによって、実行されるコードが異なるのだ。コンパイラやインタプリタは、このレシーバーの型を見て、呼び出すべき唯一の実装を判断する。もし同じ型に対して複数のreverseメソッドを定義した場合（これを「モンキーパッチ」と呼ぶことがある）、最新の定義が採用されることになり、一つの型に対しては最終的に一つの実装だけが使われることになる。

次に「関数オーバーロード」について説明しよう。これはJavaやC#といった静的型付けのコンパイル言語でよく見られる機能だ。シングルディスパッチとは異なり、こちらはレシーバーの型だけでなく、「関数に渡される引数の数や型」によって呼び出す実装を区別する。例えば、同じsumという名前の関数でも、sum(整数, 整数)という引数で呼び出されれば整数同士を足す処理が、sum(小数, 小数)という引数で呼び出されれば小数同士を足す処理が、sum(整数)という引数で呼び出されればその整数をそのまま返す処理が実行される、といった具合だ。プログラマは、このように引数の「形」（数と型）が異なる複数の同名関数をあらかじめ定義しておくことができる。 関数オーバーロードの最大の特徴は、この判断が「コンパイル時」に行われる点にある。つまり、プログラムが実行される前に、コンパイラがソースコード全体を解析し、どのsum関数が呼び出されるかを確定させるのだ。これにより、プログラムが実際に動作する前に、誤った引数の型で関数を呼び出そうとした場合にエラーを検出できるという「コンパイル時型安全性」が得られる。しかし、コンパイラは定義されているすべての関数オーバーロードの実装をコンパイルしてしまうため、もし一度も使われない関数定義があったとしても、コンパイル時間とメモリが無駄になる可能性がある。

そして「マルチプルディスパッチ」だ。これはJuliaのような比較的新しい言語で採用されている強力な機能だ。概念的には関数オーバーロードと似ていて、同じ関数名に対して複数の実装を定義し、呼び出し時に渡される引数の型に基づいて適切な実装を選ぶという点は共通している。しかし、関数オーバーロードが主にレシーバーと引数の型で判断するのに対し、マルチプルディスパッチは「すべての引数の型」に基づいて呼び出す実装を決定する。 最大の違いは、その処理が「実行時」に行われる点にある。Juliaのようなマルチプルディスパッチをサポートする言語は、多くの場合「Just In Time (JIT) コンパイル」という方式を採用している。これは、プログラムが実行されている最中に、初めて遭遇した関数の実装だけをその場でコンパイルするというものだ。もし一度も使われない関数があれば、その関数はコンパイルされることがないため、コンパイル時間やメモリの無駄が省ける。一度コンパイルされた関数は、次に同じ形で呼び出されるときには既にコンパイル済みなので高速に動作する。 この実行時コンパイルの効率性に加え、マルチプルディスパッチには柔軟性という大きなメリットがある。例えば、他人が作成したライブラリに定義されている関数があったとする。その関数が想定していない引数の型で自分独自の処理を実行させたい場合、マルチプルディスパッチの言語であれば、自分のコード内で同じ名前の関数を、新しい引数の型で定義するだけで、それが自動的に呼び出されるようになる。これは「モンキーパッチ」と呼ばれることもあり、既存のコードを変更することなく機能を拡張できる非常に強力な手段だ。

では、なぜマルチプルディスパッチがすべての言語に採用されていないのだろうか。これには主に二つの理由が考えられる。一つは、Juliaが高いパフォーマンスを誇るのはマルチプルディスパッチだけの恩恵ではないということだ。Juliaはその設計と実装において、あらゆるパフォーマンス最適化の手法を駆使しているため、MD単独でC言語並みの速度が出せるわけではない。 もう一つ、そしてより重要な理由として「安全性」が挙げられる。関数オーバーロードを持つ静的型付け言語では、コンパイル時にプログラムの型に関するエラーをほとんど検出できる。これは開発者にとって非常に大きな安心材料であり、プログラムが実行される前に多くのバグを発見できるため、開発効率と信頼性が向上する。一方、マルチプルディスパッチを持つ言語では、どの実装が呼び出されるかが実行時まで確定しないため、コンパイル時のような厳格な型安全性の保証は得られにくい。多くの開発者は、コンパイル時型安全性の恩恵と引き換えに、多少のコンパイル時間やメモリの消費を受け入れる傾向がある。

このように、シングルディスパッチ、関数オーバーロード、マルチプルディスパッチは、それぞれ異なる環境と目的のために開発された、関数呼び出しの異なる賢い方法だ。それぞれの特徴とメリット・デメリットを理解することは、適切なプログラミング言語や設計パターンを選ぶ上で非常に役立つだろう。