我有以下程序来添加值.
当我在main方法中调用Add方法调用并查看ILDASM.EXE时,Maxstack大小为2.并且在取消注释后,maxstack大小变为4.
当我在main方法中调用Add方法调用并查看ILDASM.EXE时,Maxstack大小为2.并且在取消注释后,maxstack大小变为4.
为什么在Main方法的情况下所有变量都不会进入堆栈,因为堆栈大小仅为2,而在Add方法调用的情况下,每个变量都进入堆栈？
这是主要方法计算内部逐个发生的情况,因此一次只需要两个变量.
请清除我的困惑.
static void Main(string[] args)
{
int x = 2;
int y = 3;
int a = 4;
int b = 5;
int c = 6;
Console.WriteLine(x + y + a + b + c);
Console.WriteLine(Add(10,20,30,40));
Console.ReadLine();
}
static int Add(int x,int y,int z,int a)
{
return x + y + z + a;
}
解决方法
每个变量初始化：
int x = 2;
将要求值在堆栈上:(堆栈大小：到目前为止需要1)
.locals init ([0] int32 x,[1] int32 y,[2] int32 a,[3] int32 b,[4] int32 c) IL_0000: ldc.i4.2 // push 2 to the stack IL_0001: stloc.0 // load local variable 0 from stack ( x = 2 )
这些操作按顺序发生,因此在下列期间,所需的最大堆栈大小仍为1：
int y = 3; int a = 4; int b = 5; int c = 6;
当涉及到这个：
Console.WriteLine(x + y + a + b + c);
要添加任何两个变量,需要堆栈大小为2：
IL_000b: ldloc.0 // copy to stack x,max stack size required is still 1. IL_000c: ldloc.1 // copy to stack y,max stack size required is 2 now. IL_000d: add // execute add,will cause the sum x + y to be on stack IL_000e: ldloc.2 // copy to stack a IL_000f: add // execute add... (adds a to the result of x + y) ....
取消注释Add方法时的差异IL如下所示.
调用方法时,需要将实例引用推送到堆栈(意味着,如果Add方法是非静态的,则应将指向其声明类型的实例指针推入堆栈)
然后,每个需要传递给方法的参数也应该被压入堆栈.
因此,在您的情况下,它是Add方法的参数数量,它定义了最大堆栈大小.向此Add方法添加一个参数,您将看到最大堆栈大小将增加到5：
// method is static so no need to push an instance pointer to the stack IL_001a: ldc.i4.s 10 // push to stack IL_001c: ldc.i4.s 20 // push to stack IL_001e: ldc.i4.s 30 // push to stack IL_0020: ldc.i4.s 40 // push to stack IL_0022: call int32 Program::Add(int32,int32,int32) IL_0027: call void [mscorlib]System.Console::WriteLine(int32)
