为何可空属性ReturnUrl触发CS8774警告？调用base方法时也报错

为什么可空属性触发非空警告？ #

你给OnInitializedAsync标记了[MemberNotNull(nameof(ReturnUrl))]特性，这个特性的作用是告诉编译器：当这个方法正常执行完毕后，ReturnUrl一定是非null的。虽然ReturnUrl本身是可空属性，但这个特性强制编译器对方法内的所有执行路径做检查，确保方法结束时ReturnUrl必然被赋值为非null值。

为什么警告出现在await base.OnInitializedAsync()行，而非方法退出时？ #

这是异步方法的Nullable分析逻辑导致的：

• 异步方法在遇到await时会被拆分执行，await base.OnInitializedAsync()是一个可能的提前退出点——如果基类的这个方法抛出异常，你的后续赋值代码根本不会执行，此时ReturnUrl还是null，直接违反了MemberNotNull的承诺。
• 编译器会提前检查这种潜在的违规场景，所以在await那一行就触发警告，而不是等到方法末尾。

解决方法 #

因为你必须先调用基类方法填充Principal，没法提前给ReturnUrl做角色判断赋值，这里有两种可行方案：

方案1：提前给ReturnUrl设置默认值 #

在调用基类方法前，先给ReturnUrl一个兜底的默认值，后续逻辑再根据角色覆盖：

[MemberNotNull(nameof(ReturnUrl))]
protected override async Task OnInitializedAsync()
{
    // 先设置兜底默认值，避免await前的警告
    ReturnUrl = GlobalConstants.UrlHomePage;
    await base.OnInitializedAsync();

    if (string.IsNullOrEmpty(ReturnUrl))
    {
        if (Principal.IsSysAdmin())
            ReturnUrl = GlobalConstants.UrlSysAdminHomePage;
        else if (Principal.IsManager())
            ReturnUrl = GlobalConstants.UrlManagerHomePage;
        else if (Principal.IsOnlyVolunteer())
            ReturnUrl = GlobalConstants.UrlVolunteerHomePage;
        else
            ReturnUrl = GlobalConstants.UrlHomePage;
    }
}

这样即使基类方法抛出异常，ReturnUrl也已经有非null值，符合MemberNotNull的要求。

方案2：抑制特定警告 #

如果你确认基类方法抛出异常时，调用方不会依赖ReturnUrl的值（毕竟方法已经异常终止），可以用#pragma临时抑制该警告：

[MemberNotNull(nameof(ReturnUrl))]
protected override async Task OnInitializedAsync()
{
    // 抑制CS8774警告
    #pragma warning disable CS8774
    await base.OnInitializedAsync();
    #pragma warning restore CS8774

    if (string.IsNullOrEmpty(ReturnUrl))
    {
        if (Principal.IsSysAdmin())
            ReturnUrl = GlobalConstants.UrlSysAdminHomePage;
        else if (Principal.IsManager())
            ReturnUrl = GlobalConstants.UrlManagerHomePage;
        else if (Principal.IsOnlyVolunteer())
            ReturnUrl = GlobalConstants.UrlVolunteerHomePage;
        else
            ReturnUrl = GlobalConstants.UrlHomePage;
    }
}

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