C# while循环内StreamReader.ReadLine()触发可空转非空警告如何解决

该警告来自C#可空引用类型的静态流分析规则：

1. 你声明的streamReader是类级别的可空字段，而非方法局部变量。编译器不会对类字段做全链路的null状态跟踪——因为编译器无法保证在你完成null校验后、到执行while循环调用ReadLine()的间隙，没有其他类成员（事件回调、跨线程调用的方法等）将该字段重新赋值为null，因此会保守判定此处streamReader可能为null，触发“null literal or possible null value to non-nullable type”警告。
2. 你现有代码还存在两个隐性问题：一是StreamReader为IDisposable资源，当前手动调用Close()的逻辑无法覆盖方法执行中途抛异常的场景，会造成资源泄漏；二是while循环的退出条件本身就是ReadLine()返回null，循环结束后再次调用ReadLine()属于冗余逻辑。

按推荐优先级排序：

• 方案1：改用局部变量+using声明（最优，同时解决警告和资源泄漏问题）
  如果StreamReader仅在ReadFiles方法内使用，完全不需要将其声明为类字段，直接在方法内声明局部变量即可。编译器对局部变量的null状态分析是完全可靠的，配合using声明可以保证资源无论方法正常结束还是抛异常都会被正确释放：

  private void ReadFiles()
  {
      using StreamReader streamReader = File.OpenText(path + _productTypeFile);
      string line = "";
      while ((line = streamReader.ReadLine()) != null)
      {
          currentProdTypeListBox.Items.Add(line);
      }
      // using结构会自动执行Dispose/Close，无需手动编写释放逻辑
  }
  

  如果你确实需要把StreamReader实例存为类字段供其他方法调用，可以在字段赋值后立刻将其转存为局部变量，后续所有操作都针对局部变量执行，同样可以让编译器正确识别null状态：

  private void ReadFiles()
  {
      streamReader = File.OpenText(path + _productTypeFile);
      var reader = streamReader;
      if (reader == null)
      {
          throw new Exception("An error occured with stream reader");
      }
      string line = "";
      while ((line = reader.ReadLine()) != null)
      {
          currentProdTypeListBox.Items.Add(line);
      }
      reader.Close();
  }
  

• 方案2：使用null包容运算符!快速压制警告（仅适合临时修复）
  如果你确认逻辑上此处streamReader绝对不可能为null，可以在调用成员时添加!运算符，告诉编译器跳过此处的null检查：

  while ((line = streamReader!.ReadLine()) != null)
  

  注意：该方案仅会压制警告，不会修复代码中存在的资源泄漏问题，也不会增加运行时的null校验，不推荐作为长期方案使用。

内容的提问来源于stack exchange，提问作者Nick Harding