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

学习爱好者777 2020-07-19 10:12:35
在看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分都送上

...全文
355 4 打赏 收藏 转发到动态 举报
写回复
用AI写文章
4 条回复
切换为时间正序
请发表友善的回复…
发表回复
学习爱好者777 2020-07-20
  • 打赏
  • 举报
回复
楼上各位的解释,还是让人不明白。有能通俗解释点的吗,其实是想问为什么叫调用栈评估栈,为什么要两边移来移去的。
github_36000833 2020-07-20
  • 打赏
  • 举报
回复
理解了逆波兰表示法(Reverse Polish notation)就很容易理解IL的“评估栈”。 应该可以搜索逆波兰表示法,应该有很多文章。但简单的说,逆波兰记法不需要括号来标识操作符的优先级。 逆波兰把操作符放在最后(逆字的由来),比如 13+14,可以表达为14 13 +; (1+2)*4, 可以表达为4 2 1 + *, 假设倒着读,可以这么理解: 第一步,读出乘号。乘号需要两个参数。如果把乘号看成一个函数,调用函数本身需要"调用栈",该调用栈下需要有两个参数。 第二步,读出加号,加号需要两个操作数。 第三步,弹出操作数1。 第四步,弹出操作数2。 第五步,操作数数量满足,运行加号函数(函数运行时的参数就在函数的调用栈里),结果3压入评估栈。 第六步,弹出操作数3(记得那个刚刚被加号函数压入的结果3)。 第七步,弹出操作数4 第八步,操作数数量满足,运行乘号函数,结果12压入评估栈。 评估栈还剩余一个12,它就是求值结果。
datafansbj 2020-07-20
  • 打赏
  • 举报
回复
不要使用字符串,改用其他简单变量试试。字符串很特殊,其在 .Net 中的底层处理机制比较复杂,可以专门开一个课程来讨论了。
江湖评谈 2020-07-20
  • 打赏
  • 举报
回复
.locals init([0] string msg) //声明了一个msg变量 nop // 什么也不做 ldstr "hello world" // 因为字符串是引用类型,实际上调用了newobj分配了一个托管堆空间 stloc.0 //从托管堆(也就是评价堆)取出分配的变量保存到本地变量 ldloc.0// 从本地变量取出然后又放入托管堆 call void [mscorlib]System.Console::WriteLine(string) //然后调用输出结果

111,077

社区成员

发帖
与我相关
我的任务
社区描述
.NET技术 C#
社区管理员
  • C#
  • AIGC Browser
  • by_封爱
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告

让您成为最强悍的C#开发者

试试用AI创作助手写篇文章吧