C#泛型方法返回值T?可空注解未生效原因咨询

该现象是C# 8.0引入可空引用类型后的设计规则导致的，T?的语义完全由泛型参数的约束条件决定，具体原因如下：

• 无约束时T?的默认语义
  当Foo1<T>没有给泛型参数T添加任何约束时，T?属于可空引用类型的通用注解，含义为「该返回值允许为null」，会根据T的实际类型匹配不同逻辑：
  • 如果T是引用类型，T?对应可空引用类型，仅做空安全标注，不会修改类型结构
  • 如果T是值类型，由于编译器没有提前得知T为值类型，不会自动将T?映射为System.Nullable<T>，而是直接等价于原类型T，?仅用来标注该值可能为值类型的默认值，而非null。
    本次调用中T被推导为值类型double，因此T?被等价处理为double，最终推导的返回类型为double。
• struct约束的作用
  当给Foo2<T>添加where T : struct约束后，编译器明确知道T一定是值类型，此时T?的语义会被匹配为值类型专属的可空包装Nullable<T>，因此返回值会被正确推导为double?。

该设计的核心目的是兼顾可空引用类型、可空值类型两类场景的兼容性：无约束泛型需要同时支持两种类型，无法在编译期确定应该用引用类型的空安全注解还是值类型的可空包装，因此默认仅做注解处理，不对值类型做自动包装。

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