swift: クロージャの型指定について error: ambiguous use of ...

Question

概要

• Swift 初心者です。文法にて疑問に思っている点を質問させてください！
• 以下コードにて、エラーが出てしまっている理由がわかりません。

class Person {

    func response(
        ok: ([String: Any]) -> Void,
        ng: () -> Void
    ) -> Void {
        ok(["test": "test"])
        ng()
    }

    func response(
        ok: () -> Void,
        ng: () -> Void
    ) -> Void {
        ok()
        ng()
    }

}

let person = Person()
person.response( ok: { r in print(r) }, ng: { print("ng") } )  //  error: ambiguous use of 'response(ok:ng:)'

• error: ambiguous use of 'response(ok:ng:) のエラーが出てしまっており、二つの関数が同じモノとして、判断されている理由がわかりません
• 外部引数の名前が異なる場合、引数の型が異なる場合は関数名が同じでもオーバーロードにより違う関数と解釈されると自分のなかでは理解しております。
• 今回のケースでは、引数にとっているクロージャーの型が異なり、実行時に ok メソッドに引数を指定しているので、["test": "test"] が表示される事を期待しているのですが、思った通りにいかなく疑問に思っている感じです。

質問

• 引数に指定しているクロージャーの型が違うにもかかわらず、エラーが出てしまっているのはどうしてでしょうか？

ご回答お願いします！

Answer 1

() -> Voidは、引数が無い関数ではなく、引数を一つ受け取る関数です。

var hoge: () -> Void
hoge = {
    param in
    print("param =", param)
}
print(hoge())
//=> param = () //空タプルを受け取っている
//=> ()         //ついでに、Voidは空タプルを返しています

//引数が2つだとエラーになる
hoge = {
    param1, param2 in
    print("param =", param1, param2)
}
//=> エラー

なので、

person.response( ok: { r in print(r) }, ng: { print("ng") } )

これは下のresponseにも渡せるということになります。

Comments

[tk_matsumoto]

> () -> Voidは、引数が無い関数ではなく、引数を一つ受け取る関数です。

なるほど！引数がない関数だと思っておりました！ご回答ありがとうございました！

[tk_matsumoto]

すみません、追加の質問になってしまうのですが、この場合引数に引数がない関数を指定する記述方法はあるのでしょうか？いくつか記事を読んでみたのですが、`() -> Void` が引数なしと書いてあるところが多く ...

[fuzzball]

参考サイト
http://dev.classmethod.jp/smartphone/swift-function-tuple/

戻り値について
>>戻り値を返さないと定義された関数も、実際には空タプルを返しています。
>>（中略）
>>Swift においては全ての戻り値がタプルとして扱われているであろう
>>ということが推測できます。

引数について
>>パラメータの数が０個として定義された関数は、空のタプルを引数として
>>受け取るようになっています。 つまり、Swift においては、
>>戻り値と同様に全ての関数が何らかの引数を取ることになります。

[tk_matsumoto]

> 戻り値と同様に全ての関数が何らかの引数を取ることになります

参考サイト読ませていただきました。なるほど、必ず引数が存在する仕様になっているんですね。再度ご回答ありがとうございました！とても勉強になりました！