关于调用栈和评估栈的问题，50巨分都送上

[卓越系列]

在看IL汇编的时候，里面提到评估栈和调用栈，下面是小段代码
源代码是：

string  msg="hello world";
Console.WriteLine(msg);

汇编代码：

.locals init([0] string msg)
nop
ldstr "hello world"
stloc.0
ldloc.0
call void [mscorlib]System.Console::WriteLine(string)

先定义一个局部变量msg
然后将"hello world"压入评估栈
stloc.0 把值从评估栈中弹出，并赋值给调用栈中的第0个变量，也就是msg
ldloc.0把第0个局部变量压入评估栈
.....
大概是这么个意思，我是觉得为什么要两个堆栈？而且移来移去都移迷糊了，而且移的都很多余。哪个大牛能把这两个栈说清楚，各自的作用，40分都送上

[jianghupt]

.locals init([0] string msg) //声明了一个msg变量 nop // 什么也不做 ldstr "hello world" // 因为字符串是引用类型，实际上调用了newobj分配了一个托管堆空间 stloc.0 //从托管堆（也就是评价堆）取出分配的变量保存到本地变量 ldloc.0// 从本地变量取出然后又放入托管堆 call void [mscorlib]System.Console::WriteLine(string) //然后调用输出结果

[datafansbj]

不要使用字符串，改用其他简单变量试试。字符串很特殊，其在 .Net 中的底层处理机制比较复杂，可以专门开一个课程来讨论了。

[github_36000833]

理解了逆波兰表示法（Reverse Polish notation）就很容易理解IL的“评估栈”。 应该可以搜索逆波兰表示法，应该有很多文章。但简单的说，逆波兰记法不需要括号来标识操作符的优先级。 逆波兰把操作符放在最后（逆字的由来），比如 13+14，可以表达为14 13 +; (1+2)*4, 可以表达为4 2 1 + *， 假设倒着读，可以这么理解： 第一步，读出乘号。乘号需要两个参数。如果把乘号看成一个函数，调用函数本身需要"调用栈"，该调用栈下需要有两个参数。 第二步，读出加号，加号需要两个操作数。 第三步，弹出操作数1。 第四步，弹出操作数2。 第五步，操作数数量满足，运行加号函数（函数运行时的参数就在函数的调用栈里），结果3压入评估栈。 第六步，弹出操作数3（记得那个刚刚被加号函数压入的结果3）。 第七步，弹出操作数4 第八步，操作数数量满足，运行乘号函数，结果12压入评估栈。 评估栈还剩余一个12，它就是求值结果。

[卓越系列]

楼上各位的解释，还是让人不明白。有能通俗解释点的吗，其实是想问为什么叫调用栈和评估栈，为什么要两边移来移去的。