这些变量会被垃圾收集吗？

Question

我今天正在练习我的编码技巧，今天解决了“从链表中删除某个值的所有元素”的问题。我想出的解决方案是

public void RemoveAll ( T val ) 
{
    if(_root == null)
       return;

    if(_root.Value == val)
    {
       _root = _root.Next;
       RemoveAll(val);
    }    

    Node last = _root, 
          cur = _root.Next;  
    while(cur != null)
    {
       if(cur.Value == val)
           last.Next = cur.Next;
       else
           last = cur;
       cur = cur.Next;
    }
}

这是我的问题：

当cur.Value == val 我正在做一些事情，比如从

更改列表

A -> B -> C

到

A -> C

编译器或运行时环境是否会看到B 不再使用并丢弃它？还是我应该明确地这样做？

我有第二个问题，即调用堆栈是否会因递归 void 方法而爆炸。正如您在此处看到的，该方法有可能会调用自身。但是既然它是一个不返回值的方法，那么运行时环境不能只是擦除关于最后一次调用的数据吗？它没有理由留在记忆中（对吧？）。

Answer 1

编译器或运行时环境是否会发现 B 不再使用并丢弃它？还是我应该明确地这样做？

GC，当它运行时，将意识到没有对该对象的活动引用并清理它（假设没有其他人持有对该对象的引用）。您不能手动清理 .NET 中的单个对象。在 .NET 中，内存由垃圾收集器根据需要进行管理和清理。

我有第二个问题，即调用堆栈是否会因递归 void 方法而爆炸。正如您在此处看到的，该方法有可能会调用自身。但是既然它是一个不返回值的方法，那么运行时环境不能只是擦除关于最后一次调用的数据吗？它没有理由留在记忆中（对吧？）。

您正在描述tail recursion. C# 编译器不会生成尾递归调用。因为如果你的递归太深，你可能会遇到StackOverflowException。

该限制不是 CLR 限制 - .NET Framework 确实支持尾调用。它是不发出尾部 IL 操作码的 C# 编译器。当手动生成 IL 或使用 F# 时，您可以在 .NET Framework 中使用 Tail Recursion，它会在适当的时候生成尾调用。

更多详情请见https://stackoverflow.com/a/15865150/1163867。

PS。我认为您的代码有错误。看起来您应该在递归调用 RemoveAll 后尽早返回：

if(_root.Value == val)
{
   _root = _root.Next;
   RemoveAll(val);
   return;
}