Naming Functions with Argument Labels

Swiftでは、関数やメソッドはそれ自体をファーストクラスの値として扱え、関数型の変数や定数に代入できます。しかし関数名を書いて参照するときには、ベース名のみ しか書けず、引数ラベルを含めた完全な名前では参照できないという制約がありました。

オーバーロードされた関数を曖昧さなく参照できない

たとえば UIView には、同じベース名 insertSubview を持つ3つのメソッドがあります。

extension UIView {
  func insertSubview(view: UIView, at index: Int)
  func insertSubview(view: UIView, aboveSubview siblingSubview: UIView)
  func insertSubview(view: UIView, belowSubview siblingSubview: UIView)
}

呼び出すときは引数ラベルで区別できるのですが、これを関数値として取り出そうとすると、どのメソッドを指しているのか決められずに曖昧になってしまいます。

let fn = someView.insertSubview // ambiguous: could be any of the three methods

型注釈で絞り込める場合もありますが、これで解決できるのは引数の型が異なるオーバーロードに限られます。上の例のように、後ろ2つは引数の型がどちらも (UIView, UIView) で同じなので、型だけでは区別できません。

let fn: (UIView, Int) = someView.insertSubview    // ok: uses insertSubview(_:at:)
let fn: (UIView, UIView) = someView.insertSubview // error: still ambiguous!

こうなると、参照を得るためだけにわざわざクロージャでラップするしかなく、記述が冗長で退屈なものになっていました。

let fn: (UIView, UIView) = { view, otherView in
  someView.insertSubview(view, aboveSubview: otherView)
}

Objective-Cセレクタを表現する手段にも波及する

もうひとつの動機として、Swiftには将来「メソッドからObjective-Cのセレクタを得る」ような操作を追加したいという議論がありました。そうした機能の引数にはメソッドへの参照を渡すのが自然ですが、引数ラベルまで含めてメソッドを指定できないと、insertSubview(_:aboveSubview:) と insertSubview(_:belowSubview:) を区別して渡すこと自体ができません。メソッドを曖昧さなく名指しできる仕組みが、こうした周辺機能の前提としても不足していました。