generics - 在 Swift 泛型类型的 where 子句中访问自定义协议(protocol)的关联类型

Question

我希望能够像这样声明一个协议(protocol):

protocol TypedHashable {

    typealias Type

}

并像这样在 where 子句中使用它:

class UsingTypedHashable<K: TypedHashable, V: TypedHashable where K.Type == V.Type> {
    ...
}

由于我看不到的原因，编译器在“K.Type”的点下给我以下错误:

Expected ':' or '==' to indicate a conformance or same-type requirement

我已经看到代码使用在协议(protocol)中使用 typealias 声明的关联类型访问 where 子句中的那些 typealias 以进行类型断言。这是一些编译代码，并使用 Swift 标准协议(protocol)序列(和生成器...)执行此操作:

func toArray<S : Sequence,
         T where T == S.GeneratorType.Element>
    (seq : S) -> T[] {
    var arr = T[]()
    for x in seq {
        arr.append(x)
    }
    return arr
}

(注:代码来自https://schani.wordpress.com/author/schani/)

上述代码使用了Sequence协议(protocol)声明的关联类型，名称为“GeneratorType”。

有什么想法吗？

Answer 1

问题是您使用了保留字 Type。尝试使用其他名称，如 HashType，它编译正常。

请参阅 Swift 编程语言中的“元类型”:

The metatype of a class, structure, or enumeration type is the name of that type followed by .Type.

您可能应该在 typealias 行而不是 class 行上遇到编译器错误，并且您可能想要打开雷达。