实例与方法作为参数——理解生命周期和垃圾收集

Question

在一个人为的示例中，我有一个支持以下接口的实例：

public interface ISelector<L, R>
{
    R Select(L value);
}

现在，我考虑两种调用方式IEnumerable.Select<L, R>(Func<L, R>)：

IEnumerable<L> l;
ISelector<L, R> selector;
IEnumerable<R> r;
r = l.Select(v => selector.Select(v)); // 1
r = l.Select(selector.Select); // 2

方式 1 将变量对选择器的引用捕获到闭包中，并且该闭包将独立于变量的范围来保存该引用selector。因此，变量selector可能会超出范围，并且可能会在变量超出范围r.ToList()后被调用。selector

但是，我不确定如何理解方式2：如何ISelector<L, R>.Select分配和捕获？变量是否可以selector超出范围并可以在变量超出范围r.ToList()后被调用？selector

就可读性而言，我更喜欢方法 2，但在使用它之前，我想首先了解捕获和垃圾收集部分的生命周期。

Answer 1

在第二个示例中，selector.Select被解释为新委托实例的简写，其中selector是目标，ISelector<L, R>.Select是MethodInfo。因此，selector是通过委托实例可达的，因此：只要委托是可达的， 的对象selector就是可达的，并且不能被收集。所以是的，您可以ToList()随时安全地拨打电话。

具体来说，在这里，我们看到var projected l.Select(obj.Select);

// l. [push 1]
IL_000d: ldloc.1 
// obj. [push 1]
IL_000e: ldloc.0 
// Select [push 1]
IL_000f: ldftn instance string X::Select(int32) 
// new Func<int,string>([pop 2, push 1])
IL_0015: newobj instance void class [System.Private.CoreLib]System.Func`2<int32, string>::.ctor(object, native int)
// Enumerable.Select<int,string>([pop 2, push 1])
IL_001a: call class [System.Private.CoreLib]System.Collections.Generic.IEnumerable`1<!!1> [System.Linq]System.Linq.Enumerable::Select<int32, string>(class [System.Private.CoreLib]System.Collections.Generic.IEnumerable`1<!!0>, class [System.Private.CoreLib]System.Func`2<!!0, !!1>)
// projected=[pop 1]
IL_001f: stloc.2

这是代表