如何确定泛型类型参数的可空性 (NRT)？

Question

例如，我可能有一个具有以下签名的方法：

public async Task<ViewModel?> GetPersonUri()

使用反射我想确定 Task 的类型参数是否为可为 null 的引用类型。在这种情况下，答案是肯定的。如果是：

public async Task<ViewModel> GetPersonUri()

答案应该是否定的。

如何确定泛型类型参数的可为空性？

Answer 1

在 .NET 6 开始中，我们获得了 NullabilityInfoContext 类型，请参阅此答案< /a> 了解详细信息。

在此之前，您必须自己手动检查属性。这似乎可以解决问题：

public static bool GenericReturnTypeIsNullable(MethodInfo methodInfo)
{
    var nullableAttribute = methodInfo!.ReturnTypeCustomAttributes.GetCustomAttributes(true)
        .FirstOrDefault(x => x.GetType().FullName == "System.Runtime.CompilerServices.NullableAttribute");
    if (nullableAttribute != null)
    {
        var flagsField = nullableAttribute.GetType().GetField("NullableFlags");
        var flags = (byte[]?)flagsField?.GetValue(nullableAttribute);
        return flags != null && flags.Length >= 2 && flags[1] == 2;
    }
    
    if (CheckNullableContext(methodInfo.CustomAttributes))
        return true;
    
    for (var type = methodInfo.DeclaringType; type != null; type = type.DeclaringType)
    {
        if (CheckNullableContext(type.CustomAttributes))
            return true;
    }
    
    static bool CheckNullableContext(IEnumerable<CustomAttributeData> customAttributes)
    {
        var context = customAttributes.FirstOrDefault(x => x.AttributeType.FullName == "System.Runtime.CompilerServices.NullableContextAttribute");
        return context != null &&
            context.ConstructorArguments.Count == 1 &&
            context.ConstructorArguments[0].ArgumentType == typeof(byte) &&
            (byte)context.ConstructorArguments[0].Value! == 2;
    }

    return false;
}

在 dotnetfiddle.net 上查看。

有关详细信息，请参阅此规范文档。

我们最终需要检查很多事情。

如果该方法的返回值具有 Nullable 属性，则其 NullableFlags 字段是一个字节数组，其中数组的每个成员都引用连续的泛型类型。 0 表示忽略 null，1 表示不可为 null，2 表示可为 null。因此：

[return: System.Runtime.CompilerServices.Nullable(new byte[] { 1, 2 })]
public Task<string?> Foo() => ...

1 引用 Task 本身，并指示它不可为空。 2 引用第一个泛型类型参数，即string?，并指示它可以为空。

如果此属性不存在，我们需要检查方法本身的 NullableContext 属性。这为没有指定 Nullable 属性的所有内容提供了默认的可为空性。这需要一个字节，同样是 0 到 2。

如果该方法没有此属性，则它可能位于包含类型或其包含类型上。继续向上寻找，直到找到（或找不到）。

稍微棘手的一点是编译器将 Nullable 和 NullableContext 属性直接发出到程序集中，这意味着每个程序集都有自己的定义。因此，我们需要使用反射来访问它们 - 我们无法将任何内容转换为 NullableAttribute 或 NullableContextAttribute。