方法覆写

Illustration

在面向对象的编程中，方法覆写是一种语言功能，它允许子类或子类提供已由其超类或父类之一提供的方法的特定实现。 它允许特定类型的多态性（子类型）。 子类中的实现通过提供与父类中的方法具有相同名称、相同参数或签名以及相同返回类型的方法来覆盖（替换）超类中的实现。执行的方法的版本将由用于调用它的对象确定。 如果使用父类的对象调用方法，则执行父类中的版本，如果使用子类的对象调用方法，则执行子类中的版本。 某些语言允许程序员防止方法被覆盖。

特定语言示例

Ada

Ada 默认提供方法覆盖。为了有利于早期错误检测（例如拼写错误），可以指定何时期望方法实际覆盖或不覆盖。这将由编译器检查。

  type T is new Controlled with ......;
  procedure Op(Obj: in out T; Data: in Integer);

  type NT is new T with null record;
  overriding    -- overriding indicator
  procedure Op(Obj: in out NT; Data: in Integer);
  overriding    -- overriding indicator
  procedure Op(Obj: in out NT; Data: in String);
  -- ^ compiler issues an error: subprogram "Op" is not overriding

C#

C# 确实支持方法覆盖，但仅在使用修饰符 Template:C sharp 和Template:C sharp 或 Template:C sharp明确要求时。

abstract class Animal
{
    public          string Name { get; set; }
    // Methods
    public          void   Drink();
    public virtual  void   Eat();
    public          void   Go();
}

class Cat : Animal
{
    public new      string Name { get; set; }
    // Methods
    public          void   Drink();  // Warning: hides inherited drink(). Use new
    public override void   Eat();    // Overrides inherited eat().
    public new      void   Go();     // Hides inherited go().
}

参考文献

• Lewis, J. & Loftus, W. (2008). Java: Software Solutions (6th ed.). Boston, MA: Pearson Addison Wesley.
• Flanagan, David.(2002).Java in a Nutshell.Retrieved from http://oreilly.com/catalog/9780596002831/preview#preview （页面存档备份，存于互联网档案馆）