ReSharper Curiosity：「パラメーターは前提条件チェックにのみ使用されます。」

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);
        }
    }

2番目のメソッドValidateCorrespondingValueTypeの "settingValue"パラメータは、ReSharperによって次のメッセージでグレー表示されます。

それは判断ではありません、それは助けようとしています:)

ReSharperは、パラメーターが例外をスローするためのチェックとしてのみ使用されていることを確認すると、グレー表示になり、「実際の」作業に実際に使用していないことを示します。これは間違いである可能性があります-使用しないパラメーターを渡すのはなぜですか？通常、これは前提条件で使用したが、コードの他の場所で使用することを忘れた（または不要になった）ことを示しています。

メソッドはアサーションメソッドであるため（つまり、有効であることをアサートするだけです）、ValidateCorrespondingValueTypeReSharperのアノテーション属性、特に次の[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によって反転が行われた）が異なる結果をもたらすことです。パターンマッチングは単に2番目のバージョンを取得しないようです。

この問題に対する私の好ましい解決策は、パラメータが使用されていると再シャープ化させることです。これは、次のような属性を使用して以上の利点を持っているUsedImplicitlyあなたがいる場合ので ん停止、そのパラメータを使用して、ReSharperのは、再びあなたに警告を開始します。属性を使用する場合、resharperは将来の実際の警告もキャッチしません。

パラメータを使用していると再シャープ化させる簡単な方法はthrow、メソッドに置き換えることです。代わりに...

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

...あなたが書く：

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

これは将来のプログラマーにとってはうまく自己文書化されており、リシャーパーは愚痴をやめます。

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