制御の反転

コンピュータプログラミングの用語で制御の反転とは、なんらかの種類のプログラムにおいて、プロシージャを「呼び出す側」と「呼び出される側」が、従来のプログラムとは逆になるようにする、ということである。たとえば従来の、シェルのコマンドで実行される古典的なアプリケーションではメインループが最上位で動いており、そこからライブラリなどのAPIを呼ぶのに対し、ウェブブラウザ中で実行されるJavaScriptアプリケーションでは、各種のハンドラがブラウザから呼ばれてアプリケーションが動く、というのも大きく見ればそのような「反転」の一種と言える。これが使われる一例としては、プログラムのモジュール化を促進して、その拡張性を高めるために用いられている 。用語として Inversion of Control を略した IoC を広めたのはロバート・マーティンとマーティン・ファウラーらである。IoC は彼らの「依存性反転原則」とは関係しているが異なるものである。依存性反転原則は、共有された抽象化を通じて、高次と低次の抽象化レイヤー間の結合度を下げることを示している。従来からのプログラミングでは、フローはコードの中核部分で制御されている。IoCを使うと、これが全く変わってくる。呼び出し側は応答を得るが、いつどのようにして応答を得るかは呼び出し側が制御できない。逆に呼び出された側がいつどのようにして応えるかを決定する。

1. 概要
-----

従来式のプログラミングでは、例えば、あるアプリケーションのmain関数が、メニューライブラリ内の関数を呼び出して、利用可能なコマンドの一覧を表示し、その中のどれか一つの機能をユーザーに選ばせる。するとそのライブラリはユーザが選んだ項目を、関数呼び出しに対する戻り値として返し、するとmain関数がその戻り値を使って、関係する命令を実行する。このスタイルはテキストユーザインタフェースでは一般的である。たとえば、電子メールクライアントであれば、スクリーン上に「新着メールを読み込む」、「このメールに返信する」、「新規メール作成」などのコマンドが表示されており、ユーザがいずれかのコマンドを選択するまで、プログラムの実行はブロックされた状態になる。

一方、制御の反転を使うと、このプログラムは、汎用的な振舞いやグラフィック要素を持っているソフトウェアフレームワークを使って書かれることになるだろう。そうしたフレームワークには、たとえばウィンドウシステムや、メニュー、マウス制御などが既に組み込まれている。個別に開発するコードは、フレームワークの「空白部分を埋める」ものになる。たとえば、メニュー項目の一覧を与えるとか、それぞれのメニュー項目に対応するサブルーチンを登録するといったものだ。一方、ユーザの操作を監視していて、ユーザがメニュー項目を選択したときに、それに対応するサブルーチンを呼び出すのはフレームワークの側だ。メールクライアントの例で言えば、フレームワークはキーボードとマウスの両方の入力を追う事が出来ていて、いずれかの方法によりユーザがコマンドを実行した場合に、その命令を呼び出す。それと同時に、新着メッセージがないかどうかを見るためにネットワーク・インターフェイスも監視しており、何らかのネットワーク活動を検知した場合には画面を更新する。それと同じフレームワークが、表計算プログラムやテキストエディターの骨組にも利用できる。逆に、フレームワークは電子メールクライアントや、表計算や、テキストエディターについては何も知らない。それらの機能の実現には個別に実装されたコードを使っているからである。

制御の反転ということは、再利用可能なコードと、個別目的のためのコードは、たとえそれらが一つのアプリケーションの中で一緒に動くものであるとしても、それぞれ独立したものとして開発されるということを暗黙的に言っている。ソフトウェアフレームワーク、コールバック、スケジューラ、イベントループ、依存性の注入は、制御の反転の原則に従ったデザインパターンの例である。しかし、制御の反転という用語は、オブジェクト指向プログラミングの文脈の中で最もよく使われる。

制御の反転は以下のような設計目的のために使われる：

あるタスクの実行を実装から分離するため
あるモジュールを、目的とするタスクだけに集中させるため
モジュールを作る際に、他のシステムが何をどのようにするかについて仮定しながらコーディングすることから解放し、そのかわり契約に依拠してコーディングするため
モジュールを置き換える際の副作用を予防するため

1.1. ハリウッドの原則
-------------

制御の反転は冗談として時々「ハリウッドの原則」と呼ばれることもある。つまり「君の方から電話してこないで。君が必要な時はこっちから電話するから」ということである。冗談ではあるが、「電話する」という英語の動詞 call と、サブルーチン呼出の call を掛けたダジャレになっている。

2. 背景
-----

そもそも、コンピュータ科学ないしはソフトウェア工学などの観点から、これは何か斬新なアイディアというわけではない。IoC という言葉を広めたマーティン・ファウラー自身も起源は1988年に遡るとしている。この考え方は、階層による抽象化とよく似ている。それが21世紀になって IoC という略称とともに広がったのは、Java など新しい環境が広く使われるようになり、そのプログラマも増えたといったような背景がある。これは、そのような設計原則に開発者の目を惹きつけ、その重要性を再認識させた。Javaの世界ではこの用語が一定の認知を得た。また、特定のプログラミング言語に依存しないアーキテクチャを述べる際にも好んで使われる。

制御の反転がデザインパターンなのか、それともアーキテクチャの原則なのかは議論が分かれている。Shivprasad Koirala の記事では、「制御の反転」はデザインパターンとしての「依存性の注入」と組み合わせて語られており、そこでは依存性の注入がデザインパターンで、制御の反転は依存性の注入を使って実装されるとしている。一方 Mani Malarvannan の記事では、「制御の反転」は文脈化された参照  を使ったデザインパターンとして紹介されている。サービスロケータを使ったものも同じデザインパターンだとされている。

ロバート C. マーチン の記事 "The Dependency Inversion Principle" では、階層による抽象化と共に論じている。彼がここで "inversion" という言葉を使ったのは、従来のソフトウェア開発手法との対比のためであった。彼が "Dependency Inversion" と呼んでいるのは、階層による抽象化でサービス群を分離することである。抽象化層を作る際には、システムの境界がどこにあるかを知ることが重要である。

制御の反転は依存性の注入と密接に関連している。依存性の注入は制御の反転を実現する有効な手法の一つである。

3. 説明
-----

従来のプログラミングでは、ビジネスロジックのフロー制御は、互いに静的結合したオブジェクト群により決められる。制御の反転を使った場合、フロー制御はプログラム実行中に構築されたオブジェクト・グラフに依存して決まる。抽象化を媒介としてオブジェクト間の相互作用の関係を定義することによって、そのような動的なフロー制御が可能となっている。この実行時結合は依存性の注入あるいはサービス・ロケータ・パターンのような仕組みにより実現される。但し、制御の反転を使う場合においても、コードを直接参照する代わりに外部の設定ファイルを読んで実行すべきコードを探す仕組みにするのであれば、コンパイル中にコードを静的に関連づけることはありうる。

依存性の注入において、依存する側のオブジェクトあるいはモジュールは、その依存先のオブジェクトと、実行時において結合される。特定のどのオブジェクトがプログラム実行中にその依存関係を満たすことになるのかは、静的コード解析を行うコンパイル時には知りようがない。ここではオブジェクト間の相互作用を題材に説明したが、この原則はオブジェクト指向プログラミング以外の他のプログラミング手法にもあてはまる。

実行中のプログラムでオブジェクトどうしを相互に結び付け合うためには、結び付けられるオブジェクトどうしが互換性のあるインターフェースを持っていなければならない。例えば、クラスAはその振舞いをインターフェースIに委任しており、IはクラスBにより実装されているとする。このようにしてあれば、プログラムはAとBをインスタンス化した上で、BをAに注入できるのである。

4. 実装技法
-------

オブジェクト指向プログラミングでは、制御の反転を実装するには幾つかの基本的な技法がある。それらを次に列挙する：

Factory パターンを使用する。
サービスロケータパターンを使用する。
依存性の注入を使用する。たとえば、
コンストラクタ注入
パラメータ注入
セッター注入
インタフェース注入
テンプレートメソッドパターンを利用する
ストラテジーパターンを利用する
文脈化された参照 マーティン・ファウラーの最初の論文では、上記の3番目までを論じていた。制御の反転の種類に関する記述の中で では最後の技法も言及されている。通常、文脈化された参照はサービスロケータを使って実装される。

技法よりも「制御の反転」をどういう目的で使うのかが重要である。「制御の反転」はこれらの技法に限ったものではない。

5. IoC の利点と欠点
-------------

「制御の反転」には他の抽象化技法と同じように利点と欠点がある。大まかに言えば、特定のタスクは単純化されるが、アプリケーションの協調動作はより複雑になる。デビッド・ホイーラーの有名な格言に「計算機科学の全ての問題は別のレベルへのインダイレクションで解決できる」という言葉がある。この言葉の「インダイレクション」を「抽象化 」と間違って引用していることが多い。Kevlin Henney によるこの格言の系として「…ただし、レイヤーが多すぎるせいで発生する問題を除く」という言葉もある。

同じことは「制御の反転」にも言える。Robert C. Martin の記事にあるコードを例に説明すると、最終的なコードには5つのクラスが定義されているが、手続き型プログラミングならこれを1つのメソッドで実装できる。「制御の反転」は2つの実装を互いに分離するという利点があるが、同時に全体として協調動作させるときに複雑さが増す。

6. 例
----

public class ServerFacade { public Object respondToRequest { if ) { return null; }

DAO.getData; return aspect.convertData; } }<WtXmlEndTag /> この例は非常に恣意的に単純化してある。重要なのは、ServerFacade においてDAOオブジェクトがどういうデータを返してくるかについて、多くの仮定をしている点である。それらの仮定は全て妥当な場合もあるかもしれないが、ServerFacade と DAO の実装の結合度が高いことは否めない。「制御の反転」に従った設計では、制御を完全にDAOオブジェクトに渡してしまう。するとコードは次のようになる。 public class ServerFacade { public Object respondToRequest { return DAO.getData; } } この場合、両方のオブジェクトは互いが何をするかについて全く仮定を設けていない。メソッドを呼び出す側とメソッドの中身を提供する側は知っている必要があるが、serverFacade は知る必要がない。これも制御の反転の重要な効果の1つである。ServerFacade は純粋に設計されたタスクを実行する。

7. 脚注
-----

8. 関連項目
-------

抽象化レイヤー
非同期I/O
コールバック 
クロージャ
継続
デリゲート 
割り込みハンドラ
モナド 
Observer パターン
出版-購読型モデル
シグナル 
Strategy パターン
Visitor パターン
XSLT - データ駆動型のスクリプト言語。入力データの内容によってどのテンプレートをどういう順序で実行するかが制御される。テンプレートは自動的に完了時に入力データに制御を戻すこともあるが、 コマンドを使えばそれも制御できる。