帮助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
中的一个或多个约束被破坏更有用。
解决方法是通过引入相同的约束来使T
和T
兼容。 这是通过添加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。