奇怪的泛型错误

发布时间：2020-12-14 06:00:53 所属栏目：百科来源：网络整理

导读：我试图使用泛型实现以下结构。得到一个奇怪的编译器错误，不能弄清楚为什么。 class TranslatorT:Hashable {...}class FooTranslatorString:TranslatorString {...} 这个想法是，译者使用T作为字典中键的类型。这可以是例如。 a String或枚举。子类提供具体

我试图使用泛型实现以下结构。得到一个奇怪的编译器错误，不能弄清楚为什么。

class Translator<T:Hashable> {...}

class FooTranslator<String>:Translator<String> {...}

这个想法是，译者使用T作为字典中键的类型。这可以是例如。 a String或枚举。子类提供具体的字典。

但它失败，因为：“类型’字符串’不符合协议’Hashable’”

但String符合Hashable！我坚果吗？它也不适用于Int，也符合Hashable。它也不工作，如果我替换Hashable与Equatable，这也应该由两个实现。

如果我删除类型约束，只是为了测试(我还必须禁用字典，因为我不能使用任何不哈希的密钥) – 它编译

class Translator<T> {...}

class FooTranslator<String>:Translator<String> {...}

我究竟做错了什么？

我不是一个Swift开发人员，但是在Java中遇到过类似的问题，我怀疑问题是，你现在声明一个类型参数叫String，因为你声明了类FooTranslator< String> – 因此，转换器< String>中的类型参数只是那个类型参数，它没有约束。你根本不想要一个类型参数，我怀疑(即你不希望你的FooTranslator是一个泛型类本身。)

如在评论中所指出的，在Swift subclasses of a generic class also have to be generic.你可以声明一个throw-away类型参数，如下所示：

class FooTranslator<T>:Translator<String>

这仍然避免声明一个新的类型参数称为String，这是什么导致的问题。这意味着你引入一个新的类型参数，当你不想要任何类型参数，但它可能比没有什么更好！

这是所有的假设，你真的需要一个子类，例如。添加或覆盖成员。另一方面，如果你只想要一个类型与Translator< String>完全相同，你应该使用一个类型别名：

typealias FooTranslator = Translator<String>

或者甚至混合两个在一个可怕的方式，如果你真的想要一个子类，但不想以一个通用的方式引用它：

class GenericFooTranslator<T>:Translator<String>
typealias FooTranslator = GenericFooTranslator<Int>

(请注意，Int这里是故意不是String，以表明T在转换器中不同于FooTranslator中的T。)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!