C# 泛型类：从可为空类型参数推断不可为空类型

Question

我使用 C# 8 可空引用类型。

我有一个泛型类，它可能接受可为空引用类型作为类型参数。

有没有办法根据泛型类型参数声明不可为空的类型，这些参数可能是可为空的引用类型（甚至是可空结构）？

abstract class Selector<T>
{
    T SelectedItem;

    // how to make item parameter not nullable?
    abstract string Format(T! item);

    // how to make item parameter not nullable?
    Func<T!, string> FormatFunction;
}

Answer 1

使用DisallowNullAttribute：

using System.Diagnostics.CodeAnalysis;

abstract class Selector<T>
{
    T SelectedItem;

    public abstract string Format([DisallowNull] T item);
}

var selector = default(Selector<string?>)!;
selector.Format(null); //warning CS8625: Cannot convert null literal to non-nullable reference type.