java - 泛型未经检查的转换警告

Question

我不太明白为什么我的代码必须进行未经检查的转换以及如何解决这个问题。

我正在使用构建器模式实现不可变对象(immutable对象)，为此我使用内部接口(interface)“Builder”实现了“Immutable”接口(interface)。

每个不可变类都实现 Immutable 接口(interface)，并实现一个内部静态类 Builder，后者实现 Builder 接口(interface)。

这一切都运行良好。

现在，我正在实现一堆非常简单的类，它们实际上并不需要构建器，但我仍然想实现 Immutable 接口(interface)，因此这些类的对象是“Immutable”的实例，但我不'不想实现每个类没有任何功能的空构建器。我宁愿有一个抽象类，在其中为所有简单类实现一个简单的构建器。构建器只会存储原始对象并通过 build() 方法返回它，因此完全实现了 Immutable 接口(interface)

不过，构建器的 build() 方法必须返回实现类的对象。所以我添加了泛型。

public interface Immutable {
    public interface Builder<T> {
        public T build();
    }
    public <T> Builder<T> builder();
}


public interface Interface extends Immutable {

    public interface BuilderInterface<T> extends Immutable.Builder<T> {

    }
}


public abstract class AbstractClass implements Interface {

    public static class AbstractBuilder<T> implements Interface.BuilderInterface<T> {

        private final T object;

        public AbstractBuilder(T object) {

            this.object = object;
        }

        @Override
        public T build() {

            return this.object;
        }
    }

    protected AbstractClass() {

        super();
    }
}

public class ConcreteClass extends AbstractClass {

    public ConcreteClass() {

    }

    @Override
    public AbstractBuilder<ConcreteClass> builder() {

        return new AbstractClass.AbstractBuilder<ConcreteClass>(this);
    }
}

我原本期望 Immutable 接口(interface)的泛型类型 T 采用实现类的类型，但它似乎是 Object，这会导致以下警告:

类型安全:返回类型 AbstractClass.AbstractBuilder<ConcreteClass>对于来自 ConcreteClass 类型的 builder() 需要未经检查的转换才能符合 Immutable.Builder<Object>来自不可变类型

编辑:警告是由 ConcreteClass 的 builder() 方法发出的。

Answer 1

这非常简单 - Immutable#builder 的方法签名期望类型参数 T 在实际方法调用中“动态”设置，而不是绑定(bind)到类(class)。要适本地重写此方法，ConcreteClass 中的签名将为

public <T> Builder<T> builder() {

这显然与您的构建器定义冲突

return new AbstractClass.AbstractBuilder<ConcreteClass>(this);

为了使这一切都可以编译，您必须从类而不是方法调用者中推断出 Immutable#builder 的 T，即您最终拥有

public interface Immutable<T> {

    public interface Builder<T> {
        public T build();
    }

    public Builder<T> builder(); 
}

并且所有继承类都相应地进行了更改，以将 T 传递给其前辈。

public interface Interface<T> extends Immutable<T> {

    public interface BuilderInterface<T> extends Immutable.Builder<T> {
    }
}


public abstract class AbstractClass<T> implements Interface<T> {

    public static class AbstractBuilder<T> implements Interface.BuilderInterface<T> {

        private final T object;

        public AbstractBuilder(T object) {

            this.object = object;
        }

        @Override
        public T build() {

            return this.object;
        }
    }

    protected AbstractClass() {

        super();
    }
}


public class ConcreteClass extends AbstractClass<ConcreteClass> {

    public ConcreteClass() {

    }

    @Override
    public Builder<ConcreteClass> builder() {
        return new AbstractClass.AbstractBuilder<ConcreteClass>(this);
    }
}