重载和多态问题

----------------------------------------------------------------------
下面摘自《超级猛料》

这里有一个初学者经常混淆的概念。
覆盖（override）和重载（overload）。
覆盖是指子类重新定义父类的虚函数的做法。
而重载，是指允许存在多个同名函数，而这些函数的参数表不同（或许参数个数不同，或许参数类型不同，或许两者都不同）。
其实，重载的概念并不属于“面向对象编程”，重载的实现是：编译器根据函数不同的参数表，对同名函数的名称做修饰，然后这些同名函数就成了不同的函数（至少对于编译器来说是这样的）。如，有两个同名函数：function func(p:integer):integer;和function func(p:string):integer;。那么编译器做过修饰后的函数名称可能是这样的：int_func、str_func。对于这两个函数的调用，在编译器间就已经确定了，是静态的（记住：是静态）。也就是说，它们的地址在编译期就绑定了（早绑定），因此，重载和多态无关！

真正和多态相关的是“覆盖”。当子类重新定义了父类的虚函数后，父类指针根据赋给它的不同的子类指针，动态（记住：是动态！）的调用属于子类的该函数，这样的函数调用在编译期间是无法确定的（调用的子类的虚函数的地址无法给出）。因此，这样的函数地址是在运行期绑定的（晚邦定）。

结论就是：重载只是一种语言特性，与多态无关，与面向对象也无关！
　　
    引用一句Bruce Eckel的话：“不要犯傻，如果它不是晚邦定，它就不是多态。”
　　
    那么，多态的作用是什么呢？我们知道，封装可以隐藏实现细节，使得代码模块化；继承可以扩展已存在的代码模块（类）；它们的目的都是为了--代码重用。而多态则是为了实现另一个目的--接口重用！
-----------------------------------------------------------------------------
A method can be redeclared using the overload directive. In this case, if the redeclared method has a different parameter signature from its ancestor, it overloads the inherited method without hiding it. Calling the method in a descendant class activates whichever implementation matches the parameters in the call.
If you overload a virtual method, use the reintroduce directive when you redeclare it in descendant classes. For example,

type

  T1 = class(TObject)
    procedure Test(I: Integer); overload; virtual;
  end;
  T2 = class(T1)
    procedure Test(S: string); reintroduce; overload;
  end;
   ...
  SomeObject := T2.Create;
  SomeObject.Test('Hello!');  // calls T2.Test
  SomeObject.Test(7);         // calls T1.Test

Within a class, you cannot publish multiple overloaded methods with the same name. Maintenance of runtime type information requires a unique name for each published member.

type

  TSomeClass = class
  published
    function Func(P: Integer): Integer;
    function Func(P: Boolean): Integer  // error
     ...

Methods that serve as property read or write specifiers cannot be overloaded.
------------------------------------------------------------------------------
既然说到了向上引用，我就再补充一些，为什么向上引用是安全的，反之的向下引用就是不一定安全的，道理很简单.........

因为在子类中可能会有父类中没有申明的方法，也就是可能子类在方法数量上对父类进行了扩展。因此，由于任何一个类都对应着一个内存结构，所以，当把父类的指针指向子类的内存结构的时候，可以确保这种指向最后都可以找到与父类对应的子类的方法；反之，也是由于上面说的那个原因，无法保证在父类中可以找到子类中所有申明的方法，因为子类可能进行了扩展，但扩展出的部分在父类的内存结构是不存在的。因此，向下引用是不安全的，很可能会发生异常.........

不是说覆盖可以实现多态，覆盖只是实现多态的方式而已。多态只是一种特性，但特性肯定也是通过一定的方式实现后来体现的，而覆盖就是这种方式。覆盖实际上就是通过一个指示字来告诉Delphi的编译器，现在你看到的这个方法在子类中是被扩展的，而且这种扩展可以通过向上引用来直接获取到..........
------------------------------------------------------------------------------

 

引用地址

http://faq.csdn.net/read/175741.html

 

问题内容：重载和多态问题！欢迎讨论。

原讨论链接：http://community.csdn.net/expert/topicview1.asp?id=2064895