模式匹配 - if 块之外范围内的变量

我试图理解为什么y属于以下示例的范围：

static void Main(string[] args)
{
    int x = 1;
    if (x is int y) { }

    Console.WriteLine("This should NOT be in scope:" + y); // but it is...
}

如果我改变int x to object x, then y不再在范围内（如预期）。

Why is y当匹配的表达式为 of 时在范围内int类型，而不是当类型为object？奇怪的是，范围根据表达式类型而变化。

y当表达式类型和模式类型相同并且它们都是时，似乎停留在范围内值类型。 （当两种类型都存在时，存在同样的问题DateTime，但当它们都是时就不存在string).

（csc 版本为 2.0.0.61213。）

Update:看起来像y在这两种情况下都在范围内。在里面object在这种情况下，编译器错误是“使用未分配的局部变量‘y’”。所以它不会抱怨变量超出范围。

问题是创建的输出代码，这导致了这种奇怪的行为，在我看来这是一个错误。我想这个问题最终会得到解决。

事情是这样的：x is int y评估为true 在编译时，导致if已过时并且之前完成的分配if. 在这里查看编译后的代码:

int num = 1;
int num2 = num;
bool flag = true;
if (flag)
{
}
Console.WriteLine("This should NOT be in scope:" + num2);

编译好像有bugis object变体。它编译成这样（注意我添加的括号）：

int num = 1;
object arg;
bool flag = (arg = num as object) != null;

Console.WriteLine("This should NOT be in scope:" + arg);

即使在 C# 6 中，这也是有效的。但是，编译器认为arg并不总是被设置。添加一个else分支修复了这个错误：

else { y = null; }

结果是:

int num = 1;
object arg;
bool flag = arg = num as object != null;
if (!flag)
{
    arg = null;
}
Console.WriteLine("This should NOT be in scope:" + arg);