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

我正在使用一个流畅的继承接口.我宣布基类构造函数受到保护,因此你无法创建一个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>

解决方法:

你基本上有一个递归类型声明.

Foo< T延伸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？列表与LT;字符串&GT ;?列表与LT;列表&gt ;?

编辑

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

标签：fluent-interface,java,inheritance,generics
来源： https://codeday.me/bug/20190928/1825147.html