转载--重写、覆盖、重载、多态几个概念的区别分析

转自：http://blog.csdn.net/ericbaner/article/details/3857268

 

override->重写(=覆盖)、overload->重载、polymorphism -> 多态 

override重写（覆盖）

override重写了一个方法，以实现不同的功能。一般是用于子类在继承父类时，重写（重新实现）父类中的方法。

重写（覆盖）的规则：

   1、重写方法的参数列表必须完全与被重写的方法的相同,否则不能称其为重写而是重载.
   2、重写的方法的返回值必须和被重写的方法的返回一致；
   3、重写的方法所抛出的异常必须和被重写方法的所抛出的异常一致，或者是其子类；
   4、被重写的方法不能为private，否则在其子类中只是新定义了一个方法，并没有对其进行重写。

   5、静态方法不能被重写为非静态的方法（会编译出错）。

　6、基类函数必须有virtual 关键字

 

区别隐藏：派生类中有与基类同名函数。

overload重载

一般是用于在一个类内实现若干重载的方法，这些方法的名称相同而参数形式不同。
重载的规则：
   1、在使用重载时只能通过相同的方法名、不同的参数形式实现。不同的参数类型可以是不同的参数类型，不同的参数个数，不同的参数顺序（参数类型必须不一样）；
   2、不能通过访问权限、返回类型、抛出的异常进行重载；
   3、方法的异常类型和数目不会对重载造成影响； 

多态

多态的概念比较复杂，有多种意义的多态，一个有趣但不严谨的说法是：继承是子类使用父类的方法，而多态则是父类使用子类的方法。
一般，我们使用多态是为了避免在父类里大量重载引起代码臃肿且难于维护。 

举个例子：
public class Shape 
{
   public static void main(String[] args){
     Triangle tri = new Triangle();
     System.out.println("Triangle is a type of shape? " + tri.isShape());// 继承

     Shape shape = new Triangle();
     System.out.println("My shape has " + shape.getSides() + " sides."); // 多态

     Rectangle Rec = new Rectangle();
     Shape shape2 = Rec;
     System.out.println("My shape has " + shape2.getSides(Rec) + " sides."); //重载
   }
   public boolean isShape(){
     return true;
   }
   public int getSides(){
     return 0 ;
   }
   public int getSides(Triangle tri){ //重载
     return 3 ;
   }
   public int getSides(Rectangle rec){ //重载
    return 4 ;
   }
}

class Triangle extends Shape 
{
   public int getSides() { //重写,实现多态
     return 3;
   }
}
class Rectangle extends Shape 
{
   public int getSides(int i) { //重载
    return i;
   }
} 

注意Triangle类的方法是重写，而Rectangle类的方法是重载。对两者比较，可以发现多态对重载的优点：
如果用重载，则在父类里要对应每一个子类都重载一个取得边数的方法；
如果用多态，则父类只提供取得边数的接口，至于取得哪个形状的边数，怎样取得，在子类里各自实现(重写)。

C++中基类和派生类遵循类型兼容原则:即可用派生类的对象去初始化基类的对象，可用派生类的对象去初始化基类的引用，可用派生类对象的地址去初始化基类对象指针。
C++中动态绑定条件发生需要满足2个条件:
1:只有指定为虚函数的成员函数才能进行动态绑定，成员函数默认为非虚函数，非虚函数不能进行动态绑定
2:必须通过基类类型的引用或指针进行函数调用
基类类型引用和指针的关键点在于静态类型和动态类型可能不同:
1:什么是静态类型?就我的理解来说，所谓的静态类型是指，当我们用上述引用或指针去调用非虚函数是，这是的引用和指针就是引种静态类型的，它对非虚函数的调用是在编译时就确定了
2:从静态类型的对立来看，所谓的动态类型也很明显，当这个引用或指针调用了虚函数时，它就是动态类型，它的行为要到程序运行时才能定义
当我们用派生类去初始化基类的引用或指针后，假如调用的是非虚函数，那么这时实际调用的函数是基类的函数；假如调用的是虚函数，那么这是调用的是派生类自己定义的虚函数