为什么Eclipse Java编译器会抱怨内部派生类型的未检查强制转换？

Question

考虑以下泛型类Base

public class Base<ID> {
  ID id;

  public Base(ID id) {
    this.id = id;
  }

  public ID getId() {
    return id;
  }

  protected class BaseInner {
    String text = "Inner";
  }

  protected void method(BaseInner o) {
    o.text = "Foo";
  }
}

方法Base。方法接受类型为BaseInner的参数。现在考虑下面的派生类。

public class Sub<ID> extends Base<ID> {
  public Sub(ID id) {
    super(id);
  }

  @Override
  protected void method(BaseInner o) {

    if (o instanceof Sub.SubInner) {
      SubInner sub = (SubInner) o; // Why does this cast emit an "unchecked cast" warning

      sub.text = "Bar";
      sub.value = 1337;
    }
  }

  protected class SubInner extends BaseInner {
    Number value = 42;
  }
}

类Sub派生自Base，内部类SubInner派生自内部类BaseInner。Sub的泛型类型参数ID作为类型参数传递给基类base。

我的问题：为什么编译器会抱怨Sub的重写方法中从Baseine到Subine的强制转换？

为了理解这个警告，我试图构建一个用例，其中子类的方法

所以我想没有理由在方法中警告未检查的强制转换。我错过了什么吗？

方法重写发生在子

Eclipse编译器警告是

类型安全性：未经检查的从底部铸造

如果我使用Base，警告也不会改变




Answer 1

在这种情况下，未检查的强制转换意味着您正在从不合格类型强制转换为泛型类型。

Set<String> set = new HashSet();

这一行也将产生未经检查的分配警告。

出现此警告是因为编译器无法推断强制转换在编译时是否安全。

子内部实例引用了子实例。你是在基地投球。BaseInner，所以你也在从一个基地到另一个基地施放

编辑

解决方案是使用通用参数。

public class Base<ID> {
    ID id;

    public Base(ID id) {
        this.id = id;
    }

    public ID getId() {
        return id;
    }

    protected class BaseInner {
        String text = "Inner";
    }

    protected void method(Base<ID>.BaseInner o) {
        o.text = "Foo";
    }
}


public class Sub<ID> extends Base<ID> {
    public Sub(ID id) {
        super(id);
    }

    @Override
    protected void method(Base<ID>.BaseInner o) {
        SubInner sub = (SubInner) o; 
        sub.text = "Bar";
        sub.value = 1337;
    }

    protected class SubInner extends BaseInner {
        Number value = 42;
    }
}

Answer 2

此接缝是Eclipse编译器问题。

Oracle编译器（javac）不会在此处忽略任何警告。