代码之家 › 专栏 › 技术社区 › sooniln

复杂泛型组合

generics java

sooniln · 技术社区 · 16 年前

class MySet<T> {

  MySet<? extends T> child; 

  void doStuff (Collection<? extends T> args) {
    child.doStuff(this, args);
  }

}

编辑:修复问题和示例代码,以反映真实问题

现在,孩子 <T <T >,因此父级必须传入一个集合 <X &燃气轮机;哪里 <X <T >。请记住,此父级->子链可以延伸到任意长度。有没有办法安排泛型,以便parent.doStuff(…)可以编译,也就是说,只能使用其限制最严格的子级的参数来调用它?

是确保孩子不能比他们的父母使用泛型(即MySet)更严格的唯一解决方案 < <? extends T >)孩子们是否比其他地方的父母更严格?

2 回复 | 直到 16 年前

Varkhan 16 年前

我可以马上对问题的一部分给出否定的回答:

泛型使parent.doStuff(…) 将编译,即,使其只能用它的参数调用限制性最强的孩子?

这意味着java编译器会把一般信息全部传给你向上到达父级的方式->子链到确定允许的参数是什么多斯塔夫可能是,我不知道如果它有这种能力。

更进一步说,如果您有一个检查过的类型而不是普通泛型,并且有一个方法可以在链中传递接受的(最严格的)实际类型,那么您可以在运行时进行检查,并引发运行时错误,但它决不会是编译错误。

所以不,除非实际的最终类型是已知的(并且可能由第二个类型arg指定),否则编译器将无法在这方面帮助您。

Tom Hawtin - tackline 16 年前

所呈现的代码似乎没有任何意义。

考虑

 MySet<String> c = ...;
 MySet<Object> p = new MySet<Object>(c);
 Collections<Integer> ints = ...;
 p.doStuff(ints);

c.doStuff(???, ints) . ints Collection<Integer> ,但被调用方需要 doStuff(Collection<? extends String>) .

推荐文章

Glory Raj · 有什么方法可以使这两个块具有共同的功能吗

2 年前

username128437855 · 在泛型类中使用非泛型方法是否有任何问题?

2 年前

milczi · Swift通用无强制展开向下投射

7 年前

NSjonas · 接受函数并返回包含参数子集的函数的Typescript函数

7 年前

Richard Sand · Java工厂使用泛型和供应商接口,但仍然需要类型转换,有些地方不太正确

7 年前

Stephen Kennedy annamataws · 为什么受“Enum”约束的泛型类型在C#7.3中不能限定为“struct”?

7 年前

bugs · Typescript-泛型类型扩展自身

7 年前

John Bustos · C#通用工厂模式,不说明通用工厂模式的类型

7 年前

Blankdud · 具有默认数据的通用对象创建方法

7 年前

Tim Hutchison · 从泛型对象列表中读取泛型值

7 年前