一、继承体系中的可见性雷区
scala
class PaymentSystem {
public void validate() {} // 超类公开方法
}
class ThirdPartyPay extends PaymentSystem {
void validate() {} // 陷阱:default可见性 < public
}
// 编译错误:Cannot reduce visibility
在子类ThirdPartyPay中,尝试重写超类PaymentSystem的public方法validate()时,将其可见性改为default(即不加任何访问修饰符,也称为包级私有)。这将导致编译错误,错误信息类似于"Cannot reduce the visibility of the inherited method from PaymentSystem"。
在Java中,方法重写有一条重要的规则:子类重写方法的访问修饰符不能比父类被重写方法的访问修饰符更严格(即不能降低访问权限)。父类中的validate()方法是public,意味着在任何地方都可以访问。子类中重写的validate()方法使用了default可见性(即没有修饰符),这比public更严格,因为它只允许同一个包内的类访问。因此,这违反了方法重写的规则,导致编译错误。
Java中访问修饰符的可见性从高到低为:
- public:任何地方可见。
- protected:同一包内或子类可见。
- default(无修饰符):同一包内可见。
- private:仅本类可见。
在重写方法时,子类方法的可见性必须至少与父类方法相同或更高(即不能降低)。例如:
- 父类方法是protected,子类重写方法可以是protected或public,但不能是default或private。
- 父类方法是default可见性,子类重写方法可以是default、protected或public,但不能是private。
所以,保持子类重写方法的访问修饰符与父类相同或更宽松(即不能降低)。在本例中,将子类的validate()方法改为public即可。
通过以上分析,我们可以清晰地理解问题所在并知道如何修正代码。如下所示:
scala
class ThirdPartyPay extends PaymentSystem {
@Override // 显式声明重写
public void validate() { ... } // 保持public可见性
}
二、Object方法重写的致命疏忽
typescript
class User {
String id;
// 仅重写equals()
@Override
public boolean equals(Object o) { ... }
// 未重写hashCode() → HashMap出现逻辑错误!
}
后果:
- HashMap中相同对象存入不同bucket
- HashSet出现重复元素
typescript
class A {
public boolean equals(Object o) { return o instanceof A; }
}
class B extends A {
@Override
public boolean equals(Object o) {
if(!(o instanceof B)) return false; // 陷阱:A.equals(B)=true 但 B.equals(A)=false
}
}
混迹java圈多年的我们知道:
- Object类有equals()和hashCode()方法。
- 重写equals()时必须重写hashCode(),因为hashCode的契约要求:如果两个对象相等(equals()返回true),那么它们的hashCode必须相同。
- 否则,在使用基于散列的集合(如HashMap、HashSet)时,相等的对象可能被放在不同的桶中,导致无法正确找到对象。比如:
go
User u1 = new User("A123");
User u2 = new User("A123"); // 相同业务ID
Map<User, String> map = new HashMap<>();
map.put(u1, "VIP用户");
System.out.println(u1.equals(u2)); // true (符合预期)
System.out.println(map.get(u2)); // null (灾难性结果)
当User类没有重写hashCode()时,使用HashMap存储User对象作为键时,会出现逻辑错误。如上代码,两个User对象u1和u2,如果它们根据equals()是相等的(比如id相同),但由于没有重写hashCode(),它们默认的hashCode(来自Object类)可能是不同的(因为Object的hashCode通常是根据内存地址生成的)。这样,当我们将u1作为键存入HashMap后,用u2去获取时,由于hashCode不同,HashMap会在不同的桶中查找,因此可能返回null,尽管u1.equals(u2)为true。
这显然违反了hashCode的契约,导致基于散列的集合无法正常工作。具体问题包括:
- 在HashMap中,相等的对象作为键可能被映射到不同的桶,因此无法通过相等的键检索到对应的值。
- HashSet中可能会包含重复的元素(因为HashSet内部使用HashMap实现)。
解决思路:
- 同时重写equals()和hashCode()方法,确保当两个对象equals()返回true时,它们的hashCode()返回相同的值。
- 在重写hashCode()时,通常使用对象中参与equals()比较的相同字段来计算哈希码。
typescript
class User {
private String id;
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
User user = (User) o;
return Objects.equals(id, user.id);
}
@Override
public int hashCode() {
// 使用id字段生成哈希码,如果id为null则返回0,否则返回id的哈希码
return Objects.hash(id);
}
}
三、多态与重载的认知偏差
typescript
class Printer {
void print(Integer i) { System.out.println("Integer"); }
void print(String s) { System.out.println("String"); }
public static void main(String[] args) {
Printer p = new Printer();
p.print(null); // 陷阱:编译错误 - 两个方法都匹配
}
}
Java编译器在重载解析时无法确定哪一个方法更合适,因为null可以赋给引用类型(Integer和String),而且它们没有继承关系(处于同一层级)
解决方案矩阵
方案类型 | 实现方式 | 适用场景 |
---|---|---|
类型明确化 | p.print((String)null); | 临时快速修复 |
设计重构 | void print(Object o){...} | 统一入口处理 |
防御编程 | void print(Integer i){...} void print(String s){...} void print(Object o){/默认处理/} | 兼容旧系统 |
API优化 | void print(Optional param) | 现代空安全方案 |
最佳实践(防御型重载)
javascript
class Printer {
// 原始方法保持
void print(Integer i) { ... }
void print(String s) { ... }
// 新增兜底方法
void print(Object o) {
if (o == null) {
System.out.println("Null value detected");
} else if (o instanceof Integer) {
print((Integer)o); // 委托给具体方法
} else if (o instanceof String) {
print((String)o);
} else {
throw new IllegalArgumentException();
}
}
}
四、抽象类使用误区
危险操作:
1.尝试实例化抽象类
csharp
abstract class DatabaseConnector {
public abstract void connect();
}
// 业务层错误调用
public class App {
public static void main(String[] args) {
DatabaseConnector conn = new DatabaseConnector(); // 致命错误!
}
}
抽象类是无法通过new直接实例化的,抽象类本质是未完成模板,实例化会导致未实现方法调用风险
最佳实践
scala
// 正确用法:通过子类实例化
class MySQLConnector extends DatabaseConnector {
@Override public void connect() { ... }
}
// 调用处
DatabaseConnector conn = new MySQLConnector(); // 多态安全
2.抽象方法含方法体
csharp
abstract class Payment {
// 违反抽象方法定义
abstract void process() {
System.out.println("Processing..."); // 错误实现体
}
}
- 语义矛盾:abstract关键字要求方法无实现,大括号{}表示方法体存在
- 编译器原理:抽象方法在字节码中标记为ACC_ABSTRACT,含方法体会破坏类加载机制
最佳实践
csharp
abstract class Payment {
// 正确:无方法体
abstract void validate();
// 需要共享的逻辑改为具体方法
void logProcess() {
System.out.println("Payment logged");
}
// 模板方法模式
final void execute() {
validate(); // 抽象方法
process(); // 具体方法
}
private void process() { ... } // 私有具体实现
}
3.子类未实现所有抽象方法
scala
abstract class Shape {
abstract void draw();
}
class Circle extends Shape {
// 编译错误:除非声明Circle为abstract
}
- Liskov替换原则破坏:子类无法替代父类行为
- JVM运行时风险:若通过父类引用调用未实现方法 → AbstractMethodError
解决思路金字塔
场景 | 解决方案 | 代码示例 |
---|---|---|
子类需延迟实现 | 声明子类为abstract | abstract class Circle extends Shape |
部分方法不需实现 | 接口隔离原则 | interface Drawable { void draw(); } |
需要默认实现 | 父类提供空方法体 | void draw() {}→ 非抽象 |
最佳实践
scala
// 架构级保护:强制实现检查
public abstract class ValidatedShape extends Shape {
public ValidatedShape() {
// 构造时检查所有抽象方法已实现
if (this.getClass().getMethod("draw").isDefault()) {
throw new IllegalStateException();
}
}
}
五、类型匹配的隐藏规则
自动转型陷阱:
csharp
class OverloadDemo {
void process(int x) { System.out.println("int"); }
void process(long x) { System.out.println("long"); }
public static void main(String[] args) {
byte b = 10;
new OverloadDemo().process(b); // 输出int而非byte!
// 原因:byte先匹配int而非long
}
}
从上面代码我们不难看出,输出已经开始反直觉了。

Java重载优先级金字塔
从java重载优先级金字塔可以看到,基本类型扩展优先于装箱转换,但byte→int比byte→long的转换步骤更少(精度损失更小),所以在实际生产系统中,最好使用包装类型统一接口:
javascript
void process(Number x) {
long val = x.longValue(); // 统一转换入口
// 核心处理逻辑
}