具有流畅接口和继承的自绑定泛型类型

Question

我正在使用具有继承性的流畅接口。我html" target="_blank">声明基类Constructor受保护，因此您不能创建Foo
，这会导致在调用add（）时引发ClassCastException。但是我在返回一个新的Foo实例的静态方法上遇到了麻烦。

public class Foo<T extends Foo<T>> // if i change to extends Foo i only get warnings
{
        public static Foo<Foo> createFoo() // <-- error
        {
                return new Foo<Foo>(); // <-- error
        }

        protected Foo() {}

        public T add()
        {
                //...
                return (T)this;
        }
}

public class Bar extends Foo<Bar>
{
        public Bar sub()
        {
                //...
                return this;
        }
}

这主要是流利的接口，特定领域的语言和泛型方面的一项练习（个人而非家庭作业），所以请不要问我需要什么。

编辑：Eclipse错误

Bound mismatch: The type Foo is not a valid substitute for the bounded parameter <T extends Foo<T>> of the type Foo<T>

Answer 1

本质上，您有一个递归类型声明。

Foo<T extends Foo<T>>。

假设您有一个Foo<Foo>。这意味着T已映射到Foo。但是Foo不是的子类型Foo<T>，在这种情况下是Foo<Foo>，所以您真正要寻找的是Foo<Foo<Foo>>。但是请稍等，最里面Foo的没有被键入，所以我想是Foo<Foo<Foo<Foo>>>…哦，算了！

要在上面放一个更容易理解的面孔，请考虑是否有Foo<T extends List<T>>。您可以T在声明/实例化中使用Foo什么？
List<String>？ List<List>？

编辑

您似乎找到了一种“打破”递归循环的方法。最终，您需要获得一种归类化的类型。以您发现ConcreteFoo对自己有用的方式相同，对于List上面的示例，您可以类似地使用某些类ConreteListOfItself implements List<ConreteListOfItself>来破坏递归循环。