在Swift中的泛型类型的where子句中访问自定义协议的关联类型

Question

我希望能够声明这样的协议：

protocol TypedHashable {

    typealias Type

}

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

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

由于我无法看到的原因，编译器在＆＃34; K.Type＆＃34;的点下给出了以下错误。 ：

  

预期＆＃39;：＆＃39;或者＆＃39; ==＆＃39;表示一致性或相同类型的要求

我看过代码使用在协议中使用typealias声明的关联类型，在类型断言的where子句中访问那些typealias。下面是一些使用Swift标准协议Sequence（和Generator ...）进行编译和编写的代码：

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声明的关联类型，其名称为＆＃34; GeneratorType＆＃34;。

有什么想法吗？

Answer 1

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

参见＆＃34;元数据类型＆＃34;来自Swift编程语言：

  

类，结构或枚举类型的元类型是该类型的名称，后跟.Type。

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