java 中抽象类里定义的抽象方法，其参数列表在子类实现时绝对不能改变。子类必须提供与父类抽象方法完全一致的方法签名，包括相同的方法名、相同的参数类型顺序以及相同的参数数量。如果子类试图修改参数列表（例如增加、删除或改变参数类型），编译器会将其视为一个全新的重载方法，而非对抽象方法的实现，这会导致子类仍然保留未实现的抽象方法，从而无法实例化。
子类修改参数列表会发生什么
当子类尝试通过改变参数列表来实现抽象方法时，实际上并没有完成实现义务。编译器不会报错说“找不到方法”，而是会指出子类仍然是抽象的，因为它没有提供父类声明的那个特定签名的方法实现。这种行为属于编译期错误，阻止了代码的运行。
abstract class Animal {
abstract void makeSound(String type);
}
// 错误示例：参数类型从 String 改为 int
// 这被视为重载，而非重写
// 导致 Animal 的抽象方法未被实现
class Dog extends Animal {
@Override // 编译错误：The method makeSound(int) of type Dog must override a superclass method
void makeSound(int volume) {
System.out.println("Bark at volume " + volume);
}
}
public class Main {
public static void main(String[] args) {
// Animal a = new Dog(); // 编译错误：Dog is not abstract and does not override abstract method makeSound(String) in Animal
}
}
上述代码中，Dog 类定义了一个名为 makeSound 但接受 int 参数的方法。由于父类 Animal 要求的是 String 参数，Dog 类并未满足抽象契约。因此，Dog 类本身也必须被声明为 abstract，否则编译器将抛出错误。这意味着你无法直接创建 Dog 的实例。
子类正确实现抽象方法的要求
要成功实现抽象类中的抽象方法，子类必须严格匹配所有要素。除了参数列表外，返回类型也必须兼容（对于非泛型情况需完全一致），且访问修饰符不能比父类更严格。这是 Java 多态性的基础，确保在运行时可以通过父类引用调用子类对象的具体行为。
abstract class Shape {
abstract double calculateArea(double radius);
}
class Circle extends Shape {
@Override
double calculateArea(double radius) {
return Math.PI * radius * radius;
}
}
public class Main {
public static void main(String[] args) {
Shape shape = new Circle();
System.out.println(shape.calculateArea(5.0)); // 输出: 78.53981633974483
}
}
在这个正确的例子中，Circle 类提供了 calculateArea 的实现，其参数类型为 double，与父类 Shape 中的抽象方法签名完全一致。这使得 Circle 成为一个具体的、可实例化的类。当我们创建 Circle 对象并通过 Shape 引用调用 calculateArea 时，JVM 会根据实际对象类型执行 Circle 中的逻辑。
基于程序中具体输入条件的返回值差异
在抽象方法实现中，虽然参数列表固定，但方法体内部可以根据传入的具体参数值产生不同的结果。这种分支逻辑是抽象方法实现的核心价值所在，它允许不同子类对同一接口做出符合自身特性的响应。例如，根据半径的正负或零值，可以返回不同的面积计算结果或抛出异常。
abstract class Calculator {
abstract int process(int input);
}
class PositiveProcessor extends Calculator {
@Override
int process(int input) {
if (input > 0) {
return input * 2;
} else {
return 0;
}
}
}
public class Main {
public static void main(String[] args) {
Calculator calc = new PositiveProcessor();
System.out.println(calc.process(5)); // 输出: 10
System.out.println(calc.process(-3)); // 输出: 0
}
}
在上述代码中，PositiveProcessor 实现了 process 方法。当输入为正数时，返回值的两倍；当输入为非正数时，返回零。这种基于输入条件的逻辑判断是在方法体内完成的，不影响方法签名的固定性。开发者需要确保在实现抽象方法时，处理所有可能的输入情况，以保证程序的健壮性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
