ポインター型 (C# プログラミングガイド)

[アーティクル]
08/09/2011

unsafe コンテキストの型には、ポインター型、値型、または参照型を設定できます。ポインター型の宣言は、次のいずれかの形式になります。

type* identifier;
void* identifier; //allowed but not recommended

次の型はいずれもポインター型になります。

sbyte、byte、short、ushort、int、uint、long、ulong、char、float、double、decimal、または bool。
任意の列挙型。
任意のポインター型。
アンマネージ型のフィールドのみを含むユーザー定義の struct 型。

ポインター型は object を継承せず、ポインター型と object 間の変換は存在しません。また、ボックス化とボックス化解除もポインターをサポートしません。ただし、異なるポインター型の間で変換したり、ポインター型と整数型の間で変換したりすることはできます。

同じ 1 つの宣言で複数のポインターを宣言する場合、* は基底の型だけに記述し、各ポインター名のプレフィックスとして使用しません。次に例を示します。

int* p1, p2, p3;   // Ok
int *p1, *p2, *p3;   // Invalid in C#

オブジェクト参照は、それを指すポインターがあってもガベージコレクションされる可能性があるため、ポインターが、参照や参照を含む構造体を指すことはできません。 GC は、オブジェクトを指すポインター型があるかどうかを追跡しません。

myType* 型のポインター変数の値は、myType 型の変数のアドレスです。ポインター型の宣言の例を次に示します。

例	説明
int* p	p は、整数へのポインターです。
int** p	p は、整数へのポインターのポインターです。
int*[] p	p は、整数へのポインターの 1 次元配列です。
char* p	p は、char へのポインターです。
void* p	p は、未知の型へのポインターです。

ポインター間接演算子 * を使用すると、ポインター変数が指す位置にあるコンテンツにアクセスできます。たとえば、次のような宣言があるとします。

int* myVariable;

この例の式 *myVariable は、myVariable に含まれているアドレスの位置にある int 変数を示しています。

間接演算子は、void* 型のポインターに適用できません。ただし、void ポインターと他のポインター型はキャストを使用して相互に変換できます。

ポインターは、null にできます。 null ポインターに間接演算子を適用すると、実装で定義されている動作が発生します。

ポインターをメソッド間で引き渡すと、未定義の動作が発生する可能性があります。たとえば、Out パラメーターや Ref パラメーターを介してポインターをローカル変数に返したり、関数の結果として返したりする場合です。ポインターが固定ブロックに設定されていた場合は、そのポインターが指す変数が既に固定されていない可能性があります。

次の表は、unsafe コンテキストでポインターに使用できる演算子とステートメントの一覧を示しています。

演算子/ステートメント	用途
*	ポインターの間接参照を実行します。
->	ポインター経由で構造体のメンバーにアクセスします。
[]	ポインターにインデックスを付けます。
&	変数のアドレスを取得します。
++ および --	ポインターをインクリメントおよびデクリメントします。
+ および -	ポインター演算を実行します。
==、!=、<、>、<=、および >=	ポインターを比較します。
stackalloc	スタックにメモリを割り当てます。
fixed ステートメント	変数を一時的に固定して、そのアドレスを取得できるようにします。