C＃可空性未正确推论

问题描述

考虑：

#nullable enable

class Manager { 
  public int Age; 
}

class Archive {
  readonly Dictionary<string,Manager> Dict = new Dictionary<string,Manager>();

  public (bool ok,Manager? value) this[string key] {
    get {
      return Dict.TryGetValue(key,out var value) ? (true,value) : (false,null);
    }
  }
}

然后我尝试：

Archive archive = new Archive();
var (ok,john) = archive["John"];
if (!ok) return;
int age = john.Age; // <-- warning

我收到警告：

警告CS8602取消引用可能为空的引用。

为什么？我希望检查!ok后，编译器会推断出john不为空

我尝试的另一件事是：

public (bool ok,Manager value) this[string key] {
  get {
    return Dict.TryGetValue(key,value) : default;
  }
}

（已从Manager结果中删除?，并用(false,null)替换了default）
现在，我没有收到任何警告，但是如果我删除了!ok的支票，我也没有得到警告。

有什么方法可以实现我想要的吗？当且仅当没有对!ok的先前检查（即我忘了检查）的警告 >

谢谢

解决方法

为什么？我希望在检查！ok之后，编译器会推断出john不为空

这不起作用有两个原因：

1. 可空性分析一次只能查看一种方法。

分析时：

Archive archive = new Archive();
var (ok,john) = archive["John"];
if (!ok) return;
int age = john.Age; // <-- warning

编译器看不到此方法：

  public (bool ok,Manager? value) this[string key] {
    get {
      return Dict.TryGetValue(key,out var value) ? (true,value) : (false,null);
    }
  }

并告诉我们value为真时ok不为空。

1. 可空性分析不会跟踪布尔变量。

目前，编译器还不够智能，无法跟踪布尔变量的来源，并根据它们来更新可空性。例如，以下内容不会发出警告：

M(string? str)
{
    if (string != null)
        Console.WriteLine(str.Length);
}

但是以下等效代码可以做到：

M(string? str)
{
    var isNotNull = string != null;
    if (isNotNull)
        Console.WriteLine(str.Length);
}

有什么方法可以实现我想要的吗？-并且仅当以前没有检查！ok（即我忘了检查）时，才发出警告

恐怕没有元组。最好的方法是使用out参数，尽管这将意味着您不能使用索引器：

public bool TryGetManager(string key,[NotNullWhen(true)] Manager? manager) 
    => Dict.TryGetValue(key,out manager);