且构网

分享程序员开发的那些事...
且构网 - 分享程序员编程开发的那些事

泛型树,自我有界泛型

更新时间:2022-10-15 15:54:26

我能得到的最接近的是遵循Enum的自我引用模式。它仍然需要一个未经检查的强制转换,但是假设你的子类正确定义了T,它应该是安全的。

  public class GenericTree< T extends GenericTree< T,P,C>,P扩展GenericTree< P,?,T>,C扩展GenericTree< C,T,>> {

//属性
private ArrayList< C> children = new ArrayList< C>();
private P parent = null;

//方法
public void setParent(P parent){
this.parent = parent;
}
$ b $ public void addChild(C child){
@SuppressWarnings(unchecked)
final T thisAsType =(T)this;
child.setParent(thisAsType);
this.children.add(child);






编辑:
执行示例
  public static class SingleTypeTree< T>扩展
GenericTree< SingleTypeTree< T>,SingleTypeTree< T&gt ;, SingleTypeTree< T> {

}


I am to adding genericity to one of my projects. I love generics as this makes my code more robust, self-documented and erases all those ugly casts.

However, I came across a tough case and have some issues trying to express a "recursive" constraint for one of my structures.

This is basically some kind of "generic" tree, with double links (to children and parent). I have simplified the class at maximum to show the issue :

public class GenericTree<
    ParentClass extends GenericTree<?, ?>, 
    ChildClass extends GenericTree<?, ?>> 
{
    // Attributes
    private ArrayList<ChildClass> children = new ArrayList<ChildClass>();
    private ParentClass parent = null;

    // Methods 
    public void setParent(ParentClass parent) {
        this.parent = parent;
    }

    public void addChild(ChildClass child) {
        child.setParent(this);
        this.children.add(child);
    }
}

The problem is for the instruction : child.setParent(this).

Java gives the following error :

Bound mismatch: The method setParent(?) of type ChildClass is not applicable for the
arguments (GenericTree). The wildcard parameter ? has no lower bound, and may actually be more restrictive than argument GenericTree

What I would like is to be able to express something like :

public class GenericTree<
    ParentClass extends GenericTree<?, ?>, 
    ChildClass extends GenericTree<[THIS_VERY_CLASS], ?>> 

To say that the parent class of the child class should be itself ...

I have looked at some articles about the self bounding generics, but I don't know how to apply it in this case.

Any help would be appreciated.

The closest I could get is to follow Enum's pattern of self reference. It still requires an unchecked cast, but assuming your subclasses define T correctly, it should be safe.

public class GenericTree<T extends GenericTree<T, P, C>, P extends GenericTree<P, ?, T>, C extends GenericTree<C, T, ?>> {

    // Attributes
    private ArrayList<C> children = new ArrayList<C>();
    private P parent = null;

    // Methods
    public void setParent(P parent) {
        this.parent = parent;
    }

    public void addChild(C child) {
        @SuppressWarnings("unchecked")
        final T thisAsType = (T) this;
        child.setParent(thisAsType);
        this.children.add(child);
    }
}

Edit: Implementation example

public static class SingleTypeTree<T> extends
    GenericTree<SingleTypeTree<T>, SingleTypeTree<T>, SingleTypeTree<T>> {

}