具有不可空泛型参数的 C# 泛型方法警告可能的空引用

Question

今天编程的时候出现了以下情况。泛型方法接受不可为 null 的泛型参数。该方法基本上只是将通用值插入到集合中。但是，这会引起编译器警告，指示通用参数可能为空。从表面上看，它似乎是编译器中的一个错误，并且与可空值的设计相矛盾。但是，我确信有一些我没有看到的很好的解释。

考虑以下情况的简化示例： public void M1<T>(T t, List<object> l) => l.Add(t); 编译器警告 l.Add(t).

中的 t 可能为空

同样为了完整性，以下方法给出了相同的错误（如预期的那样）： public void M1<T>(T? t, List<object> l) => l.Add(t);

有人对此有一些好的见解吗？

Answer 1

有人可以打电话：

var list = new List<object>();
M1<string?>(null, list);

现在您的列表包含 null，它应该只包含不可为 null 的对象。因此警告。

如果要防止 T 成为可空类型，则：

public void M1<T>(T t, List<object> l) where T : notnull
{
    ...
}

这给你警告：

M1<string?>(null, new List<object>());
^^^^^^^^^^^
// warning CS8714: The type 'string?' cannot be used as type parameter 'T' in the generic 
// type or method 'C.M1<T>(T, List<object>)'. Nullability of type argument 'string?' doesn't
// match 'notnull' constraint.

如果您想让 T 成为 null，但仍然禁止 t 参数的 null 值，则：

public void M1<T>([DisallowNull] T t, List<object> l)
{
    ...
}

这给你警告：

M1<string?>(null, new List<object>());
            ^^^^
// warning CS8625: Cannot convert null literal to non-nullable reference type.

当然，如果你想允许 null 那么你的 l 需要是 List<object?>.

具有不可空泛型参数的 C# 泛型方法警告可能的空引用

C# Generic Method with non-nullable generic parameter warns of possible null reference

c#

generics

nullable

nullable-reference-types