1700438654
1700438655
Sub sub=new Sub（）；
1700438656
1700438657
sub.fun（100，50）；
1700438658
1700438659
}
1700438660
1700438661
}
1700438662
1700438663
//基类
1700438664
1700438665
class Base{
1700438666
1700438667
void fun（int price, int……discounts）{
1700438668
1700438669
System.out.println（“Base……fun”）；
1700438670
1700438671
}
1700438672
1700438673
}
1700438674
1700438675
//子类，覆写父类方法
1700438676
1700438677
class Sub extends Base{
1700438678
1700438679
@Override
1700438680
1700438681
void fun（int price, int[]discounts）{
1700438682
1700438683
System.out.println（“Sub……fun”）；
1700438684
1700438685
}
1700438686
1700438687
}
1700438688
1700438689
请问：该程序有问题吗？—编译通不过。那问题出在什么地方呢？
1700438690
1700438691
@Override注解吗？非也，覆写是正确的，因为父类的calPrice编译成字节码后的形参是一个int类型的形参加上一个int数组类型的形参，子类的参数列表也与此相同，那覆写是理所当然的了，所以加上@Override注解没有问题，只是Eclipse会提示这不是一种很好的编码风格。
1700438692
1700438693
难道是“sub.fun（100，50）”这条语句？正解，确实是这条语句报错，提示找不到fun（int, int）方法。这太奇怪了：子类继承了父类的所有属性和方法，甭管是私有的还是公开的访问权限，同样的参数、同样的方法名，通过父类调用没有任何问题，通过子类调用却编译通不过，为啥？难道是没继承下来？或者子类缩小了父类方法的前置条件？那如果是这样，就不应该覆写，@Override就应该报错，真是奇妙的事情！
1700438694
1700438695
事实上，base对象是把子类对象Sub做了向上转型，形参列表是由父类决定的，由于是变长参数，在编译时，“base.fun（100，50）”中的“50”这个实参会被编译器“猜测”而编译成“{50}”数组，再由子类Sub执行。我们再来看看直接调用子类的情况，这时编译器并不会把“50”做类型转换，因为数组本身也是一个对象，编译器还没有聪明到要在两个没有继承关系的类之间做转换，要知道Java是要求严格的类型匹配的，类型不匹配编译器自然就会拒绝执行，并给予错误提示。
1700438696
1700438697
这是个特例，覆写的方法参数列表竟然与父类不相同，这违背了覆写的定义，并且会引发莫名其妙的错误。所以读者在对变长参数进行覆写时，如果要使用此类似的方法，请找个小黑屋仔细想想是不是一定要如此。
1700438698
1700438699
注意 覆写的方法参数与父类相同，不仅仅是类型、数量，还包括显示形式。
1700438700
1700438701
1700438702
1700438703
[
上一页 ]
[ :1.700438654e+09 ]
[
下一页 ]