如何使用泛型变量声明地图？

Question

我有一个Map其键为通用类型Key<T>，而值为类型List<T>。如果键是的实例Key<String>，则值必须是List<String>，并且相同的规则适用于任何其他键值对。我尝试了以下方法，但无法编译：

Map<T, List<T>> map;

目前，我必须使用“部分”泛型进行声明：

Map<Object, List> map;

我知道这很糟糕，但是我目前没有更好的选择。在这种情况下可以使用泛型吗？

更新

也许我没有明确表达我的问题。我想要一张能够：

map.put(new Key<String>(), new ArrayList<String>());
map.put(new Key<Integer>(), new ArrayList<Integer>());

并且以下代码不应编译：

map.put(new Key<String>(), new ArrayList<Integer>());

键和值应始终具有相同的泛型类型，而泛型类型可以是任意泛型，并且显然扩展地图不符合我的要求。

Answer 1

我不知道任何现有的库都可以精确地做到这一点，但是实现自己并不难。我过去做过几次类似的事情。您不能使用标准的Map接口，但是可以在内部使用哈希映射来实现您的类。首先，它可能看起来像这样：

public class KeyMap {
  public static class Key<T> { }

  private final HashMap<Object,List<?>> values = new HashMap<Object,List<?>>();

  public <T> void put(Key<T> k, List<T> v) {
    values.put(k, v);
  }

  public <T> List<T> get(Key<T> k) {
    return (List<T>)values.get(k);
  }

  public static void main(String[] args) {
    KeyMap a = new KeyMap();
    a.put(new Key<String>(), new ArrayList<String>());
    a.get(new Key<Integer>());
  }
}