object pascal中的覆盖（override）、重定义（redefine）和重载（overload）

1  子类方法覆盖（override）父类中对应的方法。

覆盖时要求名字相同、参数一致、子类方法使用override关键字，父类方法带有virtual关键字。

如果父类中对应的方法不带virtual关键字， 则override行为导致编译器报错can not override a non-virtual method;

覆盖方法将产生多态或者迟绑定效应。

2 子类方法重定义（redefine）父类中对应的方法。

要求名字相同，参数一致。

3 子类方法重载（overload）父类中对应的方法。

要求名字相同，参数不一致。当父类中对应方法带有virtual关键字时，编译器会提警告‘子类隐藏了父类虚方法’，这时可以为子类方法增加reintroduce;关键字.

举例如下

tmyclass = class
    procedure one; virtual;
    //procedure two; //
    procedure three; virtual;
    procedure four;
    procedure five; virtual;
    procedure six;
  end;


  tmysubclass = class(tmyclass)
    procedure one; override;//虚方法覆盖
    //procedure two; override;  //一般方法覆盖。编译报错
    //Cannot override a non-virtual method
    procedure three; //虚方法的重定义
    procedure four;//一般方法的重定义
    procedure five(str: string); reintroduce; overload;//虚方法重载
    procedure six(str: string); overload;//一般方法重载

//假定变量已经创建和初始化

var
  myclass1, myclass2: tmyclass;
  mysubclass1, mysubclass2: tmysubclass;

//
  myclass1 := tmyclass.Create;
  myclass2 := tmysubclass.Create;
  myclass1.one;
  myclass2.one;

  myclass1.three;

  myclass2.three;

  tmysubclass(myclass2).three;

  myclass1.four;
  myclass2.four;
  tmysubclass(myclass2).four;

  myclass1.five;
  tmysubclass(myclass2).five;
  tmysubclass(myclass2).five('hi');


  myclass1.six;
  tmysubclass(myclass1).six;
  tmysubclass(myclass2).six('hi');

结果

tmyclass.one//虚方法的覆盖

tmysubclass.one//

tmyclass.three//一般静态方法的重定义
tmyclass.three
tmysubclass.three

tmyclass.four//虚方法的重定义
tmyclass.four
tmysubclass.four

tmyclass.fiver//虚方法的重载
tmyclass.five
tmysubclass.five: hi

tmyclass.six///一般方法的重载
tmyclass.six
tmysubclass.six: hi

注：方法覆盖（override）可以传递。比如 tderiv2继承自tderiv1，tderiv1继承自tbase。则tbase中的virtual方法可以两个子类都覆盖。

还有，如果作为父类的tbase中virtual方法没有实现的必要，则可以只写该方法的声明，不必写出实现代码，但是要在virtual后加上abstract。格式 virtual; abstract;