如何让C#静态空流分析识别方法返回对象属性已非空？

针对你遇到的问题，这里提供几种直接有效的解决方式：

方法一：使用[MemberNotNullWhen]特性（推荐） #

C# 8.0及以上提供的[MemberNotNullWhen]特性，专门用于标记当方法返回特定值时，输出参数的某个成员必然非空。只需在你的TryParse方法上添加该特性，就能让静态分析器识别到value.Parameter已被验证过。

修改后的验证方法代码：

using System.Diagnostics.CodeAnalysis;
using Microsoft.AspNetCore.Http;
using System.Net.Http.Headers;

public static class AuthenticationHeader
{
    // 标记：当方法返回true时，value的Parameter属性不为空
    [MemberNotNullWhen(true, nameof(value.Parameter))]
    public static bool TryParse(
        HttpRequest request,
        [NotNullWhen(returnValue: true)] out AuthenticationHeaderValue? value) =>
        AuthenticationHeaderValue.TryParse(
            request.Headers.Authorization,
            out value) && !string.IsNullOrEmpty(value.Parameter);
}

修改后，静态分析器会自动识别authHeader.Parameter的非空状态，不再弹出空引用警告。

方法二：调用处显式断言（临时快速方案） #

如果不想修改TryParse方法，可以在调用BuildClaims时，用!运算符显式告知分析器该值非空：

var identity = new ClaimsIdentity(
    BuildClaims(userInfo, authHeader.Parameter!), // 用!标记参数非空
    // 补充其他必要参数
);

也可以用Debug.Assert做运行时验证同时辅助静态分析：

Debug.Assert(!string.IsNullOrEmpty(authHeader.Parameter));
var identity = new ClaimsIdentity(
    BuildClaims(userInfo, authHeader.Parameter),
    // 补充其他必要参数
);

方法三：封装验证后的结果类型（进阶类型安全方案） #

如果需要更严格的类型约束，可以自定义一个包含已验证属性的类型，确保调用者拿到的对象必然携带有效的参数：

public class ValidatedAuthenticationHeader
{
    public AuthenticationHeaderValue Header { get; }
    public string Token { get; } // 直接存储已验证非空的Parameter

    private ValidatedAuthenticationHeader(AuthenticationHeaderValue header, string token)
    {
        Header = header;
        Token = token;
    }

    public static bool TryParse(HttpRequest request, out ValidatedAuthenticationHeader? result)
    {
        if (AuthenticationHeaderValue.TryParse(request.Headers.Authorization, out var header) 
            && !string.IsNullOrEmpty(header.Parameter))
        {
            result = new ValidatedAuthenticationHeader(header, header.Parameter);
            return true;
        }
        result = null;
        return false;
    }
}

调用时直接使用ValidatedAuthenticationHeader的Token属性，彻底避免空引用风险：

if (!ValidatedAuthenticationHeader.TryParse(Request, out var validatedAuthHeader))
{
    return AuthenticateResult.Fail("Missing Authorization header");
}

// ... 其他逻辑代码

var identity = new ClaimsIdentity(
    BuildClaims(userInfo, validatedAuthHeader.Token),
    // 补充其他必要参数
);

内容的提问来源于stack exchange，提问作者KUTlime