Java：混合泛型和VarArgs

Question

我有以下定义特定类型的接口

public interface BaseInterface {
}

该接口将用于实现几个枚举，如下所示：

public enum First implements BaseInterface {
  A1, B1, C1;
}


public enum Second implements BaseInterface {
  A2, B2, C2;
}

我现在想要一个小的可重用方法，该方法的工作原理类似于Enum.valueOf（String），这个想法是我提供一个常量的名称以及可以实现它的所有可能的类型。 它将返回实现该接口的枚举对象（我不必担心两个枚举常量具有相同名称的可能性）。 客户端代码如下所示：

BaseInterface myConstant = parse("A1", First.class, Second.class);

我遇到的问题是方法的定义。 我正在考虑以下方面的事情：

@SafeVarargs
private final <T extends Enum<T> & BaseInterface > T parse(String name, Class<T>... types) {
    // add code here
}

但是Java编译器抱怨types的定义。 它只会让我传递一种独特的类型！ 以下是有效的：

parse("A1");
parse("A1", First.class);
parse("A1", First.class, First.class);
parse("A1", First.class, First.class, First.class);
parse("A1", Second.class);
parse("A1", Second.class, Second.class);

但是有用的版本不是：

parse("A1", First.class, Second.class);

我如何告诉Java types可以采用所有扩展Enum并实现BaseInterface的类？

Answer 1

您需要使用以下定义：

@SafeVarargs
private static final <T extends Enum<?> & BaseInterface> T parse(String name, Class<? extends T>... types) {
    // add code here
}

<? extends T> <? extends T>允许编译器推断比您传递的特定类型更通用的类型，以及? extends Enum<?> ? extends Enum<?>可使T为任何常规枚举类型，而不是一个特定的T枚举