Java语言提供了四种访问控制修饰符来控制类、方法及变量的可见性，其中protected修饰符常常让初学者甚至有一定经验的开发者感到困惑。它的语义介于public和default之间，不仅允许同包下的类访问，还允许跨包的子类访问。然而，跨包子类访问protected成员并非无条件的，它受到严格的上下文限制。理解这一机制对于正确设计类的继承结构和API暴露层级至关重要。
protected修饰符的基础概念与包内可见性
在深入跨包场景之前，需要先明确protected在同一个包内的行为。在Java中，如果一个成员被声明为protected，那么同一个包内的任何其他类都可以毫无限制地访问该成员。这种访问不仅包括创建该类的对象并通过对象引用访问，也包括直接通过类名访问静态成员。此时，protected的访问权限实际上等同于默认的包级私有权限。
这种设计初衷是为了在同一个包内提供足够的灵活性，允许紧密相关的类之间共享实现细节。例如，在一个工具包内部，各个工具类可能需要互相调用彼此的辅助方法，将这些方法声明为protected可以防止外部包的类随意调用，同时又不影响包内部的协作。然而，一旦跨越了包的边界，protected的访问规则就会发生根本性的变化，引入了基于继承的访问控制逻辑。
跨包子类访问protected成员的核心规则
当子类位于不同的包中时，它确实继承了父类的protected成员，但这并不意味着子类可以像使用自己定义的私有成员那样随意使用它们。Java语言规范对跨包子类访问protected成员设定了一个核心限制：子类只能通过子类自身的引用（或者其子类的引用）去访问从父类继承来的protected成员，而不能通过父类的引用去访问。
这个规则常常被开发者忽略。假设有一个父类Parent和一个跨包子类Child。如果在Child的某个方法中，我们创建了一个Parent的实例，并试图通过这个Parent实例去调用其protected方法，编译器将会报错。即使这个Parent实例实际上是通过向上转型由Child对象赋值的，编译器依然不允许。因为编译器只看引用的静态类型，只要静态类型是Parent，且当前代码位于Child类中，且Parent与Child不在同一个包内，访问就会被拒绝。
这一限制的目的是维护封装性。如果允许子类通过父类引用访问protected成员，那么子类就可以窥探任何其他子类对象中从父类继承来的那部分状态，这显然破坏了对象之间的隔离性。因此，Java规定子类只能访问自己这个对象实例中的protected成员，确保了继承体系内部各对象实例的独立性。
代码实例剖析：跨包访问的边界测试
为了更直观地理解这一规则，我们可以通过具体的代码示例进行验证。假设我们在包com.ipipp.parent中定义了一个父类Parent，其中包含一个protected修饰的方法display。然后在另一个包com.ipipp.child中定义子类Child，继承自Parent。
在子类Child中，我们尝试几种不同的访问方式。第一种是通过this引用调用display方法，这是合法的，因为this的类型是Child，属于子类自身的引用。第二种是创建一个Parent对象并调用其display方法，这将会导致编译错误，因为我们在跨包子类中通过父类引用访问了protected成员。第三种是创建另一个子类Child2的对象，并通过Child2的引用调用display方法，这也是合法的，因为Child2也是Parent的子类。
package com.ipipp.parent;
public class Parent {
protected void display() {
System.out.println("Parent display method");
}
}
package com.ipipp.child;
import com.ipipp.parent.Parent;
public class Child extends Parent {
public void testAccess() {
// 合法访问：通过子类自身的引用
this.display();
// 合法访问：直接调用，隐含this引用
display();
// 非法访问：通过父类引用
// Parent p = new Parent();
// p.display(); // 编译错误：display() has protected access in Parent
// 合法访问：通过另一个子类的引用
Child anotherChild = new Child();
anotherChild.display();
}
}
从上述代码和编译结果可以看出，protected在跨包子类中的可见性是高度依赖引用类型的。这种设计虽然在初学时显得有些反直觉，但它深刻体现了Java对面向对象封装原则的严谨态度。在实际开发中，尤其是设计供第三方扩展的框架或库时，准确把握protected的可见性边界，能够有效防止API被误用，确保对象内部状态的安全性。