分层实体的设计界面

Question

我必须为分层实体设计一个接口：

interface HierarchicalEntity<T extends HierarchicalEntity<T>> {
    T getParent();
    Stream<T> getAncestors();
}

实现 默认 getAncestors()方法非常容易，因为 默认 方法getParent()可以使前者返回Stream所有祖先。

实施示例：

default Stream<T> getAncestors() {
    Stream.Builder<T> parentsBuilder = Stream.builder();
    T parent = getParent();
    while (parent != null) {
        parentsBuilder.add(parent);
        parent = parent.getParent();
    }
    return parentsBuilder.build();
}

但是我还需要将其包含this在流中，这里出现了一个问题。以下行是不正确的，因为this它是类型HierarchicalEntity，不是T：

parentsBuilder.add(this); // type mismatch!

如何重新设计接口以使其getAncestors()包含this在结果中？

Answer 1

创建自引用类型时，这是一个反复出现的问题。在基本类型（或接口）中，您不能强制this将与分配兼容T。

当然，如果您确信所有子类型都将满足该约束this，T则可以执行to
的未经检查的强制转换。但是，无论何时需要this引用为，都必须执行此未经检查的强制转换T。

更好的解决方案是添加一个抽象方法，例如

/**
    All subtypes should implement this as:

    public T myself() {
        return this;
    }
 */
public abstract T myself();

然后，您可以使用，myself()而不是this在需要自引用时使用T。

default Stream<T> getAncestors() {
    Stream.Builder<T> parentsBuilder = Stream.builder();
    for(T node = myself(); node != null; node = node.getParent()) {
        parentsBuilder.add(parent);
    }
    return parentsBuilder.build();
}

当然，您不能强制将子类正确实现myself()为return this;，但是至少，您可以轻松地验证它们是否在运行时执行：

assert this == myself();

该参考比较是一项非常便宜的操作，如果myself()正确地实现为不变地返回this，HotSpot可以提前证明该比较将始终存在true并完全消除检查。

缺点是，每个专业化都必须具有的冗余实现myself() { return this; }，但是另一方面，它完全没有未经检查的类型转换。另一种选择是在基类中具有非abstract声明，以将未经检查的操作限制为类型层次结构的单个位置。但是，您无法验证它是否真的是……myself()``@SuppressWarnings("unchecked") T myself() { return (T)this; }``this``T