C#怎么实现多态_C# virtual与override关键字详解【基础】

C#多态：virtual与override的运行时绑定机制

实现C#中的多态，靠的不是在代码里猜测类型，或者写一堆if-else分支。其核心机制在于virtual和override这对关键字的协同工作，它们共同实现了运行时绑定。没有这两个关键字，即使建立了继承关系，也无法实现真正的多态行为。

为什么方法必须标记为 virtual 才能被重写？

这是因为C#默认的实例方法绑定方式是“静态绑定”。编译器在编译阶段就确定了具体调用哪个方法体，这种决定基于变量的声明类型。而virtual关键字的作用，就是告诉编译器：“这个方法的最终实现版本，需要延迟到程序运行时，根据对象的实际类型来决定。”

• virtual关键字只能用于修饰非private、非static、非sealed的实例方法、属性或索引器。
• 如果父类方法没有标记为virtual、abstract或本身就是override，那么子类尝试使用override重写它时，编译器会直接报错：'xxx' cannot override inherited member 'yyy' because it is not marked virtual, abstract, or override。
• 重写时，子类方法的访问修饰符必须与父类虚方法保持一致。即使父类方法是public，子类也不能将其改为protected或internal。

override 的本质：注册到虚方法表

使用override重写方法，不仅仅是替换了方法体内的逻辑。更关键的一步是，子类的方法实现被“注册”到了该类型的虚方法表（vtable）中。这使得通过基类引用调用该方法时，能够动态地跳转到子类的实际实现。这一点与new关键字有着本质区别。

• 使用new关键字声明同名方法，仅仅是“隐藏”了父类的方法。它不会进入vtable，当通过基类引用调用时，执行的仍然是父类的逻辑。
• 使用override后，无论变量的声明类型是什么，只要其实际指向的是子类实例，运行时就会调用子类的重写版本。
• 在子类的重写方法中，如果需要调用父类原有的实现，必须显式地使用base.MethodName()语法。否则，父类的逻辑将不会被执行。

构造函数中调用虚方法的隐患

这是一个常见但容易引发问题的场景。当父类的构造函数正在执行时，子类的字段可能尚未完成初始化。然而，如果此时父类构造函数调用了一个标记为virtual的方法，并且该方法在子类中被override，那么实际执行的将是子类的版本。这可能导致访问未初始化的字段，从而引发NullReferenceException或其他未定义的行为。

• 例如，父类在构造器中调用了一个虚方法Initialize()，而子类重写了该方法，并试图访问其独有的字段_config。由于子类构造器尚未执行，_config字段为null，从而引发异常。
• 解决此问题通常有两种思路：要么将该方法改为非虚的（如private或sealed），要么确保子类重写逻辑不依赖于自身尚未初始化的状态。
• 需要明确的是，C#的对象构造顺序是：先执行父类构造器，再执行子类构造器。因此，不能假设子类的初始化逻辑会优先于父类构造器中的调用执行。

掌握virtual和override的语法并不难，真正的挑战在于如何明智地设计虚方法。一个基本原则是：只有那些确实需要为下游派生类提供扩展入口点的方法，才值得被标记为virtual。而对于内部实现逻辑、性能敏感的代码路径，或者明确不允许变更的行为，则不应使用virtual。滥用虚方法会导致虚方法表膨胀、阻碍编译器内联优化、增加调试的复杂度，这些细节虽然容易被忽略，却实实在在地影响着代码的可维护性和运行时性能。