swift - 同名(和签名)闭包和函数 : non-ambiguous for >0 arguments, 在调用时给予闭包优先权

Question

同名和签名函数&闭包的优先级规则

当定义一个闭包和一个具有相同名称(例如，foo)和签名的函数时，似乎闭包在调用 said(看似模棱两可)foo.

// Int -> () function
func foo(num: Int) { print("function \(num)")}

// Int -> () closure
let foo: (Int) -> () = { print("closure \($0)")}
/* or...
let foo = { (num: Int) in print("closure \(num)")} */

foo(1) // closure 1

如果我按住 option 键并单击这两个声明，它们将在标签相关声明 下相互指向，不同之处在于它们被称为:

Declaration: func foo(num: Int)

Related Declarations: foo

...

Declaration: let foo: (Int) -> ()

Related Declarations: foo(_:)

如果我们尝试为零参数函数和闭包定义相同的双foo 定义，我们会得到一个编译时错误，提示重新声明无效

// () -> () function
func foo() { print("function")}

// () -> () closure
let foo: () -> () = { print("closure")}
/* or...
let foo = { () in print("closure")} */
    /* error: invalid redeclaration of 'foo' */

问题: 为什么上面的第一种情况被认为是无歧义的，为什么在调用 foo(..) 时闭包优先于函数(即，在 foo(...) 的重载解析中？

我还没有找到任何解释这个的官方文档(或现有的 SO 线程)。

---

针对 Swift 2.2/Xcode 7.3 和 Swift 3.0-dev/IBM Sandbox 进行了测试(函数签名修改为 func foo(_ num: Int) { ... } )。

Answer 1

在 Swift 中，如果没有传递参数，则不能将变量和函数或闭包命名为相同的名称。尽管我们以不同的方式调用它们(foo 用于变量，foo() 用于函数。我们将得到无效的 foo 重新声明。编译器将变量视为没有参数，就像函数一样。 考虑其中一些情况:

class X {
     var value : Int = 0
     func value() -> Int { return 1 }    // Invalid redeclaration of 'value()'
}
let x = X()

在这种情况下，x.value 是什么？是 Int 还是 () -> Int？ 将类的方法视为闭包是合法且有用的。

如果我们更加棘手，并且这样做会怎样:

class X {
     let value: () -> Int = { 2 }
     func value() -> Int { return 1 }    // Invalid redeclaration of 'value()'
}
let x = X()
let v = x.value() // ????

Swift 是否应该使用属性 value 然后调用它？或者它应该调用方法 value()？ 闭包作为属性是完全合法的。

但是，使用参数，您可以将一个函数和一个变量/闭包命名为相同的东西，尽管我建议您不要这样做。在这种情况下，您应该尝试为变量和函数命名，以描述它们是什么和/或它们做了什么，以使您的代码更容易被其他人阅读。我建议将变量命名为

class X {    
    // Int -> () function
    func foo(number num: Int) { print("function \(num)")}

    // Int -> () closure
    let foo: (Int) -> () = { print("closure \($0)")}
}

因为通过命名函数，当您的方法和变量名称相同时，用户可以准确地知道您正在调用哪个函数。用户可以知道他们传递的参数是什么。通过在调用如下方法时命名。

let x = X()
x.foo(number: 2)
x.foo(3)

然后您 CMD + 单击 它将指向您所编写的确切方法或变量/闭包。

考虑前面的例子:

class X {    
    // Int -> () function
    func foo(number num: Int) { print("function \(num)")}

    // Int -> () closure
    let foo: (Int) -> () = { print("closure \($0)")}
}
let x = X()
x.foo(2)    // x.foo(num: Int)
x.foo(3)    // x.foo

尽管您调用了正确的方法或闭包。通过 cmd + click 它将仅指向闭包。