我正在尝试使用泛型实现以下结构。遇到编译器错误,无法找出原因。
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/
类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
我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
我主要使用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
为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返
它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput
我可以得到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类的两个特殊实例的字符串
如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象
关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串?SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复?
我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后,我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是,如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误,还是仅仅是Ruby解析变量名的方式的逻辑结果? 最佳答案 Isthisabug,or