启用可空引用类型时，#nullable disabled代码为何无空值警告？

问题背景 #

编译器对以下代码的空值警告表现不一致：

• 第2行int CalcLength2(MyClassNullableId instance) => instance.Id.Length;会触发空值警告
• 第3行int CalcLength3(MyOldClass instance) => instance.Id.Length;无空值警告，反而提示Id永远不为空

该场景出现在带<auto-generated>标签的NSwag生成类/DTO中，这类标签会禁用可空引用类型检查，对应代码中MyOldClass前的#nullable disable指令。

完整代码示例 #

int CalcLength1(MyClass instance) => instance.Id.Length;
int CalcLength2(MyClassNullableId instance) => instance.Id.Length;
int CalcLength3(MyOldClass instance) => instance.Id.Length;

class MyClass
{
    public string Id { get; set; } = string.Empty;
}

class MyClassNullableId
{
    public string? Id { get; set; }
}

#nullable disable
class MyOldClass
{
    public string Id { get; set; }
}

原因解析 #

• MyClassNullableId的情况：该类在可空引用类型启用上下文中定义，Id被显式标记为string?（可空引用类型）。编译器会严格跟踪该成员的空值状态，调用Length时会检测到空值风险，因此触发警告。
• MyOldClass的情况：该类在#nullable disable指令下定义，此时可空引用类型检查被完全禁用。编译器回到传统处理逻辑：
  1. 不会对非可空值类型以外的类型进行空值跟踪检查，因此不会发出空值警告；
  2. 由于成员没有?标记，编译器会将其当作非可空引用类型处理，所以提示“Id永远不为空”。
• NSwag生成类的关联逻辑：<auto-generated>标签的作用和#nullable disable完全一致，生成的类处于可空禁用上下文，即使成员未初始化，编译器也不会做空值检查，也不会将成员标记为可空，自然不会触发警告。

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