inc()
は、let inc
の定数名に、incrementer関数へ渡す引き数()
をつけたものです。inc は、incrementerの略だと思われます。
関数は、引き数を渡した時点で return
にあるものを返しますから、makeIncrementer関数内の
return incrementer
では、まだ incrementer関数の引き数は渡していないため、incrementer関数は実行されていません。これは、incrementer関数への参照をreturn
で返している状態です。
let inc = makeIncrementer(10, 5)
では、makeIncrementer関数のパラメータ(initValue: Int, addValue: Int)
に適合する引き数(10, 5)
を渡していますので、makeIncrementer関数が実行されています。() -> Int
という関数型の関数 incrementerへの参照がreturn
で返され、定数 incに割り当てられています。定数名を Option+クリックすると、定数 incが関数型となっている様子が確認できます。(Playgroundでは右側でも見れます。)

ですが、incrementer関数のパラメータ()
に適合する引き数()
は渡されていないため、incrementer関数はまだ実行されていません。Int型の15
という値は返ってきていません。定数 incは、incrementer関数を参照している状態です。
let inc
→ func incrementer
を参照
func incrementer
→ func makeIncrementer
のvar v
とaddValue
を参照
と、let inc
から makeIncrementer関数のローカル変数/定数まで、参照がつながっています。let inc
が incrementer関数を参照している限り、var v
とaddValue
も参照され続けるということです。
参照されている間は状態が維持されますから、makeIncrementer関数の実行が終わっても、v変数と addValue定数は存在し続けます。inc定数からの参照の連鎖が、v変数と addValueを繋ぎとめているからです。仮に、
let inc = makeIncrementer(10, 5)()
とここで、incrementer関数の引き数()
を渡すと、Int
がreturn
で返されて、関数は実行終了となります。定数 incに、Int型の15
が入った状態です。この定数 incと incrementer関数は参照関係にはなりません。

参照関係のときに何が起きているかを確かめるために、以下のように、コードの各所にprint
を追加してみてはいかがでしょうか。 (Xcode 7、Swift 2で書いています。)
func makeIncrementer(initValue: Int, addValue: Int) -> () -> Int {
print("makeIncrementer関数の実行")
print("initValue: \(initValue), addValue: \(addValue)")
var v = initValue
print("makeIncrementer内 var v = \(v)")
func incrementer() -> Int {
print("incrementer関数の実行")
print("参照している v = \(v), addValue = \(addValue)")
v += addValue
print("incrementer return v = \(v)")
return v
}
return incrementer
}
print("----- let inc 宣言 -----")
let inc = makeIncrementer(10, addValue: 5)
print("----- inc() 1回目 -----")
inc()
print("----- inc() 2回目 -----")
inc()
print("----- inc() 3回目 -----")
inc()
コンソールを見ると、inc()
が、makeIncrementer関数は実行しないで、incrementer関数だけを実行している様子が確認できます。inc定数は、makeIncrementer関数ではなく、incrementer関数を直に参照しているからです。

inc()
を呼び出したときに、新たにinitValue
に10
が代入されて……というような makeIncrementer関数の処理は行われません。よって、v変数に新しい initValue値が代入されることもありません。このincrementer関数が参照しているv
は、関数実行終了後も inc定数から続く参照によってそのまま保持され、また新たに別の場所でinc()
と書いてincrementer関数を呼び出しても、inc定数から続く参照の連鎖につながっているままの値を使うことになる、という訳です。
定数や変数は、値や参照を保持するのが仕事ですから、定数や変数から参照の連鎖がつながっているローカル変数/定数は結果、保持されることになります。関数は処理を実行するのが仕事ですから、関数のクロージャ内から外の変数/定数への参照は、実行時のみの一時的なものとなります。が、定数や変数がその関数を参照している場合には、定数/変数が参照の連鎖をどこまでもたどって、参照状態とその先にある値を保持してくれるようです。(厳密にシステムがどう働くかという視点で見ると、この説明はちょっと違うと思いますが、今ひとまずのところはこのようなイメージが理解の助けになるのではないでしょうか。詳しいことは、他の方のご回答をご覧いただければと思います。)