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

Question

我正在使用一个流畅的继承接口。 我声明基类Constructor受到保护，所以你不能创建一个Foo <Bar>，它会在调用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;
        }
}

这主要是Fluent Interfaces，Domain-specific language和Generics中的练习（个人而不是家庭作业），所以请不要问我需要它。

编辑：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>> 。 在Foo的声明/实例化中你可以用什么来做T ？ List<String> ？ List<List> ？

编辑

看起来你找到了一种“打破”递归周期的方法。 你最终需要得到一个具体的类型。 就像你发现ConcreteFoo为你工作的方式一样，你可以类似地对上面的List例子中有一些类ConreteListOfItself implements List<ConreteListOfItself>会破坏递归周期。