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 支撑起的多态本质:同一调用,不同表现。
基本上就这些。
