有什么区别，为什么 Switch Case 在 C# 中这样工作？ [复制]

Question

我有两个函数，一个可以编译，一个不能。有什么区别？

函数号 1 是否假定案例 1 总是会被命中，或者它只是一个编译器问题？

public void Test(int x)
{
    switch (x)
    {
        case 1:
            uint cId = (uint)3;
            break;

        case 2:
            cId = (uint)5; //NO ERROR HERE. WHY?
            break;
    }
}

public void DeclaringInsideSwitch(int x)
{
    uint tst = 0;
    switch (x)
    {
        case 1:
            int y = 3;
            uint variable = tst;
            break;

        case 2:
            variable++; //ERROR HERE. WHY?
            break;
    }
}

我当然尝试搜索“在 C# 中的 switch case 中声明变量”，但对我来说，现在这似乎是 C# 中的某种错误，为了向后兼容而保留。

// 在收到已回答的警告后，我的问题现在可以简化为真正的问题。

为什么：

int x;
x++;

这不行吗？

Answer 1

基本上，变量声明实际上比您想象的要宽；第二个示例存在“​​明确赋值”问题，因为它被声明（更宽），但并未实际赋值，因此++ 对未赋值的值毫无意义。

如果您想要每个case 的范围，您可以这样做...只需添加大括号：

        switch (x)
        {
            case 1:
            {
                uint cId = (uint)3;
                break;
            }
            case 2:
            {
                uint cId = (uint)5;
                break;
            }
        }

是不是有点烦？是的。是反直觉的吗？是的。它会被改变吗？不太可能，因为这将是一个重大的突破性更改，会阻止许多现有的 C# 编译。

Answer 2

好吧，uint cId 是在 {...} 内定义的 范围 在你的情况下是 switch scope

switch (x)
{
    case 1:
        uint cId = (uint)3; // <- definition 
        break;

    case 2:
        // cId has been defined and thus can be assigned (initialization)
        cId = (uint)5; //NO ERROR HERE WHY?
        break;
}  // <- end of cId scope

在第二种情况下variable被定义，但作为一个局部变量必须在使用前初始化（增量）：

switch (x)
{
    case 1:
        int y = 3;
        uint variable = tst; // <- definition 
        break;
    case 2:
        // variable defined, but has not been initialized ("case 1:" hasn't been run),
        // variable contains trash and so you can't increment it 
        variable++; //ERROR HERE WHY?
        break;
} // <- end of variable scope