OpCodes.Readonly 字段

  • 参考

定义

命名空间:
System.Reflection.Emit
程序集:
System.Reflection.Primitives.dll
程序集:
mscorlib.dll
程序集:
netstandard.dll

指定后面的数组地址操作在运行时不执行类型检查，并且返回可变性受限的托管指针。

public: static initonly System::Reflection::Emit::OpCode Readonly;
public static readonly System.Reflection.Emit.OpCode Readonly;
 staticval mutable Readonly : System.Reflection.Emit.OpCode
Public Shared ReadOnly Readonly As OpCode

字段值

OpCode

注解

下表列出了指令的十六进制语言和 Microsoft 中间语言 (MSIL) 程序集格式，以及简短的参考摘要：

格式 程序集格式 说明
FE 1E readonly。 指定后续数组地址操作在运行时不执行类型检查，并返回具有受限可变性的托管指针。

此前缀只能在指令前面 ldelema 显示，并调用数组上的特殊 Address 方法。 它对后续操作的影响是两倍：

  1. 在运行时，不会执行类型检查操作。 请注意，在引用类型数组上使用时，通常存在隐式类型检查 ldelema 和 stelem 说明。 从不对值类进行运行时类型检查，因此 readonly 在这种情况下不执行任何操作。

  2. 验证程序将地址操作的结果视为具有受限可变性的托管指针。

据说指针具有受限的可变性，因为定义类型控制值是否可以可变。 对于公开没有就地更新值的公共字段或方法的值类，指针是只读 (因此前缀的名称) 。 具体而言，表示基元类型的类 (例如，System.Int32) 不公开 mutator，因此是只读的。

此方式受限的托管指针只能在以下方面使用：

  • object ldfld作为 、、call``ldflda``stfld或constrained callvirt指令的参数。

  • pointer ldobj作为指令的参数或指令之ldind一。

  • source作为指令的参数cpobj。

不允许执行所有其他操作，包括 stobj、 initobj或 mkrefany 操作或任何 stind 指令。

前缀的目的是 readonly 避免在从泛型代码中的数组中提取元素时进行类型检查。 例如，表达式 arr[i].m()，其中数组 arr 的元素类型是一种泛型类型，该泛型类型已被约束为具有方法 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如果没有前缀，指令ldelema将在 ！0 是引用类型的情况下执行类型检查。 此类型检查不仅效率低下，而且语义上不正确。 类型检查 ldelema 是否完全匹配，太强。 如果数组持有类型为 ！0 的子类，则上述代码将失败类型检查。

提取数组元素的地址，而不是元素本身，以便具有适用于 arr[i] 值类型和引用类型的句柄，因此可以传递给 constrained callvirt 指令。

一般情况下，跳过引用类型的数组是否包含元素的运行时检查是不安全的。 为了安全起见，必须确保不会通过此指针对数组进行任何修改。 验证程序规则可确保这一点。 受限托管指针可以作为实例方法调用的对象传递，因此它不严格地对值类型进行只读，但值类型没有类型安全问题。

以下 Emit 方法重载可以使用 readonly 操作码：

适用于