c#

c#-8.0

c#-9.0

假设我有一个这样的类：

public class BridgeFormModel
{
    [Required]
    [Display( Name = "What is your name?" )]
    public String? Name { get; set; }

    [Required]
    [Display( Name = "What is your quest?" )]
    public String? Quest { get; set; }

    [Required]
    [Display( Name = "What is your favourite colour?" )]
    public String? FaveColour { get; set; }

    [BindNever]
    public Boolean IsValid =>
        !String.IsNullOrWhiteSpace( this.Name ) && 
        !String.IsNullOrWhiteSpace( this.Quest ) && 
        !String.IsNullOrWhiteSpace( this.FaveColour );
}

目前，C# 8.0 和 C# 9.0 编译器Name在知道IsValid为 true时不会推断出非空：

public IActionResult CrossTheBridge( BridgeFormModel form )
{
    if( form.IsValid )
    {
        if( form.FaveColour.Equals( "Blue" ) ) // Warning: `form.FaveColour` may be null here
        {
            Console.WriteLine( "Right, off you go" )
        }
    }
}

所以我们必须要么断言form.FaveColour!——要么这样做：

public IActionResult CrossTheBridge( BridgeFormModel form )
{
    if( form.IsValid && form.FaveColour != null && form.Name != null && form.Quest != null )
    {
        if( form.FaveColour.Equals( "Blue" ) )
        {
            Console.WriteLine( "Right, off you go" )
        }
    }
}

我们有[NullWhen]和[NotNullWhen]属性，但这些仅适用于方法参数，不适用于同一对象实例上的其他属性。

如果 C# 仍然支持代码契约，这不会是一个问题，但是，唉，我们在这里......有没有办法根据属性通知 C# 编译器可空性（和其他状态不变量？）？

我希望能够做这样的事情：

public class BridgeFormModel
{
    [NotNullWhenPropertyIsTrue( nameof(IsValid) )]
    [Required]
    [Display( Name = "What is your name?" )]
    public String? Name { get; set; }

    [NotNullWhenPropertyIsTrue( nameof(IsValid) )]
    [Required]
    [Display( Name = "What is your quest?" )]
    public String? Quest { get; set; }

    [NotNullWhenPropertyIsTrue( nameof(IsValid) )]
    [Required]
    [Display( Name = "What is your favourite colour?" )]
    public String? FaveColour { get; set; }

    [BindNever]
    public Boolean IsValid =>
        !String.IsNullOrWhiteSpace( this.Name ) && 
        !String.IsNullOrWhiteSpace( this.Quest ) && 
        !String.IsNullOrWhiteSpace( this.FaveColour );
}

由于NotNullWhenPropertyIsTrue不是真正的属性，我想知道是否有某种方法可以编写 Roslyn 扩展或分析器来实现必要的逻辑 - 或者向 Roslyn 提供空安全断言。

回答

[MemberNotNullWhen(true, nameof(Name), nameof(Quest), nameof(FaveColour))]
public Boolean IsValid =>
        !String.IsNullOrWhiteSpace( this.Name ) && 
        !String.IsNullOrWhiteSpace( this.Quest ) && 
        !String.IsNullOrWhiteSpace( this.FaveColour );