外部类可见性与_default权限解析

Java中外部类确实可以使用default（包级）权限，但这并非简单的“省略修饰符”技巧，而是一种严格的封装机制：它让类仅对同一包内的代码可见，跨包即彻底不可见、不可实例化，哪怕路径看似接近、模块已依赖或IDE能自动补全，编译时仍会报错；理解这一机制对避免常见误用（如混淆目录与包、误信模块隔离可穿透访问）至关重要，合理运用default权限能精准控制API边界，将内部实现细节（如策略辅助类、测试工具类）安全地限定在包内协作范围内，是构建健壮、可维护Java系统不可或缺的底层设计意识。

外部类能用 default 权限吗？

能，但只能被同一包内的其他类访问，且不能被其他包的任何类（包括子类）看到或实例化。

Java 中，如果一个类没写 public、private 或 protected，它就是 default（包级）权限——这适用于外部类，也适用于成员类、字段和方法。但要注意：这种类对外部包完全“隐身”，哪怕你 import 了包路径，编译器也会报错 cannot find symbol。

• default 类可以有 public 构造器，但只要不在同包内，就无法 new 实例
• 一个 .java 文件里可以定义多个 default 类，但最多只能有一个 public 类，且文件名必须匹配那个 public 类名
• IDE 可能不报错（比如在同模块下），但跨模块或打成 jar 后，其他项目引用时会直接失败

为什么 package-private 外部类常被误用？

因为开发者容易把“同目录”当成“同包”，或者以为 Maven 模块间能自动穿透包可见性。

典型错误场景是：把工具类（如 JsonHelper）设为 default，放在 com.example.util 包下，结果在另一个模块的 com.example.service 里想用，却编译不过。这不是路径问题，是 Java 的包访问规则硬限制。

• 包名必须完全一致（包括大小写），com.example.util 和 com.example.Util 是两个不同包
• Maven/Gradle 模块隔离 ≠ Java 包隔离；模块 A 依赖模块 B，不代表模块 A 能访问模块 B 里的 default 类
• 即使使用 open module（Java 9+ 模块系统），也不会放宽 default 类的可见性

default 外部类的合理使用场景

适合封装仅在当前包内部协作的“实现细节”，比如策略类、工厂内部助手、测试桩类等。

例如，你在 com.example.payment 下有一套支付流程，其中 AlipaySigner 和 WechatSigner 都依赖一个共用的 SignatureUtils，但它不该暴露给支付以外的业务模块——这时把它设为 default 就很自然。

• 避免在 public API 接口中返回或接收 default 类型，否则调用方根本无法声明变量
• 单元测试类（如 PaymentTestUtils）设为 default 是安全的，只要测试代码也在同一包下
• 不要为了“省事”把所有类都设成 default；该 public 的入口类（如 PaymentService）必须显式声明 public

容易忽略的关键细节

最常被跳过的点是：包路径与文件系统路径必须严格对应，且 default 类的可见性检查发生在编译期，不是运行时。

比如你在 IDE 里把 com.example.util 的类拖进 src/main/java/com/example/service 目录下，却不改包声明，那它实际仍属于 util 包——此时在 service 包里引用它，依然算跨包访问，照样报错。

• IDE 的自动导入可能“骗过”你：它能帮你补全类名，但编译时仍会失败
• javac 对 default 类的检查不看 classpath，只看源码包结构；哪怕你把 class 文件手动复制到别的包路径下，JVM 加载时也不会认
• Spring 等框架的组件扫描（@ComponentScan）不会绕过这个限制：它只能发现 public 类

理论要掌握，实操不能落！以上关于《外部类可见性与_default权限解析》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！