不可为空的引用类型：为什么编译器认为我的对象可以为空？

Question

我有一个项目启用了新的Nullable reference type feature

 <Nullable>enable</Nullable>

现在让我们考虑这段代码

public class Foo  {    }

var foo = new Foo();

编译器认为foo 变量可以为空（Foo?）。 这是为什么？我不明白。

现在启用 Nullable 引用类型功能后，返回的 Foo 对象不应为 null，因为它是不可为 null 的类型。

如果我希望它可以为空，我会指定它有一个 Foo?

那么为什么编译器说它是一个可为空的变量呢？

谢谢

编辑

这是我在这里描述的屏幕截图。当您将鼠标悬停在 foo 变量上时

Answer 1

在最初的实现中，foo 会被推断为Foo。

但是，人们抱怨这妨碍了以下事情：

string? GetThing() => ...

var result = "";
if (condition)
{
    result = GetThing();
}

如果result 被推断为string，则result = GetThing() 行会导致警告：GetThing() 返回string?，如果您尝试将string? 分配给@，则会出现警告987654330@.

解决方案是将result 推断为string?，但编译器知道它当前不为空（其“流状态”为“NotNull”）。

这意味着：

string? GetThing() => ...

var result = "";

// No warning, as the compiler knows that result isn't null
int l1 = result.Length; 

if (condition)
{
    result = GetThing();
}

// Warning: the compiler knows 'result' might have been re-assigned
int l2 = result.Length; 

---

有关工作中的流状态的其他示例，请参阅以下内容：

string? result = GetString();
if (result == null)
    throw new Exception();

// No warning: the compiler knows that result can't be null here: if it was,
// the exception above would have been thrown
int l1 = result.Length;

string? result = GetString();

// Warning: result might be null
int l1 = result.Length; 

// No warning: the compiler knows that result can't be null here: if it was,
// the line above would have thrown
int l2 = result.Length; 

string result = "hello";
if (result == null)
    Console.WriteLine("NULL!");

// Warning: because we checked for null above, the compiler assumes that we
// know something that it doesn't, and so result might be null.
int l1 = result.Length;

Answer 2

查看the specification on nullable reference types。它指出var 推断引用类型的注释类型。

可为空的隐式类型局部变量标题下的部分内容如下：

var 推断引用类型的注释类型。例如，在 var s = ""; var 被推断为字符串？。