扩展类的 Java 泛型未检查警告

Question

我有以下代码:

public class Foo {

    interface Coo<T> {
        public T cool();
    }

    abstract class Bar<T extends Bar<T>> implements Coo<T>  {

        @SuppressWarnings("unchecked")
        T doSomething() {
            return (T) this;
        }

        @SuppressWarnings("unchecked")
        @Override
        public T cool() {
            return (T) this;
        }

    }

    class FooBar extends Bar<FooBar> {
        @Override
        public FooBar cool() {
            return super.cool();
        }

    }
}

为什么转换为 (this) 对象类型不安全？ Bar 实现 Coo 时，不是泛型说返回的 cool 必须是 T 类型，它扩展了 Bar 或其子类吗？

Answer 1

因为 this在 Bar类型为 Bar<T extends Bar<T>>但不是 T ，编译器为 Bar#doSomething 生成警告.以下不会产生任何警告:

abstract class Bar<T extends Bar<T>> {

    Bar<T> doSomething() {
        return this;
    }

}

Bar#cool的主体期待 this成为 T 的子类型事实并非如此。在 Bar#cool , this类型为 Bar<T extends Bar<T>>并且是 Coo<T> 的子类型但不是 T .