Generics 该类继承同一类的两个不同泛型派生_Generics_Polymorphism_Generic Collections_Eiffel

Generics 该类继承同一类的两个不同泛型派生

generics

Generics 该类继承同一类的两个不同泛型派生,generics,polymorphism,generic-collections,eiffel,Generics,Polymorphism,Generic Collections,Eiffel,什么是通过继承精确定义iterable类型的正确方法因为继承富[像巴巴尔]是不被允许的福酒吧我建议在类FOO中使用正式的泛型参数： class FOO [G] inherit ITERABLE [G] 然后，classBAR将提供一个合适的实际通用参数： class BAR inherit FOO [STRING] 我也在考虑这个解决方案，但不想给出每个l_foo:foo[detaccable ANY]，但可能唯一的方法是“foo_GENERIC_ANY继承foo[d

什么是通过继承精确定义iterable类型的正确方法

因为继承富[像巴巴尔]是不被允许的

福酒吧

我建议在类

FOO

中使用正式的泛型参数：

class FOO [G]
inherit
    ITERABLE [G]

然后，class

BAR

将提供一个合适的实际通用参数：

class BAR
inherit
    FOO [STRING]

我也在考虑这个解决方案，但不想给出每个l_foo:foo[detaccable ANY]，但可能唯一的方法是“foo_GENERIC_ANY继承foo[detaccable ANY]”：（@Pipo据我所知，锚定类型不会很快在父子句中得到支持，所以我目前没有看到更好的解决方案。

class FOO [G]
inherit
    ITERABLE [G]

class BAR
inherit
    FOO [STRING]