是否可以使用“密封方法”来改进密封类？

Question

我正在使用 java 15 中的预览密封类，我想知道为什么关键字 sealed 和 non-sealed 只适用于类和接口，而不适用于方法（就像其他修饰符一样）。我想具体决定哪些方法可以被允许的子类覆盖可能很有用。

一个例子：我有一个类Unit，它有两个子类Metric和Imperial，它们最终都实现了一个基本功能，这里是kind()。

public abstract sealed class Unit permits Imperial, Metric {
    public abstract String kind ();
}

public abstract non-sealed class Imperial extends Unit {
    @Override
    public final String kind() { return "imperial"; }
}

public abstract non-sealed class Metric extends Unit {
    @Override
    public final String kind() { return "metric"; }
}

这行得通。但是，现在我不想在所有子类中实现kind()，而是提供一个对所有子类都是最终的实现，除了那些允许覆盖的子类。在我看来，这看起来像这样：

public abstract sealed class Unit permits Imperial, Metric {
    // this is not supported
    public sealed String kind () permits Imperial {return "easy"; }
}

public abstract non-sealed class Imperial extends Unit {
    @Override
    public final String kind() { return "oh my god"; }
}

public abstract non-sealed class Metric extends Unit {
    // should not be possible to override kind() here or in any subclass
}

我有什么方法可以通过新功能实现这一点，或者我还缺少其他方法吗？

Answer 1

您可以使用包访问类来做到这一点。

将所有三个类放在它们自己的包中，并将kind() 委托给包私有方法——即既不是公共的也不是受保护的也不是私有的方法。这将只允许该包中的类覆盖它：

package com.example.units;

public abstract sealed class Unit permits Imperial, Metric {
    public final String kind () {
        return kindImpl();
    }

    String kindImpl() { return "easy"; }
}

package com.example.units;

public abstract class Imperial extends Unit {
    @Override
    String kindImpl() { return "imperial"; }
}

kindImpl() 是包私有的，因此只有同一个包中的类才能覆盖它。

这适用于任何版本的 Java，无论是否使用密封类。