Visual Studio空引用警告-为什么没有错误?

我注意到了Visual Studio的一些特殊之处。首先,尝试在函数中的某个位置键入(c):

class Foo  
{  
    public void Bar()  
    {  
        string s;
        int i = s.Length;
    }
}

现在,马上它会标记 s 在里面 s.Length 作为一个错误,说 Use of unassigned local variable 's' “。另一方面,请尝试以下代码:

class Foo  
{  
    private string s;
    public void Bar()  
    {  
        int i = s.Length;
    }
}

它将编译,并在 S 在里面 private string s 带着警告说 Field 'Foo.s' is never assigned to, and will always have its default value null “。

现在,如果vs很聪明并且知道s总是空的,为什么在第二个例子中获取其长度不是一个错误呢?我最初的猜测是,“如果编译器不能完成它的工作,它只会给出一个编译错误。因为从技术上讲,只要你不调用bar()代码就可以运行,所以这只是一个警告,“除了第一个例子使解释无效。只要不调用bar(),就可以无错误地运行代码。那给了什么?只是疏忽,还是我遗漏了什么?