java - Java 泛型类型推断

Question

我试图通过

Map<String, Map<String, List<TranslationImport>>> variable

到期望的超类构造函数：

Map<String, Map<String, List>>  

我尝试更改父类的构造函数以期望

Map<String, Map<String, List<?>>> 

和

Map<String, Map<String, ? extends List>> 

无济于事。

Answer 1

如果我理解正确，您可以更改超类构造函数签名；您只需要接受List元素类型的任意值的东西吗？

应该是这样Map<String, ? extends Map<String, ? extends List<?>>>的。

Answer 2

也许这会“帮助”一点

static void test(Map<String, Map<String, List>> m) {
    System.out.println(m);
}
public static void main(String[] args) {
    Map<String, Map<String, List<TranslationImport>>> variable = new HashMap<String, Map<String, List<TranslationImport>>>();
    Map<String, Map<String, List>> m2=(Map)variable;
    test(m2);
}

Answer 3

问题是捕获转换没有递归应用：

http://docs.oracle.com/javase/specs/jls/se7/html/jls-5.html#jls-5.1.10

所以 '？' 在嵌套 < > 内被忽略以进行捕获转换

使您的代码正常工作的一种方法（尽管从从泛型获得任何价值的角度来看并不完全令人满意）是执行以下操作：

import java.util.List;
import java.util.ArrayList;
import java.util.Map;
import java.util.HashMap;

public class Foo extends FooParent {
    Foo(Map<String, Map<String, List<TranslationImport>>> variable) {
        super(variable);
        System.out.println("ok");
    }
    public static void main(String[] args) {
        Map<String, Map<String, List<TranslationImport>>> var =
            new HashMap<String, Map<String, List<TranslationImport>>>();
        Foo foo = new Foo(var);
    }
}

class FooParent {
    FooParent(Map<String, ?> variable) {
        System.out.println("FooParent constructor");
    }
}

class TranslationImport {
}