注释类中属性之间的可空性关系

如何解决注释类中属性之间的可空性关系

我一直在尝试使用新的（ish）C＃8.0空引用类型检查功能，并且遇到了一些我似乎无法提出令人满意的模式的情况。

当然可以注释参数和返回值之间的关系，这使您可以使用[NotNullWhen]参数属性来具有如下模式：

public bool IsValid([NotNullWhen(true)] string? val) => !string.IsNullOrEmpty(val);

public string Cleanup(string? val)
{
    if (IsValid(val))
    {
        return val.Trim();
    }
    return "Needs work";
}

那似乎很干净。

但是我们的代码充分利用了存在于类而不是方法级别的大致类似的模式，即：

public class ReturnValue
{
    public string? Value {get; set;}
    public bool IsValid => Value != null;
}

我们现在必须使用它的方式是使用允许零值的运算符：

ReturnValue retVal = GetReturnValue();
if (retVal.IsValid)
{
    Console.WriteLine(retVal.Value!.Trim());
}

当然，在现实世界中，它更复杂，但是您可以理解。

我认为理想的是一些可以告诉编译器的属性，“如果属性x为true，那么您可以相信属性y不为null”。像这样：

public class ReturnValue
{   
    [NotNullWhen("IsValid",true)]
    public string? Value {get; set;}
    public bool IsValid => Value != null;
}

这样的东西存在吗？失败了，关于这种情况的最佳编码模式的任何建议，因为C＃尚不支持歧视的联合？