今天编程的时候出现了下面的情况。泛型方法接受不可为 null 的泛型参数。该方法基本上只是将通用值插入到集合中。但是,这会产生编译器警告,指示泛型参数可能为空。从表面上看,这似乎是编译器中的一个错误,并且与可为空值的设计相矛盾。然而,我确信有一些我没有看到的很好的解释。
请考虑以下情况的简化示例:
public void M1<T>(T t, List<object> l) => l.Add(t);
编译器警告 t 中的 t 可能为 null l.Add(t)。
另外,为了完整性,以下方法给出了相同的错误(如预期的那样):
public void M1<T>(T? t, List<object> l) => l.Add(t);
有人对此有一些好的见解吗?