方法调用时栈内存的分配调用:
对Stack frame的分析:
Stack Frame:一个方法在调用的时候在栈内存中的布局。
class Program
{
static void Main(string[] args)
{
double result = Calculator.GetConeVolume(100, 80);
}
}
class Calculator
{
public static double GetCircleArea(double r)
{
return Math.PI * r * r;
}
public static double GetCylinderVolume(double r,double h)
{
double a = GetCircleArea(r);
return a * h;
}
public static double GetConeVolume(double r,double h)
{
double cv = GetCylinderVolume(r, h);
return cv / 3;
}
}
主程序运行从Main开始执行。
程序中main方法作为主调用者caller。GetConeVolume叫做被调用者callee。main方法在调用GetConeVolume时需要传两个参数进去。传的参数也是变量,变量也需要在内存中存储。
此时出现了一个问题:变量归谁管理。
C#和C++的管理规则相同:归主调者管理。谁调用谁负责将参数写入栈中。
因此在内存中,Main函数需要将100和80分别存入在内存中。从左到右的顺序写入,100先写入,80再写入。谁调用,谁负责将参数写入栈中。因此这两个参数都归Main函数管理。所在的区域都是Main函数的Stack Frame。
此时注意一点:虽然Main中传入的参数是int类型,但是由于GetConeVolume函数需要的是double类型,所以此时在Main类型中开辟的空间不是int类型的4字节,而是double 类型的8字节。因为GetConeVolume接收double类型。
Main的操作完成,此时程序执行转入GetConeVolume的定义中:在内存中需要开辟空间:那么GetConeVolume需要管理哪些参数呢?cv、r和h。有三个局部变量,三个参数。但是r和h的值,Main已经压入到内存中去了,所以GetConeVolume只需要压入一个cv的值即可。因此在内存中开辟一个double类型8字节的cv的空间。并将将r和h传递给下一层函数。但是本着谁调用,谁负责管理这个参数的原则,函数内要调用GetCylinder函数,因此r和h要被传入,所以GetConeVloue也需要占用空间来管理r和h这俩参数。
进入GetCylinderVolume函数中,函数内首先声明一个a变量,因此先开辟一个8字节存储a,然后因为调用GetCircleArea函数,需要传入r,因此,还需要管理r。
进入最后一层函数内:只有一个局部变量r,故只需维护一个r就可以了。而r已经被压入到内存中了。所以不需要再为变量开辟空间了。(谁调用,谁负准备、管理一切材料(数据))
注意:除了管理参数以外,其实方法还要管理其他信息(比如:要返回到哪个方法中去、内存地址在什么地方?都要在内存StackFrame中记录),所以哪怕不为变量开辟空间,函数本身也占据一部分空间。GetCircleArea如下。
函数的返回值,一般存在CPU的寄存器中。寄存器存不下,才在栈中开辟空间。此处仅是double,不会出现此情况。
- 函数一旦return之后,Call Stack就会少一层。返回之后,方法所占的内存空间就会被清空。从而返回到上一层中。上一层这层执行完,return之后,当前层的stackFrame也会清空。
- GetCircleArea将传入的r值,计算,return操作将结果写入到cpu的寄存器中,然后GetCircleArea这块的StackFrame就会释放。并将值返回到上一层中。
- 上一层也就是GetCylinderVolume函数中将值赋值给a:a的值一开始是0,将上一层返回值从寄存器中拿到之后刷新。然后a结合上一层函数传入的h计算,再完成return操作,将值写入到cpu寄存器中。然后将GetCylinderVolume的StackFrame释放。
- 返回到它的上一层函数:GetConeVolume函数中,将值传递给cv,寄存器将值写入到cv中(赋值给cv),继续执行下一步计算。然后再return,然后GetConeVolume的StackFrame也释放了。
- 将值通过寄存器将值写入到Main函数的result中。此时程序执行完,那么Main的StackFrame也要释放。
- 此时整个程序所有的内存都得以释放。
同时总结一个Return的功能:
1、将函数值写入CPU寄存器中。
2、指向调用函数的上一层
3、将函数的StackFrame内存空间释放
如果一直这么在内存中开辟空间,当函数嵌套多层空间时,就有了StackOverFlow的风险。