基本動作と構文上の制約

C#のオブジェクト指向設計において、実行時のメソッドディスパッチとポリモーフィズムを制御する際、abstractとvirtualが中心的な役割を果たします。両者は派生クラスへの動作委譲を可能にしますが、コンパイラが課す制約とアーキテクチャ上の意図が明確に異なります。

abstract修飾子の特性

abstractはクラス宣言またはメソッドシグネチャに適用されます。抽象クラスは言語仕様上インスタンス化が禁止されており、完全に基底型の定義として機能します。抽象メソッドには実装本体（メソッドボディ）が存在せず、継承先の具象クラスがoverrideを用いて必ず実装を提供しなければ、コンパイルエラーが発生します。

virtual修飾子の特性

virtualはメソッドに対してのみ使用可能です。仮想メソッドは基底クラス内で完全な実装を持ち、派生クラスはその動作を任意に上書き（オーバーライド）できます。オーバーライドは必須ではなく、基底クラスのデフォルト動作をそのまま継承して利用することも許容されます。

実装の強制力とインスタンス生成の比較

• 実装義務の有無：抽象メソッドは継承先での実装が絶対条件です。仮想メソッドはオーバーライドの可否が開発者に委ねられるオプション仕様です。
• オブジェクト生成の可否：抽象クラスはnew演算子による直接インスタンス化が不可能です。仮想メソッドを定義したクラスは通常の具象クラスとしてメモリ上に生成できます。
• 設計の焦点：abstractは「実装契約の強制」を目的とし、ドメイン固有の必須処理を定義する場面に適しています。virtualは「デフォルト動作の提供と部分拡張」を目的とし、コアロジックを維持しつつ特定ポイントのみをカスタマイズ可能な設計に向いています。

実装パターンによる動作検証

両者の振る舞いの違いを明確にするため、データ処理パイプラインを想定したコード構造に書き換えて比較します。

抽象基底クラスによる強制実装

public abstract class DataTransformer
{
    public abstract byte[] Transform(Stream input);

    public void ValidateInput(Stream stream)
    {
        if (stream == null) throw new ArgumentNullException(nameof(stream));
    }
}

public class CsvTransformer : DataTransformer
{
    public override byte[] Transform(Stream input)
    {
        ValidateInput(input);
        // CSVパースとバイナリ変換の実際の処理
        return new byte[] { 0x01, 0x02 };
    }
}

public class JsonTransformer : DataTransformer
{
    public override byte[] Transform(Stream input)
    {
        ValidateInput(input);
        // JSONシリアライズ処理
        return new byte[] { 0x03, 0x04 };
    }
}

仮想メソッドによるオプション拡張

public class NetworkClient
{
    public virtual void EstablishConnection(string endpoint)
    {
        Console.WriteLine($"標準ポートで{endpoint}へ接続試行中...");
        // デフォルトのソケット接続ロジック
    }
}

public class SecureClient : NetworkClient
{
    public override void EstablishConnection(string endpoint)
    {
        Console.WriteLine("TLSハンドシェイクを開始");
        base.EstablishConnection(endpoint); // 基底の接続処理を再利用
    }
}

実行時のポリモーフィック動作

抽象型を利用する場合は、必ず具象型のインスタンスを生成して基底型の変数に格納します。

public static void ExecuteAbstractFlow()
{
    DataTransformer processor = new JsonTransformer();
    processor.Transform(new MemoryStream());
}

仮想メソッドを利用する場合は、基底型でのインスタンス生成も可能であり、その場合はデフォルト実装が実行されます。

public static void ExecuteVirtualFlow()
{
    NetworkClient standard = new NetworkClient();
    standard.EstablishConnection("10.0.0.1");

    NetworkClient encrypted = new SecureClient();
    encrypted.EstablishConnection("10.0.0.1");
}

アーキテクチャ設計における適用基準

システムの保守性と拡張性を最適化するため、以下の設計指針に基づいて修飾子を選択することが推奨されます。

• 処理フローの固定化：アルゴリズムの大枠は共通化しつつ、特定のステップだけを下位クラスに実装させたい場合は、抽象クラスと抽象メソッドを組み合わせたテンプレートメソッドパターンが有効です。
• プラグイン型の拡張性：モジュールが単独で動作可能な状態を維持しつつ、特定の振る舞いのみを差し替え可能にしたい場合は仮想メソッドを採用します。これにより、既存の呼び出し元コードに影響を与えずに機能拡張が可能になります。
• インターフェースとの住み分け：実装の共有を一切行わず、純粋な契約のみを定義したい場合はinterfaceが優先されます。実装の一部を継承しつつ強制力を持たせたい場合はabstract、デフォルトロジックを提供しつつ上書きを許可したい場合はvirtualを選択します。