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

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

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

我已经看到使用协议中使用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声明的关联类型,其名称为“GeneratorType”.

任何的想法？

解决方法

问题是你正在使用保留字Type.尝试使用其他名称,如HashType,它编译得很好.

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

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

您可能应该在typealias行而不是类行上获得编译器错误,并且您可能想要打开雷达.