“默认”通用约束有什么作用？

Question

以下代码可以编译，但微软的文档似乎根本没有提到这种特定的约束类型。

class TestGenericsBase<T1>
{
    public virtual void Method1<T>(T arg)
    {
    }
}

class TestGenerics : TestGenericsBase<object>
{
    public override void Method1<T>(T arg)
        where T : default // what does this do?
    {
    }
}

知道它有什么作用吗？到目前为止，我唯一的线索是它只适用于方法。

Answer 1

这个default 约束可以在C#9 可空引用类型的设计提案中找到。添加它是为了消除 struct 约束中的 class 之间的歧义，该约束在可空泛型参数 T? 的覆盖或显式实现的方法中。

更多详情也可以在Unconstrained type parameter annotations proposal找到

允许对不受约束的类型参数进行注释 引用类型或值类型，C#9 允许新的where T : default 约束。

这些约束和注释在 nullable contexts 中起作用