【C#】in修飾子の使い方｜読み取り専用参照渡しのメリットと注意点

C#はバージョンアップを重ねるごとに、実行効率と安全性を両立させるための機能を数多く導入してきました。

その中でもC# 7.2で追加されたin修飾子は、パフォーマンスを重視する開発者にとって極めて重要な機能の一つです。

この機能は、「値をコピーせずに参照として渡すが、呼び出し先での書き換えは禁止する」という、読み取り専用の参照渡しを実現します。

本記事では、in修飾子の基本的な使い方から、内部的な挙動、そして使用時に陥りやすい「防御的コピー」という罠まで、詳しく解説していきます。

in修飾子の基礎知識

C#における引数の受け渡しは、デフォルトでは「値渡し」が行われます。

しかし、大きな構造体(struct)を扱う場合、値渡しによるコピーコストが無視できないものになります。

in修飾子は、この問題を解決するために設計されました。

読み取り専用参照渡しとは

通常、構造体などの値型を引数として渡すと、そのデータの全ビットがスタック上にコピーされます。

これに対し、in修飾子を指定すると、データそのものではなく、データが格納されているメモリ上のアドレス(参照)が渡されます。

最大の特徴は、ref修飾子とは異なり、メソッド内で引数の値を書き換えることができない点にあります。

これにより、安全性を担保しつつ、大規模なデータの転送コストを削減することが可能になります。

構文と基本的な書き方

in修飾子を使用するには、メソッドの定義側で引数の型の前にinキーワードを記述します。

using System;

struct Vector3D
{
    public double X;
    public double Y;
    public double Z;

    public Vector3D(double x, double y, double z)
    {
        X = x; Y = y; Z = z;
    }
}

class Program
{
    static void Main()
    {
        Vector3D vec = new Vector3D(1.0, 2.0, 3.0);
        
        // メソッドの呼び出し（inは省略可能）
        PrintVector(vec);
        
        // 明示的にinを付けても良い
        PrintVector(in vec);
    }

    // in修飾子を使用したメソッド
    static void PrintVector(in Vector3D v)
    {
        // 読み取りは可能
        Console.WriteLine($"X: {v.X}, Y: {v.Y}, Z: {v.Z}");

        // 以下のコードはコンパイルエラーになる
        // v.X = 10.0; // CS8331: 読み取り専用変数であるため、フィールドに割り当てることはできません
    }
}

X: 1, Y: 2, Z: 3
X: 1, Y: 2, Z: 3

上記コードのPrintVectorメソッドでは、Vector3Dという構造体を参照として受け取っています。

メソッド内でフィールドXを書き換えようとすると、コンパイラがエラーを出すため、意図しないデータの改変を防ぐことができます。

他の引数修飾子(ref, out)との比較

C#には参照渡しに関連するキーワードとしてrefとoutが存在します。

これらとinの違いを理解することは、適切なコード設計において不可欠です。

メモリ挙動と制約の違い

以下の表に、それぞれの修飾子の特徴をまとめました。

refは「読み書き可能」、outは「書き込み専用(初期化必須)」、そしてinは「読み取り専用」という明確な役割分担があります。

呼び出し時の挙動

in引数の興味深い点は、呼び出し側でinキーワードを省略できることです。

これはrefやoutが明示的な記述を要求するのと対照的です。

ただし、オーバーロード解決の際に明示的な指定が必要になる場合や、読み取り専用であることを強調したい場合にはinを明記するのが一般的です。

パフォーマンス向上のメカニズム

なぜin修飾子がパフォーマンスに寄与するのでしょうか。

その理由は、値型のメモリ確保とコピーの仕組みにあります。

構造体のコピーコストを削減する

C#の構造体は、サイズが大きくなればなるほど、引数として渡す際のオーバーヘッドが増大します。

例えば、行列演算を行うMatrix4x4のような構造体や、多くのプロパティを持つ業務データの構造体などです。

これらを頻繁にメソッドに渡すと、CPUはデータのコピー作業に追われ、キャッシュ効率も低下します。

in修飾子を使うことで、内部的にはポインタを渡すだけの処理になるため、データサイズに関わらず一定の極めて低いコストで引数を渡せるようになります。

数値型(int, double等)での使用は控える

一方で、intやbool、doubleといった小さな基本型に対してinを使うのは逆効果になる場合があります。

これらの型はサイズが非常に小さいため、ポインタを経由してアクセスするオーバーヘッドの方が、値を直接コピーするコストを上回ってしまうからです。

一般的に、IntPtr.Size(通常は8バイト)よりも大きな構造体に対して使用するのが推奨されます。

重要な注意点：防御的コピー

in修飾子を使えば必ず速くなるわけではありません。

実は、「防御的コピー(Defensive Copy)」と呼ばれる現象により、逆にパフォーマンスが大幅に低下する危険性があります。

防御的コピーが発生する原因

コンパイラは、inで渡された構造体の「不変性」を保証しなければなりません。

しかし、渡された構造体のメソッドやプロパティが、内部で自分自身のフィールドを書き換えていないかを完全に判断できない場合があります。

そのような場合、コンパイラは「元のデータを守るために、一時的なコピーを作成し、そのコピーに対してメソッドを実行する」という挙動をとります。

これが防御的コピーです。

struct MutableStruct
{
    public int Value;
    
    // このメソッドは内部で値を書き換えないが、コンパイラにはそれがわからない
    public void Display() 
    {
        Console.WriteLine(Value);
    }
}

class Demo
{
    static void Process(in MutableStruct s)
    {
        // ここで「防御的コピー」が発生する可能性がある！
        s.Display();
    }
}

この例では、s.Display()を呼び出すたびに、内部で構造体のコピーが作られてしまいます。

せっかくinで参照渡しにしたメリットが、このコピーによって完全に打ち消されてしまうのです。

readonly structによる最適化

この防御的コピーを防ぐための決定打が、readonly structです。

構造体の定義自体にreadonlyを付けることで、「この構造体は絶対に中身が変わりません」とコンパイラに誓約することができます。

// readonlyを付与することで、不変であることを保証
readonly struct SafeStruct
{
    public readonly int Value;

    public SafeStruct(int value) => Value = value;

    public void Display() 
    {
        Console.WriteLine(Value);
    }
}

class Demo
{
    static void Process(in SafeStruct s)
    {
        // readonly structであれば、防御的コピーは発生しない！
        s.Display();
    }
}

readonly structとして定義されていれば、コンパイラは安心して直接参照先のメソッドを呼び出せるため、防御的コピーを回避し、真のパフォーマンス向上を得ることができます。

in修飾子を使う場合は、可能な限り受け取る側もreadonly structにすることを検討しましょう。

実践的な活用シーンと使い分け

in修飾子はどのような場面で活用すべきでしょうか。

具体的なユースケースを見ていきましょう。

1. 数学・グラフィックス演算

3Dゲームや物理シミュレーションでは、Vector3やMatrix4x4といった構造体が大量に、かつ頻繁にメソッド間を飛び交います。

これらの計算メソッドの引数にinを適用することで、フレームレートの向上やGC負荷の軽減に寄与します。

2. 大規模なデータモデルの参照

データベースから取得した多数のプロパティを持つレコードを構造体で表現している場合、それらをビジネスロジックに渡す際にinを使用します。

読み取り専用であることが保証されるため、ロジック内で誤ってデータを改変してしまうバグを防ぐ効果もあります。

3. 高パフォーマンスなライブラリ設計

汎用的なライブラリを作成する際、利用者に余計なコピーコストを強いないために、大きな構造体を引数に取る公開メソッドにはinを付与するのがベストプラクティスとなります。

判断基準のまとめ

以下のフローチャートのように考えると、使い分けがスムーズになります。

まとめ

C#のin修飾子は、「安全性(読み取り専用)」と「高パフォーマンス(参照渡し)」を同時に手に入れるための強力な手段です。

特に、コピーコストの大きい構造体を扱うプログラムにおいては、劇的な効果を発揮することがあります。

しかし、その恩恵を最大限に受けるためには、「防御的コピー」の仕組みを正しく理解し、readonly structと組み合わせて使用することが極めて重要です。

何でもかんでもinを付ければ良いというわけではなく、型サイズや用途を見極めて適切に選択することが、洗練されたC#コードへの第一歩となります。

モダンなC#開発において、in修飾子を正しく使いこなし、安全で高速なアプリケーションを構築していきましょう。