子类的重写getter中的向下转换列表返回类型

Question

java prettyprint-override">public class U {};
public class IU extends U {};

public class A {
    private final List<? extends U> us;

    public A(Collection<? extends U> us) { 
        this.us = new ArrayList<>(us);
    }

    public List<? extends U> getUs() { return this.us; }
}

public class B extends A {
    public B(Collection<IU> ius) { super(ius); }

    @Override
    public List<IU> getUs() { return (List<IU>) super.getUs(); }
}

• 这个强制转换实际上是安全的，还是有一些我没有看到的问题？
• 如果是，如何将其标记为删除警告？

Answer 1

由于a是一个类型容器，所以对于每个a（final）定义，包含的类型应该是显式的。

然后，简单地改变：

public class U {};
public class IU extends U {};

public class A<T extends U> {
    private final List<T> us;

    public A(Collection<T> us) {
        this.us = new ArrayList<>(us);
    }

    public List<T> getUs() { return this.us; }
}

public class B extends A<IU> {
    public B(Collection<IU> ius) { super(ius); }

    @Override
    public List<IU> getUs() { return super.getUs(); }
}

现在，适用于所需的每种类型，并且在编译时强制执行正确的类型（没有警告）。