我需要固定匿名代表吗？

Question

我从 C# 应用程序调用 CopyFileEx，并将匿名委托传递到 LPPROGRESS_ROUTINE 参数中，以便获取有关文件复制进度的通知。

我的问题是，是否需要固定匿名委托以及为什么（或为什么不）。

此外，如果出现以下情况，答案是否会改变：

1. CopyFileEx 没有阻塞。
2. 如果我传入一个非匿名代表。

谢谢！

Answer 1

委托不需要被固定。如果垃圾收集器无法移动托管对象，则该对象将被固定。如果编组信息正确，则编组层将确保传递指向不可移动对象的指针。

然而，上面的评论表明局部变量可能会使委托保持活动状态，这表明对变量生命周期的误解。我建议您参阅规范，其中规定：

局部变量的实际生命周期取决于实现。例如，编译器可能静态地确定块中的局部变量仅用于该块的一小部分。使用此分析，编译器可以生成导致变量存储的生命周期比其包含块短的代码。
局部引用变量引用的存储空间的回收与该局部引用变量的生命周期无关

换句话说，如果您说：

void M()
{
    Foo foo = GetAFoo();
    UnmanagedLibrary.DoSomethingToFoo(foo);
}

那么允许抖动说“您知道，我看到没有托管代码再次使用 foo调用非托管调用后的那一刻；因此我可以在那时从另一个线程积极地回收该对象的存储”。这意味着当对象突然在另一个线程上释放时，非托管调用可能正在处理该对象。

如果 Foo 有析构函数，这尤其令人讨厌。当非托管库使用该对象时，终结代码可能会在另一个线程上运行，只有天知道这会导致什么样的灾难。

在这种情况下，您需要使用 KeepAlive 来保持托管对象的活动状态。不要依赖局部变量；局部变量被明确记录为不能保证保持活动状态。

请参阅 http://msdn.microsoft.com/en-us/ Library/system.gc.keepalive.aspx 了解更多详细信息。

Answer 2

您不需要固定它，但只要复制正在进行，您就需要保持对它的引用。

非托管代码调用的 thunk 被固定，但您必须确保委托没有被垃圾收集 - 因此是引用。

Answer 3

从以下 msdn 看来固定和 GC.KeepAlive 都是在这种情况下不需要，因为 CopyFileEx 是同步的。具体来说，它说：

“通常，您不必担心委托的生命周期。每当您将委托传递给非托管代码时，CLR 都会确保该委托在调用期间处于活动状态。但是，如果本机代码保留超出调用范围的指针副本并打算稍后通过该指针回调，您可能需要使用 GCHandle 来显式阻止垃圾收集器收集委托。”

由于 CopyFileEx 不会在调用范围之外保留指向函数的指针，因此我们不需要调用 KeepAlive。