提问人：Vyas Bharghava 提问时间：10/25/2008 最后编辑：CommunityVyas Bharghava 更新时间：7/25/2019 访问量：86633
访问修改后的闭合
Access to Modified Closure
问：
string [] files = new string[2];
files[0] = "ThinkFarAhead.Example.Settings.Configuration_Local.xml";
files[1] = "ThinkFarAhead.Example.Settings.Configuration_Global.xml";
//Resharper complains this is an "access to modified closure"
for (int i = 0; i < files.Length; i++ )
{
// Resharper disable AccessToModifiedClosure
if(Array.Exists(Assembly.GetExecutingAssembly().GetManifestResourceNames(),
delegate(string name) { return name.Equals(files[i]); }))
return Assembly.GetExecutingAssembly().GetManifestResourceStream(files[i]);
// ReSharper restore AccessToModifiedClosure
}
尽管 ReSharper 抱怨这是“访问修改后的闭包”，但上述内容似乎工作正常。谁能阐明这一点？
（这个话题在这里继续)
答：
320赞
Jon Skeet
10/25/2008
#1
在这种情况下，没关系，因为您实际上是在循环中执行委托。
但是，如果您保存委托并在以后使用它，您会发现所有委托在尝试访问 files[i] 时都会抛出异常 - 它们在创建委托时捕获的是变量而不是其值。i
简而言之，这是一个需要注意的潜在陷阱，但在这种情况下，它不会伤害你。
请参阅本页底部的更复杂示例，其中结果违反直觉。
30赞
gerrard00
3/30/2013
#2
我知道这是一个老问题，但我最近一直在研究闭包，并认为代码示例可能有用。在后台，编译器正在生成一个类，该类表示函数调用的词法闭包。它可能看起来像这样：
private sealed class Closure
{
public string[] files;
public int i;
public bool YourAnonymousMethod(string name)
{
return name.Equals(this.files[this.i]);
}
}
如上所述，您的函数之所以有效，是因为谓词在创建后立即被调用。编译器将生成如下内容：
private string Works()
{
var closure = new Closure();
closure.files = new string[3];
closure.files[0] = "notfoo";
closure.files[1] = "bar";
closure.files[2] = "notbaz";
var arrayToSearch = new string[] { "foo", "bar", "baz" };
//this works, because the predicates are being executed during the loop
for (closure.i = 0; closure.i < closure.files.Length; closure.i++)
{
if (Array.Exists(arrayToSearch, closure.YourAnonymousMethod))
return closure.files[closure.i];
}
return null;
}
另一方面，如果您要存储谓词，然后调用谓词，您会看到对谓词的每次调用实际上都是在闭包类的同一实例上调用相同的方法，因此将对 i 使用相同的值。
4赞
chris hu
8/14/2017
#3
“files”是捕获的外部变量，因为它已被匿名委托函数捕获。匿名委托功能延长了其生存期。
捕获的外部变量 当外部变量被匿名函数引用时，外部变量被称为已被匿名函数捕获。通常，局部变量的生存期仅限于执行与其关联的块或语句（局部变量）。但是，捕获的外部变量的生存期至少会延长，直到从匿名函数创建的委托树或表达式树符合垃圾回收条件。
当局部变量或值参数被匿名函数捕获时，局部变量或参数不再被视为固定变量（固定变量和可移动变量），而是被视为可移动变量。因此，任何获取捕获的外部变量地址的不安全代码都必须首先使用固定语句来修复该变量。 请注意，与未捕获的变量不同，捕获的局部变量可以同时暴露给多个执行线程。
评论