关于重载与覆盖的思考

关于面向对象的编程通常都会涉及这些概念,网上关于它们的讨论也是非常的多,下面是一个我认为还不错的总结:
重载：方法名相同，但参数不同的多个同名函数
　　注意：1.参数不同的意思是参数类型、参数个数、参数顺序至少有一个不同
　　　　　2.返回值和异常以及访问修饰符，不能作为重载的条件(因为对于匿名调用，会出现歧义，eg:void a ()和int a() ，如果调用a()，出现歧义)
　　　　　3.main方法也是可以被重载的


覆盖：子类重写父类的方法，要求方法名和参数类型完全一样(参数不能是子类)，返回值和异常比父类小或者相同(即为父类的子类)，访问修饰符比父类大或者相同
　　　"两同两小一大"
　　  注意：子类实例方法不能覆盖父类的静态方法；子类的静态方法也不能覆盖父类的实例方法(编译时报错)，总结为"方法不能交叉覆盖"
隐藏：父类和子类拥有相同名字的属性或者方法时，父类的同名的属性或者方法形式上不见了，实际是还是存在的
　　注意：当发生隐藏的时候，声明类型是什么类，就调用对应类的属性或者方法，而不会发生动态绑定
　　　　  方法隐藏只有一种形式，就是父类和子类存在相同的静态方法,(注意:私有方法不算,它们是各自独立存在,相互不影响)
　　　　  属性只能被隐藏，不能被覆盖
　　　　  子类实例变量/静态变量可以隐藏父类的实例/静态变量，总结为变量"可以交叉隐藏"


隐藏和覆盖的区别：
　　被隐藏的属性，在子类被强制转换成父类后，访问的是父类中的属性
　　被覆盖的方法，在子类被强制转换成父类后，调用的还是子类自身的方法
　　因为覆盖是动态绑定，是受RTTI(run time type identification，运行时类型检查)约束的，隐藏不受RTTI约束，总结为RTTI只针对覆盖，不针对隐藏
特殊情况：
　　1.final修饰的属性可以被隐藏，但是不能被赋值，即不能用=来赋值，网上说final属性不能被修改，这个说法不准确，因为对于引用类型的变量用final修饰后，
它只是不能被指向其他对象，但是可以改它自身的值，可以用ArrayList测试，final属性可以在运行的时候进行初始化，但是不能不出现初始化语句
　　2.final修饰的方法不能被覆盖，可以被重载
　　3.final修饰的类不能被继承
　　4.private 方法隐式添加了final


应该说上面的的总结还是比较全面的,下面是我对覆盖与重载的思考,这里不包括隐藏的分析:


首先我想说覆盖所代表的是对象本身的变化对于行为的影响抽象;而重载代表的是对象的外在因素对于行为的影响抽象;

以人的角度来分析说话的行为:张三与李四显然不同;对于张三来说,说普通话与说英文显然也不同,这两种情况所描述的不同
都是说话的不同,但是我们可以明显可以感觉到是描述方向是不同的.又比如我们以形状为主体进行分析,以计算面积作为行为
分析,一个圆与一个三角形,它们计算面积显然处理逻辑不同;对于同一三角形,计算面也可能存在不同的方式,比如知道底边与高
可以使用ah/2,如果知道三边可以使用海伦公式等一系列的方法,同样是计算面积的差异,前者比较的形状本身的差异,后者比较的
研究的是同一个形状,在不同情境下的计算方案,很明显描述的方向是不同的,方法的重载与覆盖就是对这两个方向差异的抽象.


一个子类继承于父类,它一定是有所进化,与父类显然存在不同的,即使对于相同的行为也有可能表现出差异性,这种差异性
是因为对象本身发生了变化,或者说对象的内在因素发生了变化,这里所说的相同的行为就是覆盖中的两个关键要素:方法名称与方法参数相同
对于同一个对象的的相同行为由于外部因素的不同导致的行为差异,这种差异的根本原因在于外部因素,这里外部因素就是方法参数,相同就是方法名称
例如:比如对于皇帝而言:昏君与明君对于"逆耳忠言"反应显然不同,这就是昏君与明君对于皇帝这个类的"听"的动作进行覆盖,表现出不同的行为

同样对于一个明君听到"谄媚奉承"与"逆耳忠言"同样是不一样的,这种不同就表现在外在因素,需要注意这里分析的主体是皇帝.

当然重载与覆盖还存在很多表象上的差异，比如：重载是编译时多态，也称为静态多态，因为所有调用重载方法的逻辑在编译时是可以确定，而覆盖属于运行时多态，也称为动态多态，因为对于一个覆盖方法的调用，在编译时是无法确定当前对象的实际类型的，需要等到运行才可以确定对象的真正类型，从而才可以确定调用方法的真正的逻辑，其实这些行为都是由于重载与覆盖所刻画对象行为差异的方向不同导致的，重载是描述对象行为的外部影响，覆盖是描述族群的内部矛盾