最终修饰符的意外行为

Question

这是我的代码

package alpha ;

class A1
{
    static class A11
    {
        private
            final // WHAT IS THE EFFECT OF THIS MODIFIER?
            void fun ( String caller )
            {
                System . out . println ( "A11:\t" + caller ) ;
            }
    }

    static class A12 extends A11
    {
        private void fun ( String caller )
        {
            super . fun ( caller + caller ) ;
        }
    }

    public static void main ( String [ ] args )
    {
        A12 a12 = new A12 ( ) ;
        a12 . fun ( "Hello" ) ;
    }
}

我发现无论有没有 A1.A11 中的最终 mdifer，程序都能编译并运行。

我可以理解，如果没有 final 修饰符，A1.A12 可以看到并因此覆盖 fun 方法。它是私有的，但它们属于同一类，因此不存在可见性问题。

我不明白为什么它与 final 修饰符一起工作。不应该禁止 A1.A12 中的覆盖吗？

这是带有最终修饰符的程序的输出

java alpha/A1
A11:    HelloHello

如果只是忽略其他有趣的方法，那么

1. 编译器不会抱怨超级引用
2. A11 不会在输出中

Answer 1

对于public、protected 和包私有/默认访问方法，final 确实可以防止方法被覆盖。

但是，所有private 方法都是“非虚拟的”，因此实际上是最终的。超类中的private 方法对派生类没有影响。你没有覆盖，只是基类中的方法被忽略了。

JVM 所基于的第一版 Java 语言规范没有内部或嵌套类，因此可以特别处理 private 方法。该语言的更高版本围绕 JVM。

在字节码方面，private 方法是用invokespecial 而不是invokevirtual 调用的。

不同包中的默认访问/包私有final方法也是相互独立的。在同一个包中可以相互覆盖，final 会有所作为。在不同的包中，匹配的方法不会相互覆盖。

Answer 2

您的方法是私有的。

将它们的可见性更改为受保护以查看预期的行为，即只有当方法受到保护时，公共或默认可见性，甚至存在覆盖的概念。

做这样的事情--

class A1
{
    static class A11
    {
        public
            final // WHAT IS THE EFFECT OF THIS MODIFIER?
            void fun ( String caller )
            {
                System . out . println ( "A11:\t" + caller ) ;
            }
    }

    static class A12 extends A11
    {
        public void fun ( String caller )
        {
            super . fun ( caller + caller ) ;
        }
    }

    public static void main ( String [ ] args )
    {
        A12 a12 = new A12 ( ) ;
        a12 . fun ( "Hello" ) ;
    }
}

现在将抛出编译时异常

fun(java.lang.String) in A1.A12 cannot override fun(java.lang.String) in A1.A11; overridden method is final