尝试使用泛型时出现问题

Question

我有课

public abstract class AbstractE<T, E extends Enum<E> & Flags>
{
     public interface Flags{} /*marker interface*/
     //... 
     //other code
}

还有一个界面

public interface IXYZAdapter
{
   public <E extends Enum<E> & Flags> Set<E> getFlags();
}

Flags 是 AbstractE 本身定义的接口。

M 因而扩展了 AbstractE：

public class M extends AbstractE<Long, M.EF> implements IXYZAdapter
{
    public enum EF implements AbstractE.Flags{flag1, flag2}
    @Override /*from IXYZAdapter*/
    public Set<M.EF> getFlags()
    {return EnumSet.allOf(EF.class);}
    
}

现在，从主代码中，我尝试获取接口 IXYZAdapter 的句柄并调用 getFlags 方法

IXYZAdapter adapter = (IXYZAdapter)m; //where m is an instance of AbstractE
Set s = adapter.getFlags();

我在主程序最后一行得到以下编译时错误（Set s = adapter.getFlags();）

E 的推断类型无效；推断类型不符合声明的边界

inferred: AbstractE.Flags

bound(s): java.lang.Enum<AbstractE.Flags>,AbstractE.Flags

我做错了什么？ 我正在使用 Java 6

已编辑以指定错误位置

Answer 1

试试这个：

public interface IXYZAdapter <E extends Enum<E> & AbstractE.Flags>
{
   public Set<E> getFlags();
}

和

public class M extends AbstractE<Long, M.EF> implements IXYZAdapter<M.EF> 
{
}

或者

Set<M.EF> s = adapter.getFlags();

问题在于Set s = adapter.getFlags(); 系统不知道要为 IXYZAdapter 中的 E 推断哪种类型，因此 AbstractE 中的 E 不匹配。

编辑：

另一个选项可能是：

interface IXYZAdapter <E extends Enum<E> & AbstractE.Flags>
{
  public Set<? extends E> getFlags();
}

class M extends AbstractE<Long, M.EF> implements IXYZAdapter<M.EF>
{
  public enum EF implements AbstractE.Flags{flag1, flag2}
  public Set<? extends M.EF> getFlags()
  {return EnumSet.allOf(EF.class);}

}

还有电话：Set<? extends AbstractE.Flags> s = adapter.getFlags();

这将允许您在不强制转换的情况下获得一组标志并强制将标志声明为枚举。

Answer 2

使用 thomas 提供的第一个解决方案，main 方法可以这样编写，从而无需实际了解枚举类型：

public static void main(String[] args) {
    M m = new M();
    IXYZAdapter<?> adapter = (IXYZAdapter<?>)m;
    Set<?> flags = adapter.getFlags();
    Iterator<?> it = flags.iterator();

    while(it.hasNext()) {
        System.out.println(it.next());
    }
}