为什么在 using 语句中声明的变量被视为只读？

Question

为什么 using 块中的变量 (myform) 被视为只读，并且当我尝试将其作为函数的引用传递时，编译器会引发错误。

示例代码：

using (Form myform = new Form)
{
    myfunc(ref myform);
}

将使用变量作为 ref 传递给函数将引发错误。因此上面的代码会引发错误。

注意：“readonly”关键字与我的问题无关。

Answer 1

我现在正在查看一个（过时的？）规范 [1]。

15.13 规定您在资源获取部分声明的变量是只读的。也就是说：

var form = new Form1();
using (form) {
    form = null;
}

有效，但

using (var form = new Form1()) {
    form = null;
}

无效。
这回答了部分问题（即为什么？因为它是规范的一部分......），但我知道这并不是真正令人满意。但你为什么要这么做呢？

---

编辑：在思考这一点之后，让我为这条规则提供一个可能的解释：

你有

using (var something = new Foo()) {
   something = /* whatever */
}

并且编译器允许这样做。现在，如果 Foo 需要大量非托管资源（也许这就是您首先想要使用 using 的原因）怎么办？在 using 块之后，您将无法再访问此引用。它没有被处理，因为您重新分配了某物并且忘记自己处理它。您根本无法保证 GC 会运行。或者什么时候。您刚刚创建了一个被掩盖和隐藏的资源泄漏。

---

最后一个，灵感来自 Henk 的 Eric Lippert 博客链接，该链接最终再次向我们抛出了规范：

以下形式的 using 语句

using（表达式）语句

具有相同的两种可能的扩展，但在本例中 ResourceType 是
隐式表达式的编译时类型和资源变量
在嵌入语句中无法访问且不可见。

换句话说：

var form = new Form1();
using (form) {
    form = null;
}

有效，因为它被扩展为

var form = new Form1();
var invisibleThing = form;
try {
   form = null;
} finally {
    if (invisibleThing != null) ((IDisposable)invisibleThing).Dispose();
}

所以在这种情况下，您对 using 引用没有影响的事实只是对您隐藏，并且与前一种情况完全相同。

1：http://www.ecma-international.org/publications/standards/Ecma-334.htm

Answer 2

如果您的意思是在 using 块的开头实例化的变量，那么它是只读的，因为它需要在块的末尾进行处理。 using 块的要点是以可预测的方式销毁资源，而不是等待垃圾收集器完成其工作。

Answer 3

首先，在您的示例中，很可能没有理由使用 ref 修饰符。

所以你问的是一个非常理论化的问题，它在实践中从来都不是问题。

带注释的C#3手册没有给出解释。

Eric Lippert 在一篇文章 关于（不是）using 语句中的装箱。

我自己的尝试：

编译器将受控变量设为只读因为它可以。让这个 var 可写会带来更多的麻烦，请参阅 Eric 的 Boxing 文章。请注意，类似的规则适用于 foreach() 中的封闭变量。基本上，写入这些变量永远没有用，因此编译器对它们进行最大程度的控制。

Answer 4

readonly 是 C# 中的关键字。当您想要确保值在构造函数之外永远不会更改时，它非常有用。

当您向大型项目贡献代码并且担心同事可能会尝试更改不应更改的变量时，此关键字可能会很有帮助。

编辑：我很好奇为什么有人对我的回答投了反对票。谁投了反对票，你能告诉我我的答案哪里错了吗？谢谢。