[Swift] 関数引数としてのタプル

以前書いた「カリー化関数の話」という記事の後半で

言われてみれば確かに「関数の引数定義」は「タプルの名前付き定義」の書き方と同じ。
() は、もしかして「結合順序」と言うより、タプルの境界を定義するものと考えた方が良いのかも、しれない。

などと書いていたのだが、ようやくこれを試してみた（Xcode6-Beta6）。

例えば以下のような関数を定義したとする。

func f(a: Int, b: Int) {
    println("a + b = \(a + b)")
}

通常は次のように使う。

f(1, 2)

こうなると (1, 2) はタプルに見えてくるだろうと言うことで、タプルそのものを渡せるのか。結論から言うと渡すことが出来た。

let v = (1, 2)
f(v)

これはかなりナイス。

名前付き引数を要求されている場合なら、名前付きタプルで OK。

func f(#a: Int, #b: Int) {
    println("#a + #b = \(a + b)")
}

let  v = (a: 1, b: 2)
f(v)

あちこちで使うようなテクニックでは無いにしろ、使えるのは便利だし、関数の引数定義はタプルを拡張したものであるようなことが伺える。

しかしいくつかの制限も見られた。


まず、引数に渡せるタプルは let 宣言に限られていて、var 宣言のタプルはエラーになった。
しかしこれはキャストすれば回避可能であった。

func f1(a: Int, b: Int) {
    println("a + b = \(a + b)")
}
var v1 = (1, 2)
// f(v1)            // error: Missing argument for parameter #2 in call
f(v1 as (Int, Int)) // success

名前付き引数なら、当然名前付きタプルでキャストすれば良い。

func f2(#a: Int, #b: Int) {
    println("#a + #b = \(a + b)")
}
var v2 = (a: 1, b: 2)
// f(v2)                  // error: Missing argument for parameter 'b' in call
f(v2 as (a: Int, b: Int)) // success

次に、引数が１つの場合は名前付きタプルは文法上渡せなかった。

func f3(#a: Int) {
    println("#a = \(a)")    
}
let  v3 = (a: 1)
// f3(v3)             // error: Missing argument label 'a:' in call
// f3(v3 as (a: Int)) // error: Cannot create a single-element tuple with an element label

let  v4: (a: Int) = (a: 1) // error: Cannot create a single-element tuple with an element label

Beta6 からは単一要素のタプルには名前がつけられなくなっている。
上記の例では v3.a にはアクセスできない。

元々、(Int) という宣言は、単なる Int 型として見られていたので、これが Beta6 でより強化されたのだろう^＊１。

名前付き引数でなければ問題はないし、単一要素をわざわざタプル化しないだろうから現実的に問題ではないと言って良い。


「関数引数 ≒ タプル」と見た場合、総合的にはまぁ想定の範囲内の結果。
気になるのは var タプルの場合のキャストくらい。しかしこれも正式版までにはまた変わりそうな気もする。

...
＊１: 余談だが Beta5 までなら上記の f3(v3 as (a: Int)) と f3(v4) は成功を確認している。