OpCodes.Readonly フィールドとは何？わかりやすく解説 Weblio辞書

.NET Framework クラスライブラリリファレンス

索引トップ用語の索引ランキング

OpCodes.Readonly フィールド

メモ : このフィールドは、.NET Framework version 2.0 で新しく追加されたものです。

以降の配列アドレス演算で、実行時に型チェックを実行しないこと、および変更可能性が制限されたマネージポインタを返すことを指定します。

名前空間: System.Reflection.Emit
アセンブリ: mscorlib (mscorlib.dll 内)
構文

Visual Basic (宣言)

Public Shared ReadOnly Readonly
 As OpCode

Visual Basic (使用法)

Dim value As OpCode

value = OpCodes.Readonly

public static readonly OpCode Readonly

C++

public:
static initonly OpCode Readonly

public static final OpCode Readonly

JScript

public static final var
 Readonly : OpCode

解説

命令の 16 進数の形式、MSIL (Microsoft Intermediate Language) アセンブリ形式、および簡単な説明の一覧を次の表に示します。

形式	アセンブリ形式	説明
FE 1E	readonly.	以降の配列アドレス演算で、実行時に型チェックを実行しないこと、および変更可能性が制限されたマネージポインタを返すことを指定します。

このプリフィックスは、ldelema 命令の直前にだけ置くことができ、配列に対して特殊な Address メソッドを呼び出します。以降の演算に対して、次の 2 つの影響があります。

実行時に、型チェックの演算は実行されません。参照型の配列で使用すると、通常、ldelema 命令と stelem 命令の暗黙の型チェックが実行されます。値クラスの実行時の型チェックが行われることはないため、この場合 readonly は操作できません。
検証では、変更可能性が制限されたマネージポインタとしてアドレス演算の結果を扱います。

定義する型によって値を変更できるかどうかが制御されるため、ポインタは変更可能性が制限されていると言われます。値を適切に更新する非パブリックフィールドまたは非パブリックメソッドを公開しない値クラスの場合、ポインタは読み取り専用です。したがって、ポインタはプリフィックスの名前になります。特に、プリミティブ型を表すクラス (System.Int32 など) は、ミューテータを公開しないため、読み取り専用になります。

この方法で制限されたマネージポインタは、次の方法でのみ使用できます。

ldfld、ldflda、stfld、call、または constrained callvirt の各命令の object パラメータとして使用する。
ldobj 命令に対する pointer パラメータ、または ldind 命令のいずれかに対する pointer パラメータとして使用する。
cpobj 命令に対する source パラメータとして使用する。

stobj、initobj、mkrefany の各演算またはすべての stind 命令を含め、他のすべての演算は許可されていません。

readonly プリフィックスの目的は、ジェネリックコードで配列から要素をフェッチする際の型チェックを回避することです。たとえば、arr 配列の要素型が m メソッドとのインターフェイスを持つように制約されたジェネリック型である式 arr[i].m() は、次の MSIL にコンパイルできます。

ldloc arr
ldloc i
readonly.
ldelema !0    // Loads the pointer to the object.
…             // Load the arguments to the call.
constrained. !0
callvirt m

readonly プリフィックスがないと、!0 が参照型の場合に ldelema 命令は型チェックを実行します。この型チェックは非効率的であるだけでなく、形式的に不正確でもあります。ldelema の型チェックは厳密な一致を求めるため、強力すぎます。配列が !0 型のサブクラスを保持している場合、上記のコードでは型チェックが失敗します。