JetBrains Rider 中的自定义空断言

Question

我有一个自定义扩展方法来检查Guid? 值：

public static bool IsNullOrDefault(this Guid? guid)
{
    return !guid.HasValue || guid.value == Guid.Empty;
}

当我在代码中使用该方法时，我希望 Rider 会在可能的 System.InvalidOperationException 断言中考虑该方法。但事实并非如此。

public void Foo(Guid? guid)
{
    if (guid.IsNullOrDefault())
    {
        throw new Exception();
    }

    var x = guid.Value;
            ^ There is still a yellow squiggle here, saying Possible System.InvalidOperationException
    ...
}

我尝试通过覆盖自定义（语句）模式来创建自己的空值检查模式：

if ($EXPR$.IsNullOrDefault()) throw new System.ArgumentNullException($NAME$);

但这也不起作用。如何配置 Rider 以将我的自定义方法视为等同于 guid.HasValue 或 guid != null？

Answer 1

我不确定 Rider 是否足够聪明，能够识别出您已经检查过这个。 我认为您可以做的是使用?. 符号来检查null

var x = guid?.Value;

在评估.value 之前检查guid 是否为null，如果是，则返回null。

然后你可以把支票放在后面，所以它结束了

var x guid?.value;
if(x is null)
    Throw new Exception();

或者你可以返回一个默认值而不是抛出一个异常，你的调用。

让我知道它是如何工作的！