C# コンパイラエラー CS0213 の原因と対策を解説

// 正常なポインター処理の例です。/unsafe オプションでコンパイルしてください。
using System;
public class PointerExample
{
    unsafe public static void Main()
    {
        // ローカル変数は既にスタック上に固定されているので、直接アドレスを取得します。
        int sampleValue = 100;
        int* pointerSample = &sampleValue;  // fixed ステートメントは不要です。
        // 出力用のコード
        Console.WriteLine("sampleValue = " + sampleValue);
        Console.WriteLine("ポインターが指す値 = " + *pointerSample);
        // 配列については、必要な場合のみ fixed を使用します。
        int[] sampleArray = new int[] { 10, 20, 30 };
        fixed (int* arrayPointer = sampleArray)
        {
            Console.WriteLine("配列の最初の要素 = " + *arrayPointer);
        }
    }
}

sampleValue = 100
ポインターが指す値 = 100
配列の最初の要素 = 10

// CS0213_ErrExample.cs
// /unsafe オプションでコンパイルしてください。
using System;
public class CS0213_ErrExample
{
    unsafe public static void Main()
    {
        int number = 45;
        // number はすでに固定されているため、再度 fixed を使用するとエラーになります。
        fixed (int* pointerNumber = &number)
        {
            // ポインター使用コード(エラー発生)
        }
        int[] numbers = new int[] {1, 2, 3};
        // 配列のポインターを fixed で固定した後、再度固定しようとするとエラーになります。
        fixed (int* pointerArray = numbers)
        {
            fixed (int* pointerArrayNested = pointerArray)
            {
                // 内側で fixed を使うとエラーが発生します。
            }
        }
    }
}

// コンパイル時に以下のエラーが発生します。
// error CS0213: 既に fixed が使用されている式のアドレスを取得するために、fixed ステートメントを使用できません。

// CS0213_CorrectExample.cs
// /unsafe オプションでコンパイルしてください。
using System;
public class CS0213_CorrectExample
{
    unsafe public static void Main()
    {
        int number = 45;
        // スタック上の変数は直接ポインターに代入可能です。
        int* pointerNumber = &number;
        Console.WriteLine("number = " + number);
        Console.WriteLine("ポインターが指す値 = " + *pointerNumber);
        int[] numbers = new int[] {1, 2, 3};
        // 配列の固定は必要ですが、一重で十分です。
        fixed (int* pointerArray = numbers)
        {
            Console.WriteLine("配列の最初の要素 = " + *pointerArray);
        }
    }
}

number = 45
ポインターが指す値 = 45
配列の最初の要素 = 1