17370845950

virtual关键字允许派生类重写父类方法，实现运行时多态；父类用virtual声明可被重写的方法，子类用override提供具体实现，调用时根据实际对象类型确定执行版本，而非引用类型。只有非静态、非私有、非密封的实例成员才能声明为virtual，构造函数、析构函数、静态成员等不可使用。与abstract不同，virtual方法可有默认实现且不强制重写；与new关键字的隐藏机制不同，virtual+override构成真正多态。例如Animal基类定义virtual Speak()，Dog和Cat分别override，通过Animal引用调用Speak时，会动态执行对应子类方法，体现“同一调用，不同行为”的多态特性。

virtual 关键字用于声明一个可以在派生类中被重写的成员（方法、属性、索引器或事件），它是实现运行时多态（即“晚绑定”）的必要前提。

让子类有机会改变父类的行为

没有 virtual，父类的方法默认是“封闭”的——子类即使写一个同名方法，也只是隐藏（hide）而非重写（override），调用时取决于变量的声明类型，不是实际对象类型。加上 virtual，才真正开启多态大门。

• 父类中用 virtual 标记方法，表示“我允许子类按需重新定义逻辑”
• 子类用 override 响应，表示“我明确要替换这个虚方法的具体实现”
• 调用时，.NET 运行时根据对象的实际类型（而非引用类型）决定执行哪个版本

不是所有成员都能加 virtual

virtual 只能修饰非静态、非私有、非密封（non-sealed）、非构造函数的实例成员。

• 不能修饰 static 方法：多态依赖实例，静态方法与类型绑定，不参与对象动态分发
• 不能修饰 private 成员：子类根本不可见，谈不上重写
• 不能修饰 sealed 类的成员：sealed 类不允许继承，virtual 就失去意义
• 构造函数、析构函数、运算符重载也不能是 virtual

和 abstract、override、new 的区别要拎清

virtual 是“可选重写”，abstract 是“必须重写”（且只能在 abstract 类中）；override 必须配合 virtual 或 abstract 使用；而 new 是显式隐藏父类成员，不构成多态，只是屏蔽警告。

• 用 virtual + override → 多态生效，推荐用于扩展行为
• 用 abstract → 强制子类实现，适合定义契约（如模板方法中的钩子）
• 用 new → 静态绑定，容易引发歧义，一般应避免

一个典型的小例子

比如有个基类 Animal，定义 virtual void Speak()；子类 Dog 和 Cat 分别 override 它。那么：

• Animal a1 = new Dog(); a1.Speak(); → 输出“汪汪”
• Animal a2 = new Cat(); a2.Speak(); → 输出“喵喵”
• 哪怕变量类型都是 Animal，执行的仍是实际对象所属类型的 Speak

这就是 virtual 支撑起的多态本质：同一调用，不同表现。

基本上就这些。