Java泛型 - 不在范圍內

Question

我有以下無法編譯和生成Error:() java: type argument GroupOfPartsDecorImpl<V> is not within bounds of type-variable GOP示例Error:() java: type argument GroupOfPartsDecorImpl<V> is not within bounds of type-variable GOP 。 代碼如下：

class MainContainerGroupPartDecorator<V, GOP extends GroupOfParts<V, PartDecorator<V, ? extends Part<V>>>> 
extends BaseContainerGroupPartDecorator<V, GOP> {
    public static <V> MainContainerGroupPartDecorator<V, GroupOfPartsDecorImpl<V>> getInstance() {
        return null;
    }
}

class BaseContainerGroupPartDecorator<V, GOP extends GroupOfParts<V, ?>> {
    void something() {}
}

class GroupOfPartsDecorImpl<V> implements GroupOfParts<V, PartDecorator<V, PartImpl1<V>>> {
    @Override
    public Collection<PartDecorator<V, PartImpl1<V>>> getParts() {
        return null;
    }
}

interface GroupOfParts<V, P extends Part<V>> {
    Collection<P> getParts();
}

class PartDecorator<V, P extends Part<V>> implements Part<V> {
    @Override
    public V getId() {
        return null;
    }
}

class PartImpl1<V> implements Part<V> {
    @Override
    public V getId() {
        return null;
    }
}

由於GOP是GOP extends GroupOfParts<V, PartDecorator<V, ? extends Part<V>>> GOP extends GroupOfParts<V, PartDecorator<V, ? extends Part<V>>>和GroupOfPartsDecorImpl應該在最后GroupOfParts<V, PartDecorator<V, Part<V>>為什么會出現此錯誤？

Answer 1

GroupOfParts的第二個通用參數必須是PartDecorator<V, ? extends Part<V>> PartDecorator<V, ? extends Part<V>> 。 並且由於泛型默認不變，因此不會有偏差。 但是GroupOfPartsDecorImpl使用PartDecorator<V, PartImpl1<V>> ，這是不一樣的，因此它不能編譯。

您可以通過在MainContainerGroupPartDecorator的聲明MainContainerGroupPartDecorator第二個參數協變來解決這個問題：

class MainContainerGroupPartDecorator<V, GOP extends GroupOfParts<V,
    ? extends PartDecorator<V, ? extends Part<V>>>> 
    extends BaseContainerGroupPartDecorator<V, GOP> {

（基本上改變PartDecorator<V, ? extends Part<V>> ? extends PartDecorator<V, ? extends Part<V>>為? extends PartDecorator<V, ? extends Part<V>> ）

Answer 2

問題是你的第二個通用的第3級有界通配符? extends Part<V> ? extends Part<V> 。 您可以通過額外的通用P指定它

class MainContainerGroupPartDecorator<V, P extends Part<V>, GOP extends GroupOfParts<V, PartDecorator<V, P>>>
    extends BaseContainerGroupPartDecorator<V, GOP>
{
    public static <V> MainContainerGroupPartDecorator<V,PartImpl1<V>, GroupOfPartsDecorImpl<V>> getInstance() {
        return null;
    }
}