为何C#需使用virtual关键字实现所需的类型替换行为？

问题背景 #

在C#里实现方法重写时，必须先在基类的目标方法上标记virtual，派生类才能用override实现真正的运行时多态。如果新手只用new关键字隐藏基类方法，很容易写出编译通过但行为不符合预期的代码。这里要搞清楚两个核心问题：

• 为什么C#不在方法调用出现歧义时直接触发编译错误？
• 这种允许“隐藏基类方法”的设计，到底支持哪些实际场景？

一、默认非虚方法的设计原因 #

C#默认方法是非虚的，必须显式标记virtual才能被重写，本质是出于以下几个关键考虑：

1. 明确控制基类的可扩展性 #

基类的作者需要精准控制哪些方法可以被派生类修改。如果默认所有方法都可重写，派生类可能会意外破坏基类的内部逻辑——比如基类的某个私有方法依赖了一个公开方法的行为，派生类重写这个公开方法后，基类自身的功能可能直接失效。显式标记virtual相当于基类作者对外声明：“这个方法的设计就是允许被定制的，我已经考虑过它被重写后的兼容性”。

2. 性能优化 #

非虚方法是静态绑定，编译时就确定了调用的方法地址，不需要在运行时查询虚表（vtable），性能比动态绑定的虚方法更高。对于不需要多态的普通方法，默认非虚可以避免不必要的性能开销。

3. 向后兼容性保障 #

假设默认方法是虚的，当基类后续版本新增一个方法时，可能会和已有派生类的同名方法意外形成重写关系，导致原有代码的行为突然改变。比如旧代码中调用基类的DoSomething()，原本执行的是基类逻辑，派生类新增同名方法后，突然变成执行派生类逻辑，这会引发难以排查的兼容性问题。默认非虚就从根源上避免了这种意外。

二、允许方法隐藏（new关键字）的场景 #

C#允许用new关键字隐藏基类方法，而不是直接报错，是因为这种设计能支持一些特定的开发场景：

1. 语义完全不同的同名方法 #

当派生类需要一个和基类同名，但语义完全无关的方法时，用new隐藏可以避免强制override带来的语义混淆。比如基类Animal有一个Move()方法表示移动，派生类Car继承Animal（仅举例），需要一个Move()方法表示启动引擎，这时候用new明确隐藏基类方法，就不会让开发者误以为这是对基类方法的重写。

2. 版本兼容的过渡方案 #

当基类在后续版本中新增了一个方法，而派生类已经有了同名方法时，new关键字可以解决编译冲突，同时明确告知编译器：“我知道这个方法和基类同名，我就是要隐藏它，保持原有派生类的行为”。这避免了因为基类更新而被迫修改派生类的代码。

3. 静态多态的需求 #

有时候需要实现“仅在派生类类型调用时生效”的方法，基类类型调用时仍然使用基类的实现。比如一个工具类库，基类BaseTool有一个Process()方法，派生类AdvancedTool需要一个同名但更复杂的Process()方法，但只希望在声明为AdvancedTool类型时调用，用new就能实现这种静态绑定的效果。

三、关于“歧义调用”的编译处理 #

C#没有把方法隐藏当成编译错误，而是给出警告（如果没写new关键字），核心原因是：这是开发者主动选择的设计，而非错误。new关键字就是用来明确表达“我要隐藏基类方法”的意图，编译器尊重这种选择；如果开发者忘记写new，警告可以提醒开发者确认自己的意图，同时兼容那些历史遗留的、没有显式标记new的代码。

附测试代码：

public class Program
{
  public static void Main()
  {
    parent obj3;
    obj3 = new parent();
    Console.WriteLine(obj3.getVal()); // 输出1，因为变量声明为parent类型
    PrintParentVal(obj3); // 输出1，方法接收parent类型参数
    //PrintChildVal(obj3); // 编译错误：Parent对象不能向下转换为child
    
    Console.WriteLine("---------------------");
    
    parent obj;
    obj = new child();
    Console.WriteLine(obj.getVal()); // 基类未加virtual时输出1，加virtual后输出2
    PrintParentVal(obj); // 加virtual后输出2，否则输出1
    //PrintChildVal(obj); // 编译错误：Parent对象不能向下转换为child

    Console.WriteLine("---------------------");
    
    child obj2;
    obj2 = new child();
    Console.WriteLine(obj2.getVal()); // 输出2
    PrintParentVal(obj2); // 加virtual后输出2，否则输出1
    PrintChildVal(obj2); // 输出2
  }

  private static void PrintParentVal(parent obj){
    Console.WriteLine(obj.getVal());
  }

  private static void PrintChildVal(child obj){
    Console.WriteLine(obj.getVal());
  }

  public class parent
  {
    public virtual int getVal(){
        return 1;
    }
  }

  public class child: parent
  {
    public override int getVal(){
        return 2;
    }
  }
}

内容的提问来源于stack exchange，提问作者Sidney