帮助C#generics错误 – “types'T'必须是一个不可为空的值types”

我是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; } 

在编译过程中出现以下错误:

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

你需要添加一个T:struct约束:

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

否则C#会试图找出Nullable<T>意思,并且意识到它不具有Nullable<T>本身所要求的约束。 换句话说,你可以尝试打电话给:

 CoalesceMax<string>(...) 

这是没有道理的,因为Nullable<string>是无效的。

Nullable<T>types对它有一个约束,它要求T是一个值types(C#中的struct )。 这就是为什么编译器告诉你关于Nullable<T>而不是你的函数或者那个函数的调用位置的原因 – 这是导致错误的根本原因的Nullable类,所以这实际上更有帮助,如果编译器只是指出你的function,并说:“这是不对的,修理它! (想象一下,如果CoalesceMax使用了几个generics,并且违反了其中一个generics的约束 – 知道哪个generics的约束被破坏比仅仅知道CoalesceMax中的一个或多个约束被破坏更有用。

解决方法是通过引入相同的约束来使TT兼容。 这是通过添加struct约束来完成的,它必须在所有接口/新约束之前出现:

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

您的generics方法使用Nullable<T>

但是,你并没有限制T的types,所以最终可能是Nullable<Form> ,这显然是无效的。

您需要将约束更改为where T : struct, IComparable以确保T只能是值types。