我正在尝试使用泛型实现以下结构。收到编译器错误，无法找出原因。
class Translator<T:Hashable> {...} class FooTranslator<String>:Translator<String> {...}
这个想法是译者使用T作为字典中键的类型。例如，可以是字符串或枚举。子类提供具体的字典。
但是它失败，因为：“类型’String’不符合协议’Hashable’”
但是String符合Hashable。它也不适用于Int，后者也符合Hashable。
如果删除类型约束，则仅用于测试（在此我还必须禁用字典，因为我不能在其中使用任何不可哈希的键）-它会编译
class Translator<T> {...} class FooTranslator<String>:Translator<String> {...}
我究竟做错了什么？
我不是开发商斯威夫特，但是看在Java中类似的问题，我怀疑的问题是，此刻的你正在声明称为类型参数String，因为你宣告classFooTranslator<String>-这样的类型 参数_的Translator<String>就是这种类型的参数，没有任何限制。你不 _希望 在所有类型参数，我怀疑（即你不希望你FooTranslator成为一个通用类本身）。
String
classFooTranslator<String>
Translator<String>
FooTranslator
如注释中所述，在通用类的子类中，也必须是通用类。您可以声明一个抛弃型参数，如下所示：
class FooTranslator<T>:Translator<String>
仍然避免声明一个名为的新类型参数String，而这正是导致此问题的原因。这意味着你要介绍的，当你不新类型参数 想 任何类型的参数，但它可能是聊胜于无…
所有这些都基于您确实需要一个子类的假设，例如添加或覆盖成员。另一方面，如果您只想要与 完全相同 的类型Translator<String>，则应改用类型别名：
typealias FooTranslator = Translator<String>
甚至甚至以可怕的方式将两者混合使用，如果您确实想要一个子类但又不想以一种通用的方式引用它：
class GenericFooTranslator<T>:Translator<String> typealias FooTranslator = GenericFooTranslator<Int>
（注意，Int这里是故意不String，以表明T在Translator不一样T的FooTranslator）。
Int
T
Translator
