与泛型类型相关但不兼容

Question

还在试图把握泛型概念..。线

public interface FileStructure<L extends FileStructureLevel<L>, R extends FileStructureResource> extends NodeStructure<L, R>

给出以下信息：

type argument L#1 is not within bounds of type-variable L#2
  where L#1,L#2 are type-variables:
    L#1 extends FileStructureLevel<L#1> declared in interface FileStructure
    L#2 extends NodeStructureLevel<L#2> declared in interface NodeStructure

现在，这看起来很简单，因为类型界限是不同的。然而，令人困惑的是，实际上，我只是在缩小界限，因为

public interface FileStructureLevel<E extends FileStructureLevel> extends NodeStructureLevel<FileStructureLevel>

因此，不管L1是什么，它肯定会扩展L2。为什么错配？有没有人？

此外，鉴于声明

public interface NodeStructure<L extends NodeStructureLevel<L>, R extends NodeStructureResource>

和

public class FileStructureResource implements NodeStructureResource<File>

为什么第一行不产生与R相关的类似错误，如下所示：

type argument R#1 is not within bounds of type-variable R#2
  where R#1,R#2 are type-variables:
    R#1 extends FileStructureResource declared in interface FileStructure
    R#2 extends NodeStructureResource declared in interface NodeStructure

Answer 1

更改您的代码

public interface FileStructureLevel<E extends FileStructureLevel>
    extends NodeStructureLevel<FileStructureLevel>

至

public interface FileStructureLevel<E extends FileStructureLevel>
    extends NodeStructureLevel<E>

大家都会高兴的。现在看来，FileStructureLevel<L>不是NodeStructure所要求的NodeStructureLevel<L>，而是NodeStructureLevel<FileStructureLevel>。这就是编译器想要告诉你的。