变量的类型超出范围

Question

我偶然发现了一些我不理解并且找不到答案的奇怪行为。 使用SubClass1和SubClass2作为BaseClass子类，我可以使用以下方法：

private void SomeMethod(BaseClass obj)
{
    if (obj.GetType() == typeof(SubClass1))
    {
       var variable = (SubClass1) obj;
    }

    else if (obj.GetType() == typeof(SubClass2))
    {
        var variable  = (SubClass2) obj;
    }
}

在我看来， variable的两个声明在不同的范围内，并且根据发送给该方法的obj的实际类型， var将属于SubClass1或SubClass2 。

但是，当我使用类型为SubClass2的对象调用此方法时，在从句中从BaseClass为SubClass2始终返回null。

当我调试代码时，我立即看到进入方法时，即在到达任何variable声明之前， variable的类型为SubClass1 ，这是obj强制类型转换为null的原因。

谁能告诉我为什么variable在声明之前具有类型？

Answer 1

在我看来， variable的两个声明在不同的范围内，并且根据发送给该方法的obj的实际类型， var将属于SubClass1或SubClass2 。

这不是真的。 你有两个变量，类型的一个SubClass1和类型的一个SubClass2 ，他们只是两个碰巧有相同的名称。 变量的类型在编译时确定，而不是在运行时确定。 您的代码与编写代码相同 ：

private void SomeMethod(BaseClass obj)
{
    if (obj.GetType() == typeof(SubClass1))
    {
       SubClass1 variable = (SubClass1) obj;
    }

    else if (obj.GetType() == typeof(SubClass2))
    {
        SubClass2 variable  = (SubClass2) obj;
    }
}

您的代码只是该代码的语法糖。 避免您需要键入变量的类型，并让编译器为您解决该问题。

但是，当我使用类型为SubClass2的对象调用此方法时，在从句中从BaseClass为SubClass2始终返回null。

在所示的代码中这是不可能的。 像这样的投只能解析到null ，如果是投值是null ，而obj不能null在你的代码这一点，否则GetType会抛出一个空引用异常。

当我调试代码时，我立即看到进入方法时，即在到达任何variable声明之前， variable的类型为SubClass1 [...]

当然，第一个名为variable的类型为SubClass1 。 第二个是SubClass2类型。 这就是您在编译时定义这些变量的类型的方式。

当然，哪一个是obj强制类型转换为null的原因。

如前所述，它不会导致null 。 不可以 如果变量的类型不合适，代码将无法编译 ; 它不会在运行时更改值。

谁能告诉我为什么variable在声明之前具有类型？

在编译变量时，在声明它的那一行中确定每个变量的类型。