当EXACTLY是一个符合C#中垃圾回收条件的对象时

所以我知道这里的基本知识-当根不再可以访问对象时（即来自堆栈帧中局部变量的强引用或静态引用）

我的问题是关于这种潜在的优化，即使对象是从局部变量引用的，它也可能在函数中不再引用变量的任何点被垃圾收集。首先，C#的现有实现似乎没有做到这一点——2.0和4.0似乎都会保持本地引用"活跃"，直到堆栈框架被破坏。但是，如果在CLR的后续版本中对垃圾收集进行了优化，我也希望编写仍然健壮的代码。

所以，事不宜迟，这里有一些代码说明：

class Foo 
{
  ...
}
class Program
{
    public static void fxn1(int blah) 
    {
      ...
    }
    public static void fxn2(Foo foo)
    {
      ...
    }
    public static int ToInt(Foo foo)
    {
      ...
    }
    public static void Main()
    {
      ...
      Foo foo = new Foo();
      fxn2(foo); // I THINK foo may not be GC'ed until fxn2 returns...
        // I THINK foo may be GC'ed here, even though CLR2.0 and CLR4.0 don't...
        //  (experiment shows CLR 2.0 and 4.0 leave foo "live" until Main returns)
      fxn2(new Foo()); // I THINK the argument can't be GC'ed until fxn2 returns...
        // I KNOW that even CLR2.0 and CLR4.0 will GC the argument after the return...
      fxn1( ToInt(new Foo()) ); // I KNOW that new Foo is GC'able even within fxn1...
    }
}

因此，最终，现有CLR的规则似乎是：1.在函数调用期间，任何对象都是"活动"的，它是函数调用的直接参数2.如果任何对象被未重新分配的本地堆栈变量引用，则该对象在函数调用期间都是"活动"的。（即使函数末尾的几个指令可能没有引用堆栈变量）

然而，显然C#保留修改（2）的权利，以便在函数中引用最终使用之前，对象是"活动的"。

这是否意味着：

Foo foo = new Foo();
Foo foo2 = new Foo();
fxn2(foo); // foo is NOT GC'able until fxn1 returns?
   // foo IS GC'able from here on? (b/c no further uses of local "foo"?)
fxn2(foo2); // foo2 is NOT GC'able within fxn2 ?
fxn1(ToInt(foo2)); // foo2 IS GC'able within fxn1 ? (existing CLR does not GC foo2)

ECMA规范中是否有详细处理垃圾收集资格的内容？