草庐IT

generics - 为什么泛型不能编译?

coder 2023-07-14 原文

我正在尝试使用泛型实现以下结构。遇到编译器错误,无法找出原因。

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

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

想法是 Translator 使用 T 作为字典中键的类型。这可以是例如一个字符串或一个枚举。子类提供具体字典。

但它失败了,因为:“类型‘String’不符合协议(protocol)‘Hashable’”

但是String符合Hashable。它也不适用于同样符合 Hashable 的 Int。

如果我删除类型约束,只是为了测试(我还必须禁用字典,因为我不能使用任何不可散列的东西作为那里的键)- 它编译

class Translator<T> {...}

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

我做错了什么?

最佳答案

首先,让我们解释一下错误:

给定:

class Foo<T:Hashable> { }

class SubFoo<String> : Foo<String> { }

这里令人困惑的部分是我们期望“String”表示 Swift 定义的结构,它包含一个字符集合。但事实并非如此。

这里,“String”是我们赋予新子类 SubFoo 的泛型类型的名称。如果我们进行一些更改,这将变得非常明显:

class SubFoo<String> : Foo<T> { }

此行为 T 生成错误,因为使用了未声明的类型。

然后如果我们把这一行改成这样:

class SubFoo<T> : Foo<T> { }

我们又回到了您最初遇到的相同错误,“T”不符合“Hashable”。在这里很明显,因为 T 不是恰好符合“Hashable”的现有 Swift 类型的名称。很明显,“T”是泛型。

当我们写 'String' 时,它也只是泛型类型的占位符名称,而不是 Swift 中实际存在的 String 类型。


如果我们想为泛型类的特定类型取一个不同的名字,合适的方法几乎肯定是 typealias:

class Foo<T:Hashable> {

}

typealias StringFoo = Foo<String>

这是完全有效的 Swift,它编译得很好。


如果相反,我们想要的是实际子类化并向泛型类添加方法或属性,那么我们需要的是一个类或协议(protocol),使我们的泛型更符合我们的需要。

回到最初的问题,我们先把错误去掉:

class Foo<T: Hashable>

class SubFoo<T: Hashable> : Foo<T> { }

这是完全有效的 Swift。但它对我们正在做的事情可能不是特别有用。

我们无法做到以下几点的唯一原因:

class SubFoo<T: String> : Foo<T> { }

只是因为 String 不是 Swift 类——它是一个结构。这对于任何结构都是不允许的。


如果我们编写一个继承自 Hashable 的新协议(protocol),我们可以使用它:

protocol MyProtocol : Hashable { }

class Foo<T: Hashable> { }
class SubFoo<T: MyProtocol> : Foo<T> { }

这是完全正确的。

另外,请注意我们实际上不必继承Hashable:

protocol MyProtocol { }
class Foo<T: Hashable> { }
class SubFoo<T: Hashable, MyProtocol> { }

这也是完全正确的。

但是请注意,无论出于何种原因,Swift 都不允许您在此处使用类。例如:

class MyClass : Hashable { }

class Foo<T: Hashable> { }
class SubFoo<T: MyClass> : Foo<T> { }

Swift 神秘地提示“T”不符合“Hashable”(即使我们添加了必要的代码来实现它)。


最后,正确的方法,也是最适合 Swift 的方法是编写一个新的协议(protocol),该协议(protocol)继承自“Hashable”并向其添加您需要的任何功能。

我们的子类接受一个 String 应该不是严格意义上的重要。重要的是,无论我们的子类采用什么,它都具有我们正在做的任何事情所需的必要方法和属性。

关于generics - 为什么泛型不能编译?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27920521/

有关generics - 为什么泛型不能编译?的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  6. ruby - ruby 中的 TOPLEVEL_BINDING 是什么? - 2

    它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  7. ruby - Infinity 和 NaN 的类型是什么? - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN?它们是对象、关键字还是其他东西? 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  8. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象,为什么它会起作用? - 2

    如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象

  9. ruby - 为什么 SecureRandom.uuid 创建一个唯一的字符串? - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串?SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复?

  10. ruby - 当使用::指定模块时,为什么 Ruby 不在更高范围内查找类? - 2

    我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后,我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是,如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误,还是仅仅是Ruby解析变量名的方式的逻辑结果? 最佳答案 Isthisabug,or

随机推荐