あいまい参照 - （？スイフトクロージャ内スコープ）は

Question

これはコンパイル：

let s = SignalsService() 
s.addListener("key", callback: { a, b in print("success") }) 

これはない：

let s = SignalsService() 
let cb = { a, b in print("success") } 
s.addListener("key", callback: cb) 

let cb = ...線にエラーAmbiguous reference to member 'print'を投げます。

それはなぜですか？

addListener()

Answer 1

方法の種類から、すなわち 、文脈から閉鎖の種類を推測することができるコンパイラ

s.addListener("key", callback: { a, b in print("success") }) 

で。その方法は であれば、たとえば、コンパイラは、引数

{ a, b in print("success") 

は2つのIntのパラメータを取り、Voidを返すクロージャであると推測することができます

func addListener(key : String, callback: (Int, Int) -> Void) 

として宣言。

let cb = { a, b in print("success") } 

で

そのようなコンテキストが存在しない、従ってコンパイラは、クロージャの 種類を知ることができません。戻り値の型は Voidと推定できます。クロージャーは単一の式 で構成されていますが、パラメーターの型を指定する必要があるためです。

let cb = { (a : Int, b : Int) in print("success") } 

Answer 2

@MartinRの優れた答えがさらに拡大しています。

スウィフトはcbがタイプ(Int, Int)->()である、またはあなたが明示的にタイプを設定することができることを推測できるようにする必要があります：

let cb: (Int, Int)->() = { a, b in print("success") } 

次にあなたがaとbが使用されていないことに気づくと_とそれらを置き換えることができます：

関数は、2つのパラメータを取るとき

let cb: (Int, Int)->() = { _ in print("success") } 

は、なぜ我々は、単一の_で逃げることができますか？この場合、Swiftには2つのパラメータがあることがわかるため、_はすべてのパラメータを含むタプルの代わりになります。それは(_, _)を置き換えます。

let cb = { (_:Int, _:Int) in print("success") } 

またはあなたはそれが好きで書くことができます：

として読み取ることができ

let cb = { (_:(Int, Int)) in print("success") } 

：

cbあなたがMartinRの答え@で_を使用することができます

---

タイプの2つのパラメータをとります。それを無視して印刷する 「成功」