帮助C#generics错误 - "类型'T'必须是不可为空的值类型"

Question

我是C#的新手,不明白为什么以下代码不起作用.

public static Nullable<T> CoalesceMax<T>(Nullable<T> a, Nullable<T> b) where T : IComparable
{
    if (a.HasValue && b.HasValue)
        return a.Value.CompareTo(b.Value) < 0 ? b : a;
    else if (a.HasValue)
        return a;
    else
        return b;
}

// Sample usage:
public DateTime? CalculateDate(DataRow row)
{
    DateTime? result = null;
    if (!(row["EXPIRATION_DATE"] is DBNull))
        result = DateTime.Parse((string)row["EXPIRATION_DATE"]);
    if (!(row["SHIPPING_DATE"] is DBNull))
        result = CoalesceMax(
            result
            DateTime.Parse((string)row["SHIPPING_DATE"]).AddYears(1));
    // etc.
    return result;
}

它在编译期间出现以下错误:

类型'T'必须是非可空值类型,以便在泛型类型或方法'System.Nullable <T>'中将其用作参数'T'

Answer 1

您需要添加T:struct约束:

public static Nullable<T> CoalesceMax<T>
    (Nullable<T> a, Nullable<T> b) where T : struct, IComparable

否则C#将试图弄清楚什么T : struct意思,并意识到它本身并没有所需的约束Nullable<T>.换句话说,您可以尝试调用:

CoalesceMax<string>(...)

这是没有意义的,因为Nullable<T>无效.

Answer 2

该Nullable<T>类型有一个约束,它需要T是一个值类型(struct在C#中).这就是为什么编译器告诉你的Nullable<T>不是你的函数或函数的调用站点 - 它Nullable是导致错误的根本原因的类,所以如果编译器只是指向你的函数并且说这实际上更有帮助"这不对,修好吧!" (想象一下,如果CoalesceMax使用了几个泛型,并且只违反了其中一个,那么知道哪个泛型的约束被破坏比知道一个或多个约束CoalesceMax被破坏更有用).

解决方案是通过引入相同的约束来使您T和他们的T兼容.这是通过添加struct约束来完成的,约束必须在所有接口/新约束之前:

public static Nullable<T> CoalesceMax<T>(Nullable<T> a, Nullable<T> b) where T : struct, IComparable{
  ...
}

Answer 3

您的通用方法是使用Nullable<T>.

但是,你并没有限制它的类型T,所以最终可能会出现这种情况Nullable<Form>,这显然是无效的.

您需要更改约束以where T : struct, IComparable确保T只能是值类型.