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;