arrays - 数组或字典扩展中的 Swift 3.0 : compiler error when calling global func min(T, T)

Question

从 Swift 2.2 转换到 3.0 后我的 Array扩展不再编译，因为它包含对全局标准库函数的调用 min<T>(T,T)并显示编译器错误 extra argument in call .

这是重现错误的简单方法:

extension Array {
    func smallestInt(first: Int, second: Int) -> Int {
        return min(first, second) // compiler error: "Extra argument in call"
    }
}

将相同的函数添加到 Dictionary 的扩展中时出现相同的错误，而完全相同的代码在其他类型的扩展中编译得很好(例如 String 或 AudioBuffer ):

查看 Array 的文档和 Dictionary , 我发现 Sequence 上有实例方法名为 public func min() -> Element?和 public func min(by areInIncreasingOrder: (Element, Element) throws -> Bool) rethrows -> Element? .虽然两者都是 String和 AudioBuffer没有任何类型的 min(...)功能。

难道这就是我不能调用全局函数的原因？编译器无法区分全局 func min<T>(T,T)和 self.min(...)尽管他们有完全不同的签名？

这是错误还是功能？我究竟做错了什么？我怎样才能调用min(T,T)正确地在 Array 内扩展名？

Answer 1

我看不出为什么编译器不能解析这个函数调用，因此我认为它是一个错误(它已经被归档——参见 SR-2450)。

每当尝试调用具有相同名称但与可从给定类型(实例或静态)的相同范围访问的方法或属性具有明显不同签名的顶级函数时，它似乎就会发生。

一个更简单的例子是:

func foo(_ a: Int) {}

struct Foo {

    func foo() {} // or static func foo() {}, var foo = 0, static var foo = 0

    func bar() {
        foo(2) // error: argument passed to call that takes no arguments
    }
}

在修复之前，一个简单的解决方案是在调用前加上它所在模块的名称，以消除您指的是顶级函数而不是实例函数的歧义。对于标准库，即 Swift:

extension Array {
    func smallestInt(first: Int, second: Int) -> Int {
        return Swift.min(first, second)
    }
}

---

在 Swift 4 中，编译器对这个错误有更好的诊断(尽管它仍然是错误的事实是 IMO 的错误):

extension Array {
    func smallestInt(first: Int, second: Int) -> Int {
        // Use of 'min' refers to instance method 'min(by:)'
        // rather than global function 'min' in module 'Swift'
        // - Use 'Swift.' to reference the global function in module 'Swift'
        return min(first, second)
    }
}

尽管有趣的是，编译器现在还会在尝试调用与 stdlib 顶级函数同名的标准库方法时发出警告:

extension Array where Element : Comparable {

    func smallest() -> Element? {
        // Use of 'min' treated as a reference to instance method in protocol 'Sequence'
        // - Use 'self.' to silence this warning
        // - Use 'Swift.' to reference the global function
        return min()
    }
}

在这种情况下，如警告所述，您可以使用显式 self. 使其静音:

extension Array where Element : Comparable {

    func smallest() -> Element? {
        return self.min()
    }
}

虽然这个警告真正令人好奇的是它似乎扩展到非 stdlib 定义的函数:

func foo(_ a: Int) {}

struct Foo {

    func foo() {}

    func bar() {
        foo() // no warning...
    }
}