《C# to IL》第四章 关键字和操作符(下)

核心提示： 文档非常清晰地表明了只读字段只能在构造函数中改变，但是CLR不会严格地对此进行检查，《C# to IL》第四章 关键字和操作符(下)(10)，可能在下一个版本，他们应该注意这样的事情，因此，在调用函数abc之前， 因此，在readonly上的全部约束

文档非常清晰地表明了只读字段只能在构造函数中改变，但是CLR不会严格地对此进行检查。可能在下一个版本，他们应该注意这样的事情。

因此，在readonly上的全部约束，必须由（将源代码转换为IL的）程序语言强制执行。我们没有试图在IL上运行，但是IL希望有人在这种情形中进行错误检查。

a.cs

public class zzz
{
public static void Main()
{
zzz a = new zzz();
pqr();
a.abc();
}
public static void pqr()
{
}
public void abc()
{
}
}

a.il

.assembly mukhi {}
.class private auto ansi zzz extends [mscorlib]System.Object
{
.field public static initonly int32 i
.method public hidebysig static void vijay() il managed
{
.entrypoint
.locals (class zzz V_0)
newobj instance void zzz::.ctor()
stloc.0
call void zzz::pqr()
ldloc.0
call instance void zzz::abc()
ret
}
.method public hidebysig static void pqr() il managed
{
ret
}
.method public hidebysig instance void abc() il managed
{
ret
}
}

这个例子是一个更新过的版本。静态函数pqr不会传递这个指针到栈上，但是，非静态函数abc会把这个指针或引用传递到它的变量存储在内存中的位置。

因此，在调用函数abc之前，指令ldloc.0会把zzz的引用放到栈上。

a.cs

public class zzz
{
public static void Main()
{
pqr(10,20);
}
public static void pqr(int i , int j)
{
}
}