为什么这个转换器需要铸造

Opa*_*pal 10 java generics enums vavr

我需要在java中实现enum到enum转换器的实现:Enum_2> Enum_1我想以通用方式实现它.

所以我定义了一个接口:

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

    T getObject();
}
Run Code Online (Sandbox Code Playgroud)

并且Enum_1:

enum Enum_1 {
    A, B;

    String getValue() {
        return "whatever";
    }
}
Run Code Online (Sandbox Code Playgroud)

以及Enum_2实现LabelAware和需要转换为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;
    }
}
Run Code Online (Sandbox Code Playgroud)

最后,这是一个通用的转换器(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(""));
    }
}
Run Code Online (Sandbox Code Playgroud)

一个主要方法:

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

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

Mar*_*o13 5

您已经在多个地方使用了原始类型(不仅仅是 yshavit 在评论中指出的那个)。特别是,

class Converter<S extends LabelAware, D extends Enum> 
Run Code Online (Sandbox Code Playgroud)

必须

class Converter<S extends LabelAware<D>, D extends Enum<D>>
Run Code Online (Sandbox Code Playgroud)

以下内容应在没有警告的情况下进行编译:

import javaslang.collection.List;

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

    T getObject();
}

enum Enum_1
{
    A, B;

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

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;
    }
}

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

    private S[] values;

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

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

(编辑:这只是告诉您如何务实地解决问题。请参阅davidxxx 的答案,了解有关那里出现问题的详细信息,并且不要忘记在那里留下 +1 :-))


dav*_*xxx 5

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

但在你的情况下,你没有警告链问题,因为外部LabelAware安全.
LabelAware只有一个内部警告(在其实施)为Enumextends Enum为原始声明.

这里,一个缺失的泛型声明解释了为什么cast in Converter.map()方法不安全:Converter类声明没有指定泛型for LabelAware.

您将Converter类声明为:

class Converter<S extends LabelAware, D extends Enum> {
Run Code Online (Sandbox Code Playgroud)

value字段类型S:

 private S[] values;
Run Code Online (Sandbox Code Playgroud)

和它的map()方法如下:

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

map()这里.find(v -> v.getLabel().equals(label)),您检索了一个S实例并且您声明了它S extends LabelAware.因此,最后,您检索LabelAware或扩展它的实例.

LabelAware输入Enum通用:

interface LabelAware<T extends Enum> {
    String getLabel();    
    T getObject();
}
Run Code Online (Sandbox Code Playgroud)


因此,在调用map()方法时.map(LabelAware::getObject),您将检索一个Enum类型.

并且Enum类型不一定是D类型,而反之亦然.

因此,如果你想避免中投(以及相关的警告)map(),你应该指明返回的泛型类型getObject()是一个实例D通过键入LabelAwareD通用:

class Converter<S extends LabelAware<D>, D extends Enum> {
Run Code Online (Sandbox Code Playgroud)