c# - T?，C# 9 中的可为空类型参数

Question

This program有两个错误:

using System;

T? f<T>(T? t)
{    
    t = null; //  Error CS0403  Cannot convert null to type parameter 'T' because it could be a non-nullable value type
    return default(T?);
}

if(f(10) is null) // Error  CS0037  Cannot convert null to 'int' because it is a non-nullable value type    
    Console.WriteLine("null");

T?必须是可空类型。不过好像 T?与 T 相同在上面的程序中。
是 ?在 T? 中被忽略?

编辑 : Both errors disappear与 struct约束:

using System;

T? f<T>(T? t)  where T : struct
{    
    t = null; // error
    return default(T?);
}

if(f<int>(10) is null) // error
    Console.WriteLine("null");

我不明白为什么约束会改变结果。

Answer 1

当你说 T?在 T?并在 (T? t) ，它们都指向可为空的引用类型，而不是特殊的 Nullable<T>结构。您无法指定泛型参数，以便将其视为类和可为空值类型。
第二个错误只是因为 f(10) (所以 f<int>(10) )被隐含地视为 int (因为没有可空引用 int 值这样的东西)，所以 null无效，就像您这样做一样 if (10 is null) .

如 T停止打开，而是添加一个约束，例如 where T : struct , T?变成 System.Nullable<T>而不是可空引用参数，因此代码变得与引入可空引用类型之前完全相同。