C#のポインターデータ型とは？宣言方法とunsafeコードの使い方を解説

C#のポインターデータ型とは

ポインター（pointer）とは、別の変数のメモリアドレスを値として保持する特殊な変数です。つまり、ポインターはメモリ上の特定の場所を直接指し示すことができます。

通常の変数や定数と同様に、ポインターも使用する前に必ず宣言する必要があります。

ポインターの宣言構文

C#でポインターを宣言する基本的な構文は以下の通りです。

type *var-name;

具体的な宣言例を見てみましょう。

int *ip;     /* 整数型（int）へのポインター */
double *dp;  /* 倍精度浮動小数点型（double）へのポインター */

このように、*（アスタリスク）を使ってポインターであることを示し、指し示す対象のデータ型を指定します。

unsafe修飾子とアンマネージコード

C#は本来、メモリを安全に管理するマネージド言語ですが、unsafe修飾子を付けたコードブロック内に限り、ポインター変数を使用することが許可されています。

このようなポインターを使うコードは「unsafeコード」または「アンマネージコード」と呼ばれます。unsafeコードはガベージコレクタの管理外で直接メモリを操作できるため、パフォーマンスが求められる場面で活用されますが、その分プログラマ自身がメモリ安全性に注意する必要があります。

ポインターの宣言と使用例

以下は、ポインター変数を宣言して実際に使用するサンプルコードです。Mainメソッドにunsafe修飾子を付けています。

static unsafe void Main(string[] args) {
    int var = 20;
    int* p = &var;

    Console.WriteLine("Data is: {0} ", var);
    Console.WriteLine("Address is: {0}", (int)p);
    Console.ReadKey();
}

コードのポイント

• &var：変数varのメモリアドレスを取得する演算子です。
• int* p：整数型へのポインターpを宣言しています。
• (int)p：ポインターが保持するアドレス値を整数として出力しています。

コンパイル時の注意点

unsafeコードを含むプログラムをコンパイルする際は、/unsafeオプションを指定する必要があります。Visual Studioの場合は、プロジェクトのプロパティから「アンセーフ コードの許可」を有効にしてください。