ReSharper好奇心：“参数仅用于前提条件检查。”

为什么ReSharper会要求我提供此代码？

    private Control GetCorrespondingInputControl(SupportedType supportedType, object settingValue)
    {
        this.ValidateCorrespondingValueType(supportedType, settingValue);

        switch(supportedType)
        {
            case SupportedType.String:
                return new TextBox { Text = (string)settingValue };
            case SupportedType.DateTime:
                return new MonthPicker { Value = (DateTime)settingValue, ShowUpDown = true };
            default:
                throw new ArgumentOutOfRangeException(string.Format("The supported type value, {0} has no corresponding user control defined.", supportedType));
        }
    }

    private void ValidateCorrespondingValueType(SupportedType supportedType, object settingValue)
    {
        Type type;

        switch(supportedType)
        {
            case SupportedType.String:
                type = typeof(string);
                break;
            case SupportedType.DateTime:
                type = typeof(DateTime);
                break;
            default:
                throw new ArgumentOutOfRangeException(string.Format("The supported type value, {0} has no corresponding Type defined.", supportedType));
        }
        string exceptionMessage = string.Format("The specified setting value is not assignable to the supported type, [{0}].", supportedType);
        if(settingValue.GetType() != type)
        {
            throw new InvalidOperationException(exceptionMessage);
        }
    }

ReSharper使用以下消息将第二种方法ValidateCorrespondingValueType的“ settingValue”参数显示为灰色：“参数'settingValue'仅用于前提条件检查”。

这不是判断，而是在尝试帮助:)

如果ReSharper看到参数仅用作引发异常的检查，则会将其显示为灰色，表明您实际上并未将其用于“实际”工作。这很可能是一个错误-为什么要传递不使用的参数？它通常表明您已经在前提条件中使用了它，但是随后忘记了（或不再需要）在代码的其他地方使用它。

由于该方法是断言方法（也就是说，它所做的全部是断言它是有效的），因此可以ValidateCorrespondingValueType使用ReSharper的注释属性（特别是该[AssertionMethod]属性）将标记为断言方法来抑制消息。

[AssertionMethod]
private void ValidateCorrespondingValueType(SupportedType supportedType, object settingValue)
{
  // …
}

有趣的是，如果您使用nameofC＃6中的新功能，ReSharper会退后：

static void CheckForNullParameters(IExecutor executor, ILogger logger)
{
    if (executor == null)
    {
        throw new ArgumentNullException(nameof(executor));
    }

    if (logger == null)
    {
        throw new ArgumentNullException(nameof(logger));
    }
}

以下内容解决了该问题（在ReSharper 2016.1.1，VS2015中），但是我不确定它是否可以解决“正确”的问题。无论如何，它显示了ReSharper在此主题上的技巧上的歧义：

这将产生警告：

    private void CheckForNull(object obj)
    {
        if (ReferenceEquals(obj, null))
        {
            throw new Exception();
        }
    }

但这不是：

    private void CheckForNull(object obj)
    {
        if (!ReferenceEquals(obj, null))
        {
            return;
        }
        throw new Exception();
    }

有趣的是，等效代码（由ReSharper：D进行了反转）给出了不同的结果。看起来，模式匹配根本无法实现第二个版本。

对于此问题，我的首选解决方案是让resharper认为已使用该参数。这比使用属性的优势，比如UsedImplicitly，因为如果你永远 不停止使用该参数，ReSharper的将开始再次警告你。如果使用属性，则重新共享也不会捕获将来的实际警告。

使reshaper认为使用了参数的一种简单方法是用throw方法替换。所以代替...

if(myPreconditionParam == wrong)
    throw new Exception(...);

...你写：

if(myPreconditionParam == wrong)
    new Exception(...).ThrowPreconditionViolation();

对于将来的程序员来说，这是很好的自我记录，而harsper不再抱怨。

ThrowPreconditionViolation的实现很简单：

public static class WorkAroundResharperBugs 
{
    //NOT [Pure] so resharper shuts up; the aim of this method is to make resharper 
    //shut up about "Parameter 'Foobaar' is used only for precondition checks" 
    //optionally: [DebuggerHidden]
    public static void ThrowPreconditionViolation(this Exception e)
    {
        throw e;
    }
}

Exception的扩展方法是命名空间污染，但它确实包含在内。

其他人已经回答了这个问题，但是没有人提到以下关闭警告的方法。

在方法签名上方添加以下代码以仅针对该方法将其关闭：

    // ReSharper disable once ParameterOnlyUsedForPreconditionCheck.Local

在类声明上方添加以下代码，以针对整个文件将其关闭：

     // ReSharper disable ParameterOnlyUsedForPreconditionCheck.Local