C#中Abstract方法和Virtual方法的区别

星野

发布时间：2026-10-16 | 7人浏览过

原创

C# 中的 Virtual 和 Abstract 都是处理继承和多态性的关键修饰符。理解它们的核心差异在于：Virtual 允许子类选择是否重写基类已有的实现，而 Abstract 强制子类必须提供具体的实现逻辑。

核心区别总结

Virtual 和 Abstract 的共同前提是修饰的方法不能是私有的（private），否则子类无法访问，也就失去了重写的意义。此外，声明为虚拟或抽象的成员前通常需要使用访问修饰符（如 public）。以下是两者的具体差异：

Virtual（虚方法）：
- 实现要求：在基类中必须有完整的实现代码。
- 重写规则：子类可以选择使用 override 重写该方法，也可以选择不重写（直接沿用父类逻辑）。
- 所属类型：普通类即可包含。
Abstract（抽象方法）：
- 实现要求：不能有实现，仅包含方法签名。
- 重写规则：强制子类使用 override 提供具体实现，否则编译报错。
- 所属类型：必须定义在 abstract 抽象类中。

第一层验证：Virtual方法的行为机制

Virtual 关键字用于启用晚绑定（Late Binding）或多态性。当调用一个对象的虚方法时，CLR（公共语言运行时）会在运行时检查对象的实际类型，从而决定执行哪段代码。

第1步：基类定义Virtual方法

在基类中，Virtual 方法必须提供方法体。即使是一个空实现也是必须的，这代表了“默认行为”。

class BaseTest1
{
    // 注意：virtual方法必须有实现
    public virtual void Fun()
    {
        Console.WriteLine("Base class default implementation.");
    }
}

第2步：派生类的两种处理方式

派生类继承自 BaseTest1，面对 Fun 方法有两种情况：

未重写（Override）：如果派生类不声明 override，调用时将执行基类的版本。
```
class DeriveTest1 : BaseTest1
{
    // 未覆盖，将使用 BaseTest1.Fun
}
```

已重写（Override）：如果派生类希望改变行为，必须显式使用 override 关键字。

class DeriveTest1Override : BaseTest1
{
    // 重写，执行此处的代码
    public override void Fun()
    {
        Console.WriteLine("Derived class overridden implementation.");
    }
}

第二层验证：Abstract方法的约束机制

Abstract 关键字表示一种契约。当一个方法被声明为抽象时，它告诉编译器：“这个方法是接口的一部分，但具体怎么干活，由子类说了算”。

第1步：抽象类的定义限制

Abstract 方法只能存在于 abstract 类中。如果一个类包含抽象成员，该类本身必须标记为抽象。

public abstract class Test2
{
    // 抽象方法没有大括号，只有分号结尾
    public abstract void Fun2();
}

第2步：强制派生类实现

任何继承自抽象类的非抽象子类，必须实现所有的抽象方法。这是 C# 强类型语言的严格保证。

class DeriveTest2 : Test2
{
    // 错误示范：如果不加 override 或没写 body，会编译失败
    
    // 正确示范：必须提供实现
    public override void Fun2()
    {
        Console.WriteLine("Implementation required by Abstract rule.");
    }
}

进阶理解：内存模型与Static的关系

除了重写规则，理解这些关键字对性能的影响也非常重要。

Static（静态）与 Virtual/Abstract 互斥

虽然 Virtual 和 Abstract 涉及运行时的动态调度，而 Static 属于编译时确定的类级别操作。因此，static 方法不能被声明为 virtual 或 abstract。

Static 特性：静态方法属于类，不属于实例。内存中存在一份副本，无需创建对象即可调用。
Virtual 特性：虚方法直到实例化后才会进入内存分配流程（针对该对象的多态槽位），用于支持对象层面的多态性。

完成判断与最佳实践

在选择修饰符时，请遵循以下逻辑：

是否有默认实现？
- 是：使用 Virtual。这适用于大部分场景，尤其是你希望对子类有“兜底方案”时。
- 否：使用 Abstract。这适用于基类纯粹为了提供类型规范和部分实现（混合模式）的场景。
能否实例化？
- 如果基类设计就是为了被继承而不能直接使用，优先考虑 abstract。
- 如果基类可以独立存在并提供通用功能，使用普通类配合 virtual。