了解类中受保护成员的行为

Question

我试图理解类中受保护成员的行为。我有一个类TopClass，其中包含受保护的整数pr。

类别：

package com.test;

import com.test.anotherpackage.SubClass1;
import com.test.anotherpackage.SubClass2;
import com.test.anotherpackage.SubClass3;

public class TopClass {
    protected int pr;

    void action(TopClass t, SubClass1 s1, SubClass2 s2, SubClass3 s3) {
        t.pr = 3;
        s1.pr = 0;
        s2.pr = 1;
        s3.pr = 1;
    }
}

还有另一个包com.test.anotherpackage，它有3个类SubClass1，SubClass2和SubClass3。继承层次结构如下：

1. 子类1扩展了TopClass

第1子类

package com.test.anotherpackage;

import com.test.TopClass;

public class SubClass1 extends TopClass {

    void action(TopClass t, SubClass1 s1, SubClass2 s2, SubClass3 s3) {
        t.pr = 0; // Error because not in same package.
        s1.pr = 0; //(1)
        s2.pr = 1; // Does not throw an Exception. Why? (2)
        s3.pr = 1; // (3)
    }
}

子课堂

package com.test.anotherpackage;

import com.test.TopClass;

public class SubClass2 extends SubClass1 {
    void action(TopClass t, SubClass1 s1, SubClass2 s2, SubClass3 s3) {
        t.pr = 0; // Error because not in same package.
        s1.pr = 0; // Throws Exception, why?  (4)
        s2.pr = 1; //  (5)
        s3.pr = 1; // Does not throw an Exception. Why?(6)
    }
}

第3子类

package com.test.anotherpackage;

import com.test.TopClass;

public class SubClass3 extends SubClass2 {
    void action(TopClass t, SubClass1 s1, SubClass2 s2, SubClass3 s3) {
        t.pr = 0; 
        s1.pr = 0; // Not Visible (7)
        s2.pr = 1; // Not Visible (8)
        s3.pr = 1; // (9)
    }
}

在上述代码中，（1），（2），（3），（5），（6）和（9）工作正常，没有任何可见性问题。但是（4），（7），（8）存在可见性问题。

根据JLS§6.6.2.1，

让C是声明受保护成员的类。只允许在C的子类S的主体内进行访问。

此外，如果Id表示实例字段或实例方法，则：

如果访问是通过限定名Q.Id进行的，其中Q是ExpressionName，则当且仅当表达式Q的类型是S或S的子类时，才允许访问。

如果通过字段访问表达式E.Id（其中E是主表达式）或方法调用表达式E.Id（…）进行访问，如果E是主表达式，则当且仅当E的类型是S或S的子类时，才允许访问。

我在这里试图理解的是，如果表达式Q的类型是S或S的子类出现在图片中，为什么会出现。是否有任何特定场景可以使此实现受益？任何相关的例子都将受到高度赞赏。我试着这样看，但找不到一个解释来解决我的疑问。




Answer 1

您正在讨论的表达式也是代码中对您的问题负责的表达式：

如果表达式Q的类型是S或S的子类

（2）因为表达式s2的类型是SubClass1
的子类（4）因为表达式s1的类型不是SubClass2
（5）因为表达式s3的类型是SubClass2的子类

然而，我不知道

这种实现可能有益的任何特定场景

要么。