接线员'??' 不能应用于'T'和'T'类型的操作数

Question

我有以下通用方法,但VS给我一个编译错误.(运算符'??'不能应用于'T'和'T'类型的操作数

public static T Method<T>(T model) where T : new()
{
    var m = model ?? new T();
}

有人知道为什么吗？

编辑:可能的原因是T在我的情况下可以是一个结构,并且结构是一个非可空类型？

Answer 1

??是空合并运算符.它不能应用于非可空类型.既然T可以是任何东西,它可以是一种int或其他原始的,不可空的类型.

如果添加条件where T : class(必须在之前指定new()),则强制它T成为可以为空的类实例.

Answer 2

你应该添加class约束:

public static T Method<T>(T model) where T : class, new()
{
    var m = model ?? new T();

    return m;
}

你也应该回来m!

注意:正如@KristofDegrave在他的评论中提到的那样,我们必须添加class约束的原因是因为T可以是一个值类型,int因为??运算符(null-coalescing)检查可以为null的类型,所以我们必须添加class约束排除值类型.

编辑:Alvin Wong的回答也涵盖了可空类型的案例; 实际上是结构,但可以是??的操作数？运营商.请注意,Method如果null没有Alvin的重载版本,将返回可为空的类型.

Answer 3

许多人已经指出,class为泛型添加约束将解决问题.

如果您希望您的方法也适用Nullable<T>,您可以为它添加一个重载:

// For reference types
public static T Method<T>(T model) where T : class, new()
{
    return model ?? new T();
}

// For Nullable<T>
public static T Method<T>(T? model) where T : struct
{
    return model ?? new T(); // OR
    return model ?? default(T);
}

Answer 4

您需要指定您的T类型是具有泛型类型约束的类:

public static T Method<T>(T model) where T : class, new()
{
    return model ?? new T();
}