ASP.NET Core学习C#：抽象类中非抽象非虚无方法体方法的含义与合法性解析（附System.IO.Stream示例）

嘿，这个问题问到点子上了！我当初第一次研究Stream类的实现时，也对这种写法困惑过，咱们一步步来拆解清楚。

你看到的Stream中的WriteAsync方法，本质上是抽象类对接口成员实现义务的转嫁。让我仔细解释：

Stream类实现了多个核心接口（比如IAsyncDisposable、IDisposable），而WriteAsync其实是异步写入能力相关的接口成员（Stream作为所有流操作的抽象基类，统一了同步/异步读写的规范）。

在C#的语法规则里，当一个抽象类实现接口时，它可以选择不直接提供接口成员的实现，而是把这个实现责任交给它的派生类。通常这种情况下，抽象类需要把该方法标记为abstract，比如：

interface IAsyncWritable
{
    Task WriteAsync(byte[] buffer, int offset, int count);
}

abstract class Stream : IAsyncWritable
{
    // 标记为abstract，强制派生类必须实现
    public abstract Task WriteAsync(byte[] buffer, int offset, int count);
}

那你看到的Stream中的WriteAsync为什么没有abstract修饰符？这其实是.NET类库的特殊设计（或者你看到的是元数据的简化显示）：

• 真实的.NET源码中，Stream的WriteAsync是带有virtual修饰符的，并且有默认实现（比如委托给同步Write方法并包装成异步任务）。你可能是在Visual Studio的「转到定义」中看到了简化的元数据视图，只显示了方法声明，没展示具体实现逻辑。
• 当然，从语法合法性来说，还有一种情况是extern方法（由外部非托管代码提供实现），但Stream的WriteAsync显然不属于这类场景。

回到C#语法本身，严格来说，抽象类中的非抽象、非虚方法如果没有方法体，是编译错误的——除非满足以下条件之一：

• 方法是abstract的：抽象方法本身就不需要实现，必须由派生类提供具体逻辑。
• 方法是extern的：表示方法实现由外部非托管代码提供（比如调用Win32 API）。
• 方法是接口成员的显式实现且抽象类未提供实现：不过这种情况通常也需要标记为abstract，否则编译器会强制要求实现接口成员。

而你遇到的Stream类的情况，本质上是抽象类将接口的实现义务延迟给了派生类。虽然你看到的声明没有abstract，但实际它是virtual方法（允许派生类重写），并且有默认实现——这也是为什么你不需要强制实现它，但可以选择重写它来提供自定义的异步写入逻辑。

当你自定义Stream的派生类时：

• 如果你不需要优化异步写入性能，可以直接继承Stream的默认WriteAsync实现（它会自动把同步Write逻辑包装成异步任务）。
• 如果你需要针对特定场景优化异步写入，就通过override关键字重写WriteAsync方法，提供自己的异步实现逻辑。

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