在 HashMap 中使用嵌套的泛型类型

Question

我正在寻找一种在Map 的类型中使用泛型类型的Map 的方法，然后使用键和正确的类型检索那些。例如：

private final <T> Map<A<T>,B<T>> map = new HashMap<>();

public <T> B<T> getB(final A<T> a) {
  return map.get(a);
}

使用它的一个例子是：

final A<String> a = ...;
final B<String> b = getB(a);

这是否存在或有任何解决方法？

编辑：我知道我可以通过强制转换来解决它，但我想知道是否有一种更优雅的方式不需要我强制转换我检索到的每个值。

Answer 1

您不能以这种方式声明地图。基本上，Java 对此没有足够表达的类型系统。

但幸运的是，该语言以 casts 的形式提供了使用类型系统的逃生口。基本上，强制转换是一种提供编译器没有的类型信息的方法。然而，你有责任确保它实际上是是类型安全的。

首先，用通配符类型声明地图：

private final Map<A<?>,B<?>> map;

然后，只将键/值对放入 满足约束的映射中：

<T> void put (A<T> key, B<T> value) {
  map.put(key, value);
}

当你再次取出元素时再进行投射：

@SuppressWarnings("unchecked") // Safe
<T> B<T> get(A<T> key) {
  return (B<T>) map.get(key);
}

关键是你可以比编译器更了解类型。如果您注意只放入可安全施放的对，则施放它们是安全的。 （您还需要确保equals 方法将类型考虑在内，因此A<T> 不等于A<S>，除非S == T）。

这基本上是一个“类型安全的异构容器”，如 Effective Java（第 3 版中的第 33 项）中所述。

我想知道是否有一种更优雅的方式不需要我强制转换我检索到的每个值。

一方面，您实际上并没有在运行时对 get 方法进行强制转换：这就是未经检查的强制转换的含义。

另一方面，泛型引入了 loads 的转换 - 基本上泛型只是一种避免手动插入转换的方法。因此，如果演员表出现问题（例如性能），您已经在很多地方观察到了这一点。

套用库布里克的话：别担心，爱演员。

Answer 2

好吧，我被激怒了发布这个答案，作为对 OOP 原则的一种看法。

问题代表Map<A<T>,B<T>>，所以我的方法是这样做：

class A<T> {}
class B<T> {}

public class Answer {

    public static void main(String[] args) {

        Map<A, B> map = new HashMap<>();
        A<Integer> a = new A<>(); //very safe
        B<String> b = new B<>(); //very safe

        map.put(a, b); //very safe

    }

}

我承认，还有额外的工作，但是……