儿童范围 & CS0136

以下代码无法编译，并指出“无法在此作用域中声明名为“st”的局部变量，因为它会给“st”赋予不同的含义，而“st”已在“子”作用域中用于表示其他内容”：

        var l = new List<string>();
        l.Find(st => st.EndsWith("12"));
        string st = "why this fails?";

我明白为什么这行不通：

        string preParent = "";
        {
            string preParent = "Should fail cause we change the meaning";
        }

当我们执行以下操作时，我们得到“CS0103：名称‘postParent’在当前上下文中不存在”：

        {
            string postParent=string.Empty;
        }
        postParent = "Should this work?";

我不明白的是，为什么编译器足够聪明，可以看到 postParent 不在作用域内，但不允许我定义一个与子作用域内使用的变量同名的新变量（这显然超出了范围）此时的范围）。

编译器是否通过拒绝让我使用变量来简单地强制作用域？如果是这样，这就有道理了。

===========

Edited:

我想我还觉得有趣的是如何在一个方法的两个子作用域中拥有相同的变量，所以这是有效的：

        {
            string thisWorks= string.Empty;
        }
        {
            string thisWorks= "Should this work?";
        }

我只是有点好奇你可以有两个同名的变量，只要它们位于同一级别（如果你将作用域视为一棵树）。这是有道理的，因为您可以在同一类的两个具有相同名称的方法中使用局部变量。

我只是感到惊讶的是，编译器能够区分并允许这种情况，但它不允许 postParent 变量。这是技术限制还是设计决定？这就是我真正想要达到的目的;-)

是的，编译器正在强制执行范围。请注意，变量的范围是它所属的词法块 - 不仅仅是从声明点开始，而是整个范围。

编译器抱怨是因为分配给postParent超出了它的范围（只是嵌套的大括号）。如果您尝试在当前分配的位置声明一个新变量postParent问题出在嵌套块上，因为postParent将包含该嵌套块，即使它位于声明之前。

C# 3.0 规范的第 3.7 节描述了范围。

编辑：回答您的问题编辑。

这只是两个简单的规则：

• 当另一个同名局部变量在作用域内时，您无法声明局部变量
• 局部变量的作用域是声明所在的块

我确信该语言可以被设计为作用域仅在声明点开始，但我认为将作用域视为只是块更简单（就语言复杂性而言） - 因此所有局部变量都在同一个块中声明例如，具有相同的范围。在考虑捕获的变量时，这也使生活变得更加简单 - 因为捕获的内容取决于作用域，而嵌套作用域使生活变得有趣......

编辑：语言规范对原始 lambda 表达式示例有这样的说法 - 第 7.14.1 节：

可选的 匿名函数签名 匿名函数定义名称 以及可选的正式类型 匿名函数的参数。 参数范围 匿名函数是 匿名函数体。和...一起 参数列表（如果给定）， 匿名方法体构成 声明空间。为此，它 是名称的编译时错误 匿名参数的 匹配本地名称的函数 变量、局部常量或参数 其范围包括 匿名方法表达式或 lambda 表达式。

这有帮助吗？