如何声明具有多个具有非平凡关系的泛型类型的成员？

这是我想在我的java代码中编写的内容：

private <A extends Action<R>, R extends Result> MyType<A,R> member;

然而，这是无效的语法。所以我最终写道：

private MyType<? extends Action<? extends Result>, ? extends Result> member;

但这忽略了两个类都派生于的事实Result是相同的。我的类方法都强制执行这种关系，因此我可以确定 MyType 强制执行它，但我仍然必须不安全地进行类型转换member在某些情况下。

更多细节

这是我想要做的事情的精确版本，尽管它要复杂得多：

我希望我能做到：

private <A extends Action<R>, R extends Result> 
    Map< Class<A>, ActionHandler<A,R> > handlers;

相反，我必须这样做：

private Map< Class< ? extends Action<? extends Result> >, 
             ActionHandler<? extends Action<? extends Result>, 
                           ? extends Result> > handlers;

我的方法强制执行所需的关系，如下所示：

public <A extends Action<R>, R extends Result> void addHandler( 
    ActionHandler<A, R> handler ) {
  handlers.put( handler.getActionType(), handler );
}

我想要以下方法：

public <A extends Action<R>, R extends Result> ActionHandler<A, R> 
    findHandler( A action ) {
  return handlers.get( action.getClass() );
}

但这不起作用：我必须添加演员阵容和@SuppressWarnings("unchecked").

我尝试过的事情

我尝试为此目的创建一个新类：

public class MyMap <A extends Action<R>, R extends Result> extends 
    HashMap< Class<A>, ActionHandler<A,R> > { ... }

MyMap< ?, ? > handlers;

但这没用，我还需要演员。

没有干净的方法可以做到这一点。你能做的最好的就是你已经做过的——隐藏Map在强制类型安全的方法后面，并隐藏这些方法中必要的强制转换。

From 有效的Java第二版，第 29 项：“考虑类型安全的异构容器”（其中 Josh Bloch 勾勒出您正在做的事情的一个简单版本，一个“映射”，其中键是类，值是键类的实例）：

接下来要注意的是，值类型favorites地图很简单Object。换句话说，Map不保证键和值之间的类型关系。事实上，Java 的类型系统还不足以表达这一点。但我们知道这是真的，当需要检索最喜欢的东西时，我们会利用它。

鉴于无论如何您都无法对值进行任何有用的类型强制，最不混乱的实现可能是这样的：

public class HandlerRegistry
{
    private Map<Class<?>, Object> map = new HashMap<Class<?>, Object>();

    public <R extends Result, A extends Action<R>>
        void addHandler(Class<A> actionClass, ActionHandler<R, A> handler) {
        map.put(actionClass, handler);
    }

    @SuppressWarnings("unchecked")
    public <R extends Result, A extends Action<R>> ActionHandler<R, A>
        findHandler(A action) {
            return (ActionHandler<R, A>) map.get(action.getClass());
    }
}

关于a需要注意的一件事Map基于解决方案：如果action不完全是用作键的类，map.get()不会起作用——例如，如果它是一个子类，或者如果关键类是一个接口并且action本身就是实现。您可能会更好：

    @SuppressWarnings("unchecked")
    public <R extends Result, A extends Action<R>> ActionHandler<R, ? super A>
        findHandler( A action ) {
            for ( Map.Entry<Class<?>, Object> entry : map.entrySet() )
            {
                if (entry.getKey().isAssignableFrom(action.getClass())) {
                    return (ActionHandler<R, ? super A>) entry.getValue();
                }
            }
            return null;
    }

(Note:原来上面的第二个例子返回了ActionHandler<R, A>，这实际上是不正确的——它应该是? super A。 （我们不知道它除了可以处理什么A-- 它可以是任何超类A，一直到Object。）在这种特殊情况下，它可能足够安全，但如果您考虑类似List，我们可能会遇到很多麻烦：你可以安全地放置一个A into a List<? super A>，但如果你假设你只会得到A摆脱它，你会得到ClassCastExceptions.)