クロージャ

出典: フリー百科事典『ウィキペディア（Wikipedia）』

この項目ではプログラミング言語における関数の一種について記述しています。光ファイバーやメタル線等のケーブル同士の接続・分岐を行う際に使用する接続箱についてはメカニカルクロージャをご覧ください。

クロージャ (Closure) は、プログラミング言語において引数以外の変数を実行時の環境ではなく、自身が定義された環境（静的スコープ）において解決する関数のことである。関数とそれを評価する環境のペアであるともいえる。この概念は少なくとも1960年代のSECDマシンまで遡ることができる。

まれに、関数ではなくとも、環境に紐付けられたデータ構造のことをクロージャと呼ぶ場合もある。

[編集] 概要

典型的には、クロージャはある関数全体が他の関数（以下、エンクロージャ）の内部で宣言されたときに発生し、内部の関数はエンクロージャのローカル変数（レキシカル変数）を参照する。実行時に外部の関数が実行された際、クロージャが形成される。クロージャは内部の関数のコードとエンクロージャのスコープ内の必要なすべての変数への参照からなる。

クロージャはプログラム内で環境を共有するための仕組みである。レキシカル変数はグローバルな名前空間を占有しないという点でグローバル変数とは異なっている。またオブジェクトのインスタンス変数とは、オブジェクトのインスタンスではなく関数の呼び出しに束縛されているという点で異なる。

クロージャは関数型言語では遅延評価やカプセル化のために、また高階関数の引数として広く用いられる。

[編集] 例

クロージャを使ったカウンタの例をJavaScriptで示す。

function newCounter() {
    var i = 0;
    return function() { // 無名関数
        i = i + 1;
        return i;
    }
}

c1 = newCounter();
alert(c1()); // 1
alert(c1()); // 2
alert(c1()); // 3
alert(c1()); // 4
alert(c1()); // 5

関数newCounterの中でクロージャが使用されている。c1に代入された無名関数はnewCounter内のローカル変数iを参照している。c1を呼び出すたびにiはインクリメントされていく。

[編集] クロージャの用途

クロージャには多くの用途がある。

ライブラリの設計者はクロージャを関数への引数として渡すことで利用者が挙動をカスタマイズ可能なようにできる。例えばソートを行う関数は比較のコードをクロージャとして引数にとることで利用者が定義した基準でソートできるようになる。
クロージャは遅延評価される（呼び出されるまで何も実行しない）ので、制御構造の定義に用いることができる。例として、Smalltalkの分岐（if-then-else）や繰り返し（while及びfor）を含むすべての標準制御構造は、クロージャを引数にとるメソッドを持つオブジェクトを利用することで定義されている。同様な方法で利用者は自作の制御構造を簡単に定義できる。
クロージャは時としてオブジェクトのより良い代替となる。

[編集] クロージャを持つプログラミング言語

Schemeは完全な静的スコープのクロージャを持つ最初の言語として登場した。実質的にすべての関数型言語（Scala、Haskell、OCamlなど）とSmalltalkに由来するオブジェクト指向言語は何らかの形でクロージャを持っている。その他のクロージャを持つ言語に、Groovy、ECMAScript（JavaScriptを含む）、Perl、Python、Ruby、Lua、C#などがある。

セマンティクスは非常にそれぞれ異なっているが、多くの現代的な汎用のプログラミング言語は静的スコープとクロージャのいくつかのバリエーションを持っている。

[編集] セマンティクスの違い

言語ごとにスコープのセマンティクスが異なるように、クロージャの定義も異なっている。汎用的な定義では、クロージャが捕捉する「環境」とは、あるスコープのすべての変数の束縛の集合である。しかし、この変数の束縛というものの意味も言語ごとに異なっている。命令型言語では、変数は値を格納するためのメモリ中の位置と束縛される。この束縛は変化せず、束縛された位置にある値が変化する。クロージャは束縛を捕捉しているので、そのような言語での変数への操作は、それがクロージャからであってもなくとも、同一のメモリ領域に対して実行される。例として、ECMAScriptを取り上げると

var f, g;
function foo()
{
  var x = 0;
  f = function() { ++x; };
  g = function() { --x; };
  x = 1;
  print(f()); // "2"
}
foo();
g(); // "1"
f(); // "2"

関数fooと2つのクロージャがローカル変数xに束縛された同一のメモリ領域を使用していることに注意。

一方、多くの関数型言語、例えばML、は変数を直接、値に束縛する。この場合、一度束縛された変数の値を変える方法はないので、クロージャ間で状態を共有する必要はない。単に同じ値を使うだけである。

さらに、Haskellなどの遅延評価を行う関数型言語では、変数は将来の計算結果に束縛される。例を挙げる。

 foo x y = let r = x / y
           in (\z -> z + r)
 f = foo 1 0
 main = do putStr (show (f 123))

rは計算(x / y)に束縛されており、この場合は0による除算である。しかしながら、クロージャが参照しているのはその値ではなく計算であるので、エラーはクロージャが実行され、実際にその束縛を使おうと試みたときに現れる。

さらなる違いは静的スコープである制御構文、C風の言語におけるreturn・break・continueなどにおいて現れる。ECMAScriptなどの言語では、これらはクロージャ毎に束縛され、構文上の束縛を隠蔽する。つまり、クロージャ内からのreturnはクロージャを呼び出したコードに制御を渡す。しかしSmalltalkでは、このような動作はトップレベルでしか起こらず、クロージャに捕捉される。例を示して、この違いを明らかにする。

 "Smalltalk"
 foo
   | xs |
   xs := #(1 2 3 4).
   xs do: [:x | ^x].
   ^0
 bar
   Transcript show: (self foo) "prints 1"

 // ECMAScript
 function foo() {
   var xs = new Array(1, 2, 3, 4);
   xs.forEach(function(x) { return x; });
   return 0;
 }
 print(foo()); // prints 0

Smalltalkにおける^はECMAScriptにおけるreturnにあたるものだと頭に入れれば、一目見た限りではどちらのコードも同じことをするように見える。違いは、ECMAScriptの例ではreturnはクロージャを抜けるが関数fooは抜けず、Smalltalkの例では^はクロージャだけではなくメソッドfooをも抜ける、という点である。後者の特徴はより高い表現力をもたらす。Smalltalkのdo:は通常のメソッドであり、自然に制御構文が定義できている。一方、ECMAScriptではreturnの意味が変わってしまうので、同じ目的にはforeachという新しい構文を導入しなければならない。

しかし、スコープを越えて生存する継続には問題もある。

 foo
   ^[ x: | ^x ]
 bar
   | f |
   f := self foo.
   f value: 123 "error!"

上の例でメソッドfooが返すブロックが実行されたとき、fooから値を返そうとする。しかし、fooの呼び出しは既に完了しているので、この操作はエラーとなる。

Rubyなどの言語では、プログラマがreturnの振る舞いを選ぶことができる。

 def foo
   f = Proc.new { return "return from foo from inside proc" }
   f.call # control leaves foo here
   return "return from foo"
 end
 
 def bar
   f = lambda { return "return from lambda" }
   f.call # control does not leave bar here
   return "return from bar"
 end
 
 puts foo # prints "return from foo from inside proc"
 puts bar # prints "return from bar"

この例のProc.newとlambdaはどちらもクロージャを作るための方法である。しかし、それぞれが作ったクロージャのreturnの振る舞いに関しては、異なるセマンティクスを持っている。

[編集] クロージャに類似の構文

[編集] C

C言語では、コールバックをサポートするライブラリの中に、2つの値を利用したコールバックを行うものがある。関数ポインタと任意のデータを指すvoid*ポインタである。ライブラリがコールバック関数を実行するたび、データポインタを使用する。これによってコールバックは状態を管理することができ、登録した情報を参照できる。このイディオムはクロージャと機能面で似ているが、構文面では似ていない。

[編集] Eiffel

Eiffelにはクロージャを定義するためのinline agent（インラインエージェント）がある。インラインエージェントはルーチンを表すオブジェクトで、次のように利用する。

OK_button.click_event.subscribe(
    agent(x, y: INTEGER) do
        country := map.country_at_coordinates(x, y)
        country.display
    end
)

subscribeの実引数はインラインエージェントで、2つの引数を持つ手続きである。ユーザがこのボタンをクリックして、click_eventタイプのイベントが起こると、マウスの座標を引数としてこの手続きが実行される。

Eiffelのインラインエージェントの大きな限界は、外側のスコープのローカル変数を参照できないという点である。

[編集] C++

C++では、operator()をオーバーロードすることで、関数オブジェクトが利用できる。これは関数型言語における関数にいくらか似た振る舞いをみせる。関数オブジェクトは実行時に作ることができ、状態を持つこともできる。しかし、クロージャのように自動的にローカル変数を捕捉するようなことはしない。C++にクロージャのサポートを追加する2つの提案（どちらもそれをラムダ関数と呼んでいる）がC++の標準化委員会で検討されている ([1], [2])。2つの提案の主な違いは、クロージャにすべてのローカル変数のコピーを格納するか、元の変数への参照を格納するか、というデフォルトの振る舞いである。どちらの案でもデフォルトの振る舞いを上書きできる。そのような提案が通れば、

 void foo(string myname) {
   typedef vector<string> names;
   int y;
   names n;
   // ...
   names::iterator i =
     find_if(n.begin(), n.end(), <>(const string& s){return s != myname && s.size() > y;});
   // i is now either n.end() or points to the first string in n
   // which is not equal to  myname and which length is greater than y
 }

このようなコードが書けるようになる。

[編集] Java

Javaでは、メソッド内部に「無名クラス」を定義することができる。無名クラスからは、そのメソッドのfinal（リードオンリー）なローカル変数を、無名クラスのメンバ変数と名前が被らない限り、参照できる。

 class CalculationWindow extends JFrame {
     private JButton saveButton;
     ...
 
     public final void calculateInSeparateThread(final URI uri) {
         // The expression "new Runnable() { ... }" is an anonymous class.
         Runnable runner = new Runnable() {
                 void run() {
                     // It can access final local variables:
                     calculate(uri);
                     // It can access private fields of the enclosing class:
                     // Always update the Graphic components into the Swing Thread
                     SwingUtilities.invokeLater(new Runnable() {
                          public void run() {
                              saveButton.setEnabled(true);
                          }
                     });                   
                 }
             };
         new Thread(runner).start();
     }
 }

要素が1つの配列をfinalな参照で保持すれば、クロージャで1つのローカル変数を参照する機能をエミュレートできる。内部クラスはその参照の値そのものを変えることはできないが、参照されている配列の要素の値は変えることができるからである。このテクニックはJavaに限ったものではなく、Pythonなど似た制限を持つ言語でも有効である。

Javaに完全なクロージャを追加するという言語拡張がJava SE 7に向けて検討中である。[3]

[編集] 実装

クロージャは典型的には関数コードへのポインタ及び関数の作成時の環境の表現（例えば、使用可能な変数とその値の集合など）を含む特別なデータ構造によって実装される。

ある言語処理系の実行時のメモリモデルがすべてのローカル変数を線形なスタックに確保するものであれば、クロージャを完璧に実装するのは容易ではない。そのような言語では関数の呼び出し元に復帰した際に、スタック上のローカル変数が開放されてしまう。しかしクロージャには参照している変数がクロージャをつくった関数の終了後も存続することが必要である。したがってそれらの変数は必要がなくなるまで存続するように確保されなければならない。これがクロージャを実装するプログラミング言語が大抵、ガベージコレクションを備える理由である。

現代的なScheme処理系は、クロージャに使用される可能性のあるローカル変数は動的に確保し、そうでないものはスタックに確保するなどの最適化を行うものが多い。

[編集] 関連項目

[編集] 参考文献

Will Clinger. Foundations of Actor Semantics. MIT Mathematics Doctoral Dissertation. June 1981.

[編集] 外部リンク

Flashでクロージャ。
クロージャとは - はてなダイアリーキーワード
Martin Fowler's Bliki in Japanese - Closure
The Original "Lambda Papers" by Guy Steele and Gerald Sussman

カテゴリ: プログラミング言語の構文

See also ebooksgratis.com: no banners, no cookies, totally FREE.