ReSharper、未使用的参数和 DbC、断言等？

Question

如果我有以下几点:

void Foo(Bar bar, Baz baz)
{
    // Do something with bar, but not with baz.
}

...然后 ReSharper 警告我“从未使用过参数‘baz’。”并将其涂成灰色。这是一个有用的提示，我可能想摆脱它。

另一方面，如果我有以下几点:

void Foo(Bar bar, Baz baz)
{
    Require.ArgumentNotNull(bar);
    Require.ArgumentNotNull(baz);

    // Some code that used to do something with bar and baz,
    // but has been changed to no longer use baz.
}

...然后 ReSharper 认为使用了 'baz'，并且没有警告我。是否有我可以在 ArgumentNotNull 上使用的 ReSharper 注释来告诉 ReSharper 这个方法并没有真正“使用”参数，并且仍然发出提示？

Answer 1

如果您使用 [AssertionMethod] 属性(来自 ReSharper 注释库)注释“Require.ArgumentNotNull”方法，则 ReSharper 将发出“参数仅用于前提条件检查”警告。

看起来这可以解决您的问题。

注意:这适用于 ReSharper 7.0，需要检查旧版本如何处理。