为什么泛型类型参数T?不是可空类型？下述代码为何报CS0403错误？

为什么泛型类型参数T?不能直接当做可空类型使用？ #

T?的语义不是固定的“可空类型”，会跟随泛型参数T的约束条件发生变化：

• 当指定where T : class约束时，T?对应可空引用类型，支持直接赋值null
• 当指定where T : struct约束时，T?对应System.Nullable<T>可空值类型，也支持直接赋值null
• 当没有给T加任何约束时，T既可能是引用类型也可能是值类型，T?的语义变为“允许T取对应类型的默认值”，此时无法直接统一适配所有类型的null赋值逻辑，才会出现你觉得“它不是可空类型”的情况。

注意：无约束泛型参数的T?语法是C# 9及以上版本才支持的特性，低版本编译器使用该语法会直接报错。

给出的代码为什么无法正常运行？ #

你贴出的代码：

public T? Method<T>() 
{
    /*
     error CS0403: Cannot convert null to type parameter 'T' 
     because it could be a non-nullable value type.
     Consider using 'default(T)' instead.
    */
    return null;
}

触发CS0403错误的核心原因是泛型参数T没有任何约束，编译器无法提前确定T的实际类型，为了避免非法调用场景提前抛出了错误：
如果调用方指定T为非可空值类型（比如int、DateTime等），null本身无法直接赋值给这类类型，即使你写的返回值是T?，无约束场景下编译器也不会自动做null到Nullable<T>的隐式转换。

解决方案 #

根据你的业务场景选其中一种即可：

• 场景1：泛型T只会是引用类型，添加class约束

  public T? Method<T>() where T : class
  {
      return null;
  }
  

• 场景2：泛型T只会是值类型，添加struct约束

  public T? Method<T>() where T : struct
  {
      return null;
  }
  

• 场景3：需要同时支持值类型和引用类型，返回默认值即可

  public T? Method<T>()
  {
      return default;
  }
  

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