java - 无法使用泛型转换为非特定的嵌套类型

Question

我有两个带有嵌套泛型的类。有没有办法摆脱

类型不匹配:无法从 Msg<Value<String>> 转换至 Msg<Value<?>> 错误？在上次作业中

public class Value<V> {
    V   val;

    public Value(V val) {
        this.val = val;
    }
    @Override
    public String toString() {
        return "" + val;
    }
}

public class Msg<T> {

    T holder;

    public Msg( T holder) {
        this.holder = holder ;
    }
    public String toString() {
        return "" + holder;
    }

    public static void main(String[] args) {
        Msg<Value<String>>strMsg = new Msg(new Value<String>("abc"));
        // This is OK
        Msg<?>objMsg = strMsg;
        // Type mismatch: cannot convert from Msg<Value<String>> to Msg<Value<?>>   
        Msg<Value<?>>objMsg = strMsg;
    }
}

Answer 1

使用以下内容:

Msg<? extends Value<?>> someMsg = strMsg;

问题是 ?在 Msg<Value<?>> objMsg 不 能够捕获转换。它不是“一些类型的Msg的Value。它是“Msg的 Value 任何类型。

这也解释了为什么在声明更改的同时，我还将变量重命名为 someMsg . Value不能只是任何 Object .它必须属于一些类型(本例中为 String)。

---

一个更通用的例子

让我们考虑一个更通用的例子 List<List<?>> .类似于原始场景，List<List<?>> NOT 不能捕获转换 List<List<Integer>> .

    List<List<Integer>> lolInt = null;

    List<List<?>> lolAnything = lolInt;         // DOES NOT COMPILE!!!
    // a list of "lists of anything"

    List<? extends List<?>> lolSomething = lolInt;   // compiles fine!
    // a list of "lists of something"

这是另一种看待它的方式:

• Java 泛型是类型不变的
• 有来自 Integer 的转化 到 Number ，而是一个 List< Integer >不是 List< Number >
  • 同样， List<Integer> 可以通过 List<?> 进行捕获转换，而是一个 List< List<Integer> >不是 List< List<?> >
• 使用有界通配符，List<? extends  Number >可以捕获转换 List< Integer >
  • 同样，一个 List<? extends  List<?> >可以捕获转换 List< List<Integer> >

一些?的事实可以捕获而其他人不能也解释了以下片段:

    List<List<?>> lolAnything = new ArrayList<List<?>>(); // compiles fine!

    List<?> listSomething = new ArrayList<?>(); // DOES NOT COMPILE!!!
        // cannot instantiate wildcard type with new!

相关问题

• Multiple wildcards on a generic methods makes Java compiler (and me!) very confused
  • 对这个问题进行了很长很详细的探索
• Java Generic List<List<? extends Number>>
• Any simple way to explain why I cannot do List<Animal> animals = new ArrayList<Dog>() ?
• What is the difference between <E extends Number> and <Number> ?

另见

• Java Generics Tutorial
  • Generics and Subtyping | Wildcards | More Fun with Wildcards
• Angelika Langer's Java Generics FAQ
  • What is a bounded wildcard?
  • Which super-subtype relationships exist among instantiations of generic types?