一道面试题：解析方法中对象存放以及堆栈之间的关系

朋友面试遇到一道题是这样的：

namespace Demo
{

internal class Program
{
private static void Main()
{
Person p=new Person("alex");
Upate(p);
Console.WriteLine(p.ToString());
Console.Read();
}
static void Upate(Person p)
{
p=new Person("franck");
}
}

internal class Person
{
private string _name;
public Person(string name)
{
this._name=name;
}

public override string ToString()
{
return this._name;
}
}
}
1，输出的结果是？

2，分析其执行过程

答案是输出结果是：alex

为什么会这样呢，这才是问题所在。好多人会认为在、执行Update方法时对象p发生了改变，事实也是这样的，但为什么结果没有变化，要分析清楚原因，还得看IL

entrypoint
// Code size 38 (0x26)
.maxstack 2
.locals init ([0] class Demo.Person p)
IL_0000: nop
IL_0001: ldstr "alex"
IL_0006: newobj instance void Demo.Person::.ctor(string)
IL_000b: stloc.0 //从计算堆栈的顶部弹出当前值并将其存储到索引 0 处的局部变量列表中
IL_000c: ldloc.0 //将索引 0 处的局部变量加载到计算堆栈上
IL_000d: call void Demo.Program::Upate(class Demo.Person)
IL_0012: nop
IL_0013: ldloc.0 //将索引 0 处的局部变量加载到计算堆栈上
IL_0014: callvirt instance string [mscorlib]System.Object::ToString()
IL_0019: call void [mscorlib]System.Console::WriteLine(string)
IL_001e: nop
IL_001f: call int32 [mscorlib]System.Console::Read()

Upate Method
.method private hidebysig static void Upate(class Demo.Person p) cil managed
{
// Code size 14 (0xe)
.maxstack 8
IL_0000: nop
IL_0001: ldstr "franck"
IL_0006: newobj instance void Demo.Person::.ctor(string)
IL_000b: starg.s p //将位于计算堆栈顶部的值存储在参数槽中的指定索引处
IL_000d: ret //从当前方法返回，并将返回值（如果存在）从调用方的计算堆栈推送到被调用方的计算堆栈上。
} // end of method Program::Upate

这是所有执行的IL吗，根据我做的注释，这一下应清楚了，事实上Update方法执行是在另一个堆栈上，这个堆栈上的执行结果在没有推送到调用方堆栈，在Main()方法的堆栈中，p对象还是原来的对象。

图示：

Main()

Person p=new Person("alex");

Upate 方法同样会产生一个这样的堆栈，方式和上面相同。关键就在这一句上了

IL_000d: ret //从当前方法返回，并将返回值（如果存在）从调用方的计算堆栈推送到被调用方的计算堆栈上。

当Update堆栈上的对象没有推送到Main()产生的堆栈上的时间，图1堆栈中存放的对象p不变，因而输出结果就是那样！