如何让 Java 为我的类型安全映射文字推断正确的通用映射类型？

Question

我正在尝试在 java 中编写一个类型安全的映射文字帮助程序类，它可以生成任何类型的映射，并让编译器检查所​​有给定的键和值是否符合映射的类型。对于具有两个值的映射，将有一个具有以下签名的函数：

public static <KEY, VALUE> Map<KEY, VALUE> make(final KEY key1,
        final VALUE value1,
        final KEY key2,
        final VALUE value2)

现在我预计类似的事情是可能的：

    Map<Integer, Object> map = make(1, "bla", 3, 17);

但是我收到编译器错误：

Type mismatch: cannot convert from Map<Integer,Object&Serializable&Comparable<?>> to 
 Map<Integer,Object>

有没有办法解决这个问题？当然，用签名 make(Object...keysAndValues) 定义一个函数是可行的，但我会失去编译时类型安全性。 :-(

Answer 1

错误可能在这里：

Map<Integer, Object> map = make(1, "bla", 3, 17);
                                   ^^^^^     ^^

VALUE >无法从 String 和 Integer 推断对象

请尝试以下任一操作：

// Helping the compiler to infer Object for VALUE
Map<Integer, Object> map = make(1, (Object)"bla", 3, 17);

// Explicitly bind VALUE to Object
Map<Integer, Object> map = MyClass.<Integer, Object>make(1, "bla", 3, 17);

// If you don't need to write into "map" (as user pmnt also suggested)
Map<Integer, ?> map = make(1, "bla", 3, 17);

Answer 2

如果您在调用方法中修改地图的签名，您的代码将起作用：

make 无需进行任何更改

public static <A, B> Map<A, B> make(final A key1, final B value1,
        final A key2, final B value2) {
    Map<A, B> map = new HashMap<A, B>();
    map.put(key1, value1);
    map.put(key2, value2);
    return map;
}

Make 的调用方

您必须将 Map 更改为 Map：

public static void main(String[] args) {

    @SuppressWarnings("unused")
    Map<String, ? extends Object> m = make("a", new Integer(1), "2", "efg");

}

编辑1：OpenJDK 1.6 + Eclipse Indigo编译器

编辑2：在构建这样的通用映射时，您必须接受在检索值时必须进行向下转换。

EDIT3：有办法解决这个问题吗？当然，用签名 make(Object...keysAndValues) 定义一个函数是可行的，但我会失去编译时类型安全性。

在某个时刻，你总是会失去编译时安全性。至少在检索方面是这样。

Answer 3

这确实可以编译：

Map<Integer, ? extends Serializable> map = make(1, "bla", 3, 17);

这就是 Java 的泛型类型推断为您提供的功能。不是你所期望的吗？

您有几个选择，要么在方法上使用澄清符：

Map<Integer, Object> map = Util.<Integer, Object>make(1, "bla", 3, 17);

或者您可以使用没有公共父接口的对象。

Map<Integer, Object> map = make(1, "bla", 3, new Object());

Answer 4

编译器必须根据给定的参数“猜测”类型 KEY 和 VALUE（存储返回值的 Map 类型为忽略）。 VALUE 的“猜测”是最严格的适合 Integer 和 String 的类型：任何实现 Comparable 和 Serialized (Object&Serialized&Comparable) 的类型。

您有两种选择：将至少一个 VALUE 转换为对象：

Map<Integer, Object> map = make(1, (Object)"bla", 3, 17);

或在映射中使用通配符

Map<Integer, ?> map = make(1, "bla", 3, 17);

Answer 5

String 实际上实现了 Serializable 和 Comparable 接口，而 Object 没有..所以它说的 Object 没有实现，但它的隐式 typeCasted String 却实现了...

Answer 6

下面的解决方案看起来应该可以工作，但奇怪的是它只能在 Eclipse 编译器中工作，而不能在普通的 Java 6 编译器上工作。 8-{为什么？？？

方法声明非常复杂，但在创建映射时允许使用最简单的语法：

public static <KEY, AKEY extends KEY, VALUE, AVALUE extends VALUE> Map<KEY, VALUE> make2(final AKEY key1,
        final AVALUE value1,
        final AKEY key2,
        final AVALUE value2)

这里，编译器从上下文中推断

Map<Integer, Object> map = make(1, "bla", 3, 17);

KEY 应该是 Integer，VALUE 应该是 Object； AKEY 是从给定参数推断为 Integer 和 AVALUE 为 Object&Serialized&Comparable ，编译器可以验证 AKEY 符合 KEY 且 AVALUE 符合 VALUE 。