1

这可能以前以某种形式被问过，但我仍然无法解决它，所以我想我会在这里问集体智慧。我有一个这样的界面 - 我留下了一些评论，因为它们可能会有所帮助。

/** Technical note: this generic binding is known as F-bound where class
 * T is 'the worked-on class' by Splittable i.e. the implementing class.
 */
interface Splittable <T extends Element & Splittable<T>> {


/** Returns an object of the same class which has been split off at
 * the point given.
 */ 
public T splitOff(double at);


/** Appends the object provided, which must be of the same class, to
 * this object.
 */
public void append(T el);
}

那么我正在研究一个我在编译时不知道的元素：

if (el instanceof Splittable) {
    if (nextEl.getClass == el.getClass) {
        // same class so join them
        ((Splittable)el).append(nextEl);
    }
}

这就是我收到编译器警告的地方 - 未经检查地调用 append(T) 作为原始类型 Splittable 的成员。

在 Element 子类中，我都尝试过

SubClassEl extends Element implements Splittable

和

SubClassEl extends Element implements Splittable<SubClassEl>

警告没有区别。

另外，在调用 append() 时，我尝试了

((Splittable)el).splitOff(x).append(nextElement)

但编译器不承认 splitOff 应该返回一个 Splittable，只返回一个 Element。

有任何想法吗？

4

1 回答 1

4

这里发生的是您正在使用原始类型，它“选择退出”泛型类型检查。发生这种情况时，T将被擦除为Element. 来自Java 教程：

当使用多重界限时，界限中提到的第一个类型被用作类型变量的擦除。

至于如何让您的代码在没有警告的情况下编译，您当前的设计可能无法实现。使用和强制转换处理普通Elementsinstanceof不会与在 上声明的递归绑定类型参数很好地混合Splittable。

避免原始类型，我能得到的最接近的是：

static <T extends Element & Splittable<T>> void maybeAppend(T el1, Element el2) {
    if (el1.getClass() == el2.getClass()) {
        @SuppressWarnings("unchecked") // arguments' runtime types are equal
        final T el2WithNarrowedType = (T)el2;
        el1.append(el2WithNarrowedType);
    }
}

...

if (el instanceof Splittable<?>) {
    maybeAppend(el, nextEl); //compiler error
}

这仍然无法编译，因为如果没有类型参数，就无法同时表达它自己类型el的 anElement和 a Splittable。

我在这里回答了一个类似的问题：将运行时解析参数传递给具有多种绑定类型的方法，编译错误。我能想出的最接近的不使用原始类型的解决方案是一个重大的 hack，并且只适用于某些编译器。OP 最终使用了原始类型。

我给你的建议是避免自我输入，而是考虑实现这样的东西：

interface ElementSplitter<T extends Element> {

    T splitOff(T element, double at);

    void append(T element, T appendedElement);
}

如果实现splitOff和append功能需要访问给定Element派生的私有成员，解决方法是使其成为嵌套类，例如：

class SubClassEl extends Element {

    ...

    static class Splitter implements ElementSplitter<SubClassEl> {
        ...
    }
}

Splittable我在你写的 javadoc中注意到：

技术说明：这种通用绑定称为 F 绑定，其中类T是“工作类”，Splittable即实现类。

您应该知道，Java 不支持真正的自类型 - 您拥有的是递归绑定的类型参数，它应该是自类型，但不一定是自类型。有关此模式及其陷阱的更多详细信息，请参阅我的答案。

于 2013-05-30T14:45:50.857 回答