java - 为什么这个转换器需要类型转换？

Question

我需要在 java 中实现一个枚举到枚举的转换器:Enum_2 > Enum_1，我想以通用的方式进行。

所以我定义了一个接口(interface):

interface LabelAware<T extends Enum> {
    String getLabel();

    T getObject();
}

和Enum_1:

enum Enum_1 {
    A, B;

    String getValue() {
        return "whatever";
    }
}

和实现了LabelAware的Enum_2需要转换成Enum_1:

enum Enum_2 implements LabelAware<Enum_1> {
    C("c", Enum_1.A), D("d", Enum_1.B);

    private final String label;
    private final Enum_1 object;

    Enum_2(String label, Enum_1 object) {
        this.label = label;
        this.object = object;
    }

    public String getLabel() {
        return label;
    }

    public Enum_1 getObject() {
        return object;
    }
}

最后，这是一个通用转换器(List.ofAll() 来自 javaslang ):

class Converter<S extends LabelAware, D extends Enum> {

    private S[] values;

    Converter(S[] values) {
        this.values = values;
    }

    D map(String label) {
        return (D) List.of(values)
                .find(v -> v.getLabel().equals(label))
                .map(LabelAware::getObject)
                .getOrElseThrow(() -> new RuntimeException(""));
    }
}

还有一个主要方法:

public class Main {        
   public static void main(String[] args) {
      System.out.println(new Converter<Enum_2, Enum_1>(Enum_2.values()).map("c").getValue());
   }
}

所有编译和运行都很好，但是我不知道为什么我需要将 Converter.map 方法的结果转换为 D，因为我已经声明D 扩展 Enum。可以在没有任何警告的情况下以通用方式完成吗？

Answer 1

作为一般规则，应处理所有与泛型相关的警告，以获得更安全的代码并避免警告链(可见警告是由依赖链的非常远的警告引起的)。

但在您的情况下，您没有警告链问题，因为在外部，LabelAware 是安全的。
LabelAware 只有一个内部警告(在其实现中)，因为 Enum 中的 extends Enum 是原始声明的。

在这里，一个缺少的泛型声明解释了为什么 Converter.map() 方法中的转换不安全:Converter 类声明没有指定 LabelAware 的泛型。

您将 Converter 类声明为:

class Converter<S extends LabelAware, D extends Enum> {

其 value 类型为 S 的字段:

 private S[] values;

及其 map() 方法为:

 D map(String label) {
        return (D) List.of(values)
                .find(v -> v.getLabel().equals(label))
                .map(LabelAware::getObject)
                .getOrElseThrow(() -> new RuntimeException(""));
    }

在 map() 中，这里是 .find(v -> v.getLabel().equals(label))，你检索了一个 S 实例，你声明了 S extends LabelAware。 因此，最后，您检索 LabelAware 的实例或扩展它。

并且 LabelAware 是用 Enum 泛型键入的:

interface LabelAware<T extends Enum> {
    String getLabel();    
    T getObject();
}

因此，在调用 map() 时的 .map(LabelAware::getObject) 方法中，您检索 Enum 类型。

Enum类型不一定是D类型，反之亦然。

因此，如果您想避免在 map() 中强制转换(和相关警告)，您应该指定 getObject() 返回的泛型类型是 D 的实例，方法是键入 LabelAware 和 D 泛型:

class Converter<S extends LabelAware<D>, D extends Enum> {