3

我有一个实用程序类，它需要在通用类上工作，但必须限于那些是枚举并实现特定接口的工具类。

// These two work
Class<? extends Enum<?>> enumClass;
Class<? extends MyInterface> interfaceClass;

// This is what I want but does not work
Class<? extends MyInterface & Enum<?>> enumAndInterfaceClass;

对于泛型，我可以成功使用它

public class MyClass<T extends Enum<T> & MyInterface> {
    public MyClass(Class<T> theClass) {
        ...
    }
}

但是我不能在任何地方使用泛型，需要单独声明。我不确定这是否可能。
所以我的问题归结为如何声明具有这些约束的成员变量？

所以目前 MyClass 是一个单例，然后可以根据需要更新枚举/接口。其操作的返回值将根据给定的枚举而改变。我希望没有泛型，因为这需要为枚举的每次更改创建一个新实例。已经有很多代码在使用它，因此偏离单例将不会被批准。所以必须保留参考。我想我只能强制执行接口要求，然后在 setter 方法中检查它是一个枚举，否则会抛出异常，但这并不理想。

编辑（更新问题并添加更多细节）

4

2 回答 2

2

这应该有效：

public interface MyInterface {

    void foo();
}

public final class Utils {

    public static <E extends Enum<E> & MyInterface> void doWork(Class<E> clazz) {
        for(E enumConstant : clazz.getEnumConstants) {
            enumConstant.foo();
        }
    }
}

编辑我没有注意到您关于将捕获的类型用作局部变量的说法。您当然可以在参数化方法的整个主体中使用它，请参阅上面的修订片段。

于 2012-04-05T22:51:15.310 回答
2

据我记得，您只能为类和方法的类型参数声明交集类型（这是&创建的）。您不能直接声明具有交集类型的局部变量；您可以在类或方法类型参数的帮助下创建此类变量，如 milkplusvellocet 的答案所示。

请参阅此答案中类似问题的 JLS 参考： https ://stackoverflow.com/a/6643378/282229

于 2012-04-05T22:53:22.787 回答