JDK 15 密封类 - 如何跨包使用？

Question

我有一个简单的密封类，MyShape：

public sealed class MyShape permits MyCircle {

    private final int width;
    private final int height;

    public MyShape(int width, int height) {
        this.width = width;
        this.height = height;
    }

    public int width() {
        return width;
    }

    public int height() {
        return height;
    }
}

还有一个简单的子类MyCircle：

public final class MyCircle extends MyShape {

    public MyCircle(int width) {
        super(width, width);
    }
}

当两个类都在同一个包中时，一切都会编译并运行。如果我移动到MyCircle子包，然后构建打破了：java: class is not allowed to extend sealed class: org.example.MyShape。

我对JDK 15 文档的理解是这应该有效。我错过了一步吗？

如果您想进行实验，我已经创建了一个 GitHub 存储库。

Answer 1

如您链接的文档中所述：

JDK 15 文档

它们必须与密封类在同一个模块中（如果密封类在命名模块中）或在同一个包中（如果密封类在未命名模块中）。