java重写的类型,Java中重写方法的更宽泛的参数类型

What OO principle is broken by the following code ? Not Java OO principle but general OO principle.

class GeneralArg{}

class Arg extends GeneralArg{}

class A{

public void test(Arg a){}

}

class B extends A{

@Override

public void test(GeneralArg a){}

}

I think this should work!

However there is a compile error saying that B.test() doesn't override A.test()

解决方案

What you are doing is not overriding but overloading.

You overload a method when you change the parameter list.

You override a method when you change it implementation.

public class Foo {

public void method1() {

}

public void method1(String str) {

//We overload method1

}

}

public class Bar extends Foo {

public void method1(String str) {

// We override method1 here

}

public void method1(Number num) {

// We overload method1 here

}

}

Note, that annotation is not mandatory it only inform the compiler that you have override some method to prevent potential faults.

Concluding when you in child class declare method with the same [signature] you override it, when you add/remove switch parameter order you overload. This rule obey to Java world as every not final method is virtual an can be overridden.