Establish consistent label behavior across all parameters including first labels

Swift 2 では、関数・メソッド宣言の引数ラベルの扱いが、最初の引数だけ特別 でした。2番目以降の引数は、内部名をそのまま外部ラベルとして公開するのに対し、先頭の引数はラベルが自動的に省略される、という二段構えのルールです。

func foo(a: T, b: U, c: V)

この宣言は、一見すると foo(a:b:c:) を定義しているように見えますが、実際に定義されるのは foo(_:b:c:) でした。つまり、呼び出し側では最初の引数だけラベルなしで渡すことになります。

foo(x, b: y, c: z) // a: は書けない

イニシャライザとの不一致

一方で、イニシャライザは以前からすべての引数のラベルが対等に扱われており、先頭も例外ではありませんでした。同じ「引数リスト」を書いているのに、関数・メソッドとイニシャライザで最初の引数の振る舞いが食い違うのは、言語としての一貫性を欠いていました。

API設計ガイドラインとのずれ

Swift 3 で新しくなったAPI設計ガイドラインは、先頭引数にもラベルを積極的に与える方針を打ち出しました。たとえば次のようなケースでは、先頭にラベルを付けるほうが読みやすくなります。

• 先頭引数にデフォルト値がある場合
• 先頭引数が前置詞句を伴う場合（with: / from: など）
• ファクトリメソッド
• 1つの抽象概念を複数の引数に分割して渡す場合

また、Objective-C APIをSwiftに取り込む自動変換ルール（SE-0005）も、この方向に合わせて改訂されました。こうしてガイドライン側が「先頭ラベルを使おう」という方向に舵を切った結果、「先頭だけラベルを落とす」という言語の既定動作は、推奨されるAPIスタイルと真っ向から衝突するようになってしまいました。

回避策の煩雑さ

Swift 2 でも、先頭にラベルを付けたいときは、外部名を明示的に2度書く（外部名と内部名を並べる）ことで実現できました。

func foo(x x: Int, y: Int) // foo(x:y:) を定義

しかしこの「同じ名前を2度書く」スタイルは冗長で、普通に書いたときの挙動と食い違うため、ラベルを付けたいだけなのに書き手にも読み手にも負担がかかっていました。