C# virtual关键字的作用 - 面向对象多态性的基础

来源:这里教程网 时间:2026-02-21 17:32:47 作者:

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();子类 DogCat 分别 override 它。那么:

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

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

基本上就这些。

相关推荐