当给定的参数是已知类型时，Array() 是如何模棱两可的？

Question

我看到了一些对我来说没有意义的东西。这是我的代码...

import Foundation

enum SeparatorPaddingLocation{
    case beforeSeparator
    case afterSeparator
}

struct SeparatorToken{
    let separator          : Character
    let formattedSeparator : String
    let paddingLocation    : SeparatorPaddingLocation
}

extension Array where Element == String {

    func aligned(separatorTokens:[SeparatorToken]) -> [String] {

        // This won't compile!
        let remainingSeparatorTokens = Array(separatorTokens.dropFirst())

        return self
    }
}

即使dropFirst() 返回ArraySlice<SeparatorToken>，'let' 也会导致此编译错误。

没有更多上下文的表达类型是模棱两可的

为什么这是模棱两可的？我错过了什么？

我也尝试过像这样完全限定它，但这也没有用...

let remainingSeparatorTokens:[SeparatorToken] = Array(separatorTokens.dropFirst())

Answer 1

这不是错误，没有什么神秘或类似错误的事情发生。

不是错误：这正是== 运算符在where 子句中可用的原因：要求Element 的类型为String ，正如here 所解释的那样。在页面中搜索“您还可以编写通用 where 子句要求 Item 为特定类型”。

不像错误：当您在扩展中并调用 Array 初始化程序时，编译器会使用您的 where 子句来指示您想要的 Array 的特化。你的where 子句说String，所以Array<String> 是。当您将 ArraySlice<SeparatorToken> 传递给 Array<String> 初始化程序时，编译器无法读懂您的想法。你是不是弄错了，或者你真的想要Array<ArraySlice<SeparatorToken>>？因此，关于歧义的错误消息。

这是 OP 代码的简化和注释版本，以防有人发现它很有启发性。

class Foo<T> {
    var theFoo: T!

    init() { theFoo = nil }
    init(_ aFoo: T) { theFoo = aFoo }
}

extension Foo where T == Int {
    func bar() {
        // This one fails, because our where clause
        // says this extension applies to Foo<Int>,
        // but now we're trying to assign it to a Foo<String>
        let aFoo: Foo<String> = Foo()

        // This one also fails, for the same reason.
        // It uses the other initializer, but we're
        // still inside the Foo<Int> extension.
        let bFoo: Foo<String> = Foo("bFoo")

        // This one works, because we're expressly
        // overriding the where clause
        let cFoo: Foo<String> = Foo<String>("cFoo")
    }
}

歧义错误是有道理的。我在我的where 子句中告诉编译器让它成为Int 扩展，所以它创建了Foo<Int>s。但后来我尝试将它们分配给Foo<String> 类型的变量。编译器无法判断我是真的想要Foo<String> 还是我犯了一个错误，所以它放弃了。

Answer 2

在泛型扩展中，类型参数绑定到它们的范围。我不确定这是否真的是一件好事（或者如果它真的是一个错误），但它始终显示出来，所以这里的类型参数隐含地想要是String。

一个更简单的例子：

let x = Array()  // error: generic parameter 'Element' could not be inferred

这是有道理的。但是把它放在一个扩展中：

extension Array {
    func f() {
        let x = Array()
    }
}

这样编译，x 的类型为 [Element]。

在您的情况下，您已将Element 设置为String，因此对Array.init 的调用想要创建一个[String]，它会因为SeparatorToken != String 而变得混乱。您需要显式传递类型参数（如您所见）：

let remainingSeparatorTokens = Array<SeparatorToken>(separatorTokens.dropFirst())

再说一次，我真的不认为这是 Swift 中的一个特性，它甚至可能被认为是一个错误。但它非常一致。

Answer 3

我只是在操场上运行你的代码并更新如下，然后错误消失了：

import UIKit
import Foundation

enum SeparatorPaddingLocation{
    case beforeSeparator
    case afterSeparator
}

struct SeparatorToken{
    let separator          : Character
    let formattedSeparator : String
    let paddingLocation    : SeparatorPaddingLocation
}

extension Array where Element == String {

    func aligned(separatorTokens:[SeparatorToken]) -> [String] {

        // I update code here
        let remainingSeparatorTokens = Array<SeparatorToken>(separatorTokens.dropFirst())

        return self
    }
}

根据 swift，当您要使用 Array 进行初始化时，Array 需要类型。

我希望这对你有用。

更多阵列详情请访问：https://developer.apple.com/documentation/swift/array