简单来讲,多态,就是派生类的对象可以隐式转化为基类对象。在派生类中可以重写基类中定义并实现的虚方法。
可以用基类声明,用派生类实例化,这样的变量调用方法时会调用运行时方法(即派生类重写的方法)。
想在派生类中调用基类的方法,可以用 base.基类方法(); 的形式。具体例子见下文。
C继承B继承A(的虚方法),则不论C强制转化成B还是A,都会调用重写链条中最后的一次重写。
- public class A
- {
- public virtual string Output()
- {
- return "A方法";
- }
- }
-
- public class B:A
- {
- public override string Output()
- {
- return "B方法";
- }
- }
-
- public class C:B
- {
- public override string Output()
- {
- return "C方法";
- }
- }
测试代码:
- private void button9_Click(object sender, EventArgs e)
- {
- C Cclass = new C();
- button9.Text = Cclass.Output() + Environment.NewLine;
- B Bclass = (B)Cclass;
- button9.Text += Bclass.Output() + Environment.NewLine;
- A Aclass = (A)Cclass;
- button9.Text += Aclass.Output() + Environment.NewLine;
-
- A a = new A();
- button9.Text += a.Output() + Environment.NewLine;
- }
结果:
以下是官方文档的说明:
官方文档:多形性 - C# | Microsoft Learn
Polymorphism(多态性)是一个希腊词,指“多种形态”,多态性具有两个截然不同的方面:
虚方法允许你以统一方式处理多组相关的对象。 例如,假定你有一个绘图应用程序,允许用户在绘图图面上创建各种形状。 你在编译时不知道用户将创建哪些特定类型的形状。 但应用程序必须跟踪创建的所有类型的形状,并且必须更新这些形状以响应用户鼠标操作。 你可以使用多态性通过两个基本步骤解决这一问题:
首先,创建一个名为 Rectangle
Shape
的基类,并创建一些派生类,例如 Triangle
Circle
、 和 。 为 Shape
类提供一个名为 Draw
的虚拟方法,并在每个派生类中重写该方法以绘制该类表示的特定形状。 创建 List
对象,并向其添加 Circle
、Triangle
和 Rectangle
。
- public class Shape
- {
- // A few example members
- public int X { get; private set; }
- public int Y { get; private set; }
- public int Height { get; set; }
- public int Width { get; set; }
-
- // Virtual method
- public virtual void Draw()
- {
- Console.WriteLine("Performing base class drawing tasks");
- }
- }
-
- public class Circle : Shape
- {
- public override void Draw()
- {
- // Code to draw a circle...
- Console.WriteLine("Drawing a circle");
- base.Draw();
- }
- }
- public class Rectangle : Shape
- {
- public override void Draw()
- {
- // Code to draw a rectangle...
- Console.WriteLine("Drawing a rectangle");
- base.Draw();
- }
- }
- public class Triangle : Shape
- {
- public override void Draw()
- {
- // Code to draw a triangle...
- Console.WriteLine("Drawing a triangle");
- base.Draw();
- }
- }
若要更新绘图图面,请使用 foreach 循环对该列表进行循环访问,并对其中的每个 Shape
对象调用 Draw
方法。 虽然列表中的每个对象都具有声明类型 Shape
,但调用的将是运行时类型(该方法在每个派生类中的重写版本)。
- // Polymorphism at work #1: a Rectangle, Triangle and Circle
- // can all be used wherever a Shape is expected. No cast is
- // required because an implicit conversion exists from a derived
- // class to its base class.
- var shapes = new List<Shape>
- {
- new Rectangle(),
- new Triangle(),
- new Circle()
- };
-
- // Polymorphism at work #2: the virtual method Draw is
- // invoked on each of the derived classes, not the base class.
- foreach (var shape in shapes)
- {
- shape.Draw();
- }
- /* Output:
- Drawing a rectangle
- Performing base class drawing tasks
- Drawing a triangle
- Performing base class drawing tasks
- Drawing a circle
- Performing base class drawing tasks
- */
在 C# 中,每个类型都是多态的,因为包括用户定义类型在内的所有类型都继承自 Object。
当派生类从基类继承时,它包括基类的所有成员。 基类中声明的所有行为都是派生类的一部分。 这使派生类的对象能够被视为基类的对象。 访问修饰符(public
、protected
、private
等)确定是否可以从派生类实现访问这些成员。 通过虚拟方法,设计器可以选择不同的派生类行为:
仅当基类成员声明为 virtual 或 abstract 时,派生类才能重写基类成员。 派生成员必须使用 override 关键字显式指示该方法将参与虚调用。 以下代码提供了一个示例:
- public class BaseClass
- {
- public virtual void DoWork() { }
- public virtual int WorkProperty
- {
- get { return 0; }
- }
- }
- public class DerivedClass : BaseClass
- {
- public override void DoWork() { }
- public override int WorkProperty
- {
- get { return 0; }
- }
- }
字段不能是虚拟的,只有方法、属性、事件和索引器才可以是虚拟的。 当派生类重写某个虚拟成员时,即使该派生类的实例被当作基类的实例访问,也会调用该成员。 以下代码提供了一个示例:
- DerivedClass B = new DerivedClass();
- B.DoWork(); // Calls the new method.
-
- BaseClass A = B;
- A.DoWork(); // Also calls the new method.
虚方法和属性允许派生类扩展基类,而无需使用方法的基类实现。 有关详细信息,请参阅使用 Override 和 New 关键字进行版本控制。 接口提供另一种方式来定义将实现留给派生类的方法或方法集。
如果希望派生类具有与基类中的成员同名的成员,则可以使用 new 关键字隐藏基类成员。 new
关键字放置在要替换的类成员的返回类型之前。 以下代码提供了一个示例:
- public class BaseClass
- {
- public void DoWork() { WorkField++; }
- public int WorkField;
- public int WorkProperty
- {
- get { return 0; }
- }
- }
-
- public class DerivedClass : BaseClass
- {
- public new void DoWork() { WorkField++; }
- public new int WorkField;
- public new int WorkProperty
- {
- get { return 0; }
- }
- }
通过将派生类的实例强制转换为基类的实例,可以从客户端代码访问隐藏的基类成员。 例如:
- DerivedClass B = new DerivedClass();
- B.DoWork(); // Calls the new method.
-
- BaseClass A = (BaseClass)B;
- A.DoWork(); // Calls the old method.
无论在虚拟成员和最初声明虚拟成员的类之间已声明了多少个类,虚拟成员都是虚拟的。 如果类 A
声明了一个虚拟成员,类 B
从 A
派生,类 C
从类 B
派生,则不管类 B
是否为虚拟成员声明了重写,类 C
都会继承该虚拟成员,并可以重写它。 以下代码提供了一个示例:
- public class A
- {
- public virtual void DoWork() { }
- }
- public class B : A
- {
- public override void DoWork() { }
- }
派生类可以通过将重写声明为 sealed 来停止虚拟继承。 停止继承需要在类成员声明中的 override
关键字前面放置 sealed
关键字。 以下代码提供了一个示例:
- public class C : B
- {
- public sealed override void DoWork() { }
- }
在上一个示例中,方法 DoWork
对从 C
派生的任何类都不再是虚拟方法。 即使它们转换为类型 B
或类型 A
,它对于 C
的实例仍然是虚拟的。 通过使用 new
关键字,密封的方法可以由派生类替换,如下面的示例所示:
- public class D : C
- {
- public new void DoWork() { }
- }
在此情况下,如果在 D
中使用类型为 D
的变量调用 DoWork
,被调用的将是新的 DoWork
。 如果使用类型为 C
、B
或 A
的变量访问 D
的实例,对 DoWork
的调用将遵循虚拟继承的规则,即把这些调用传送到类 C
的 DoWork
实现。
已替换或重写某个方法或属性的派生类仍然可以使用 base
关键字访问基类的该方法或属性。 以下代码提供了一个示例:
- public class Base
- {
- public virtual void DoWork() {/*...*/ }
- }
- public class Derived : Base
- {
- public override void DoWork()
- {
- //Perform Derived's work here
- //...
- // Call DoWork on base class
- base.DoWork();
- }
- }
有关详细信息,请参阅 base。
备注
建议虚拟成员在它们自己的实现中使用 base
来调用该成员的基类实现。 允许基类行为发生使得派生类能够集中精力实现特定于派生类的行为。 未调用基类实现时,由派生类负责使它们的行为与基类的行为兼容。