java - 关于Java泛型的一些问题

Question

假设我有以下接口(interface)和实现类:

interface Foo<FooType extends Foo<FooType>> {
    FooType copy();
}

class Bar implements Foo<Bar> {
    public Bar copy() {
        return new Bar();
    }       
}

如果我尝试这样做:

public <FooType extends Foo<FooType>> FooType getFoo() {
    return new Bar();
}

我收到编译错误“类型不匹配:无法从 Bar 转换为 FooType”。 为什么？

我可以通过重写函数来“修复”这个问题，如下所示:

@SuppressWarnings("unchecked")
public <FooType extends Foo<FooType>> FooType getFoo() {
    return (FooType) new Bar();
}

但是假设我有一个这样的函数:

public <FooType extends Foo<FooType>> void printFoo(FooType foo) {
    System.out.println(foo.toString());
}

如果我尝试这样做:

printFoo(getFoo());

我收到以下编译错误:

Bound mismatch: The generic method printFoo(FooType) is not applicable 
for the arguments (Foo<Foo<FooType>>). The inferred type Foo<Foo<FooType>> 
is not a valid substitute for the bounded parameter <FooType extends Foo<FooType>>

WAT？ getFoo() 的返回类型实际上与 printFoo() 的参数类型相同!

是这些错误还是我遗漏了什么？

Answer 1

问题是 FooType可以是任何东西，不仅仅是 Bar 。您可以返回 FooType 的实例.

例如如果您有class NotBar implements Foo<NotBar> {那么

 obj.<NotBar>getFoo();

现在是 FooType 的实际参数是 NotBar .