なぜこれ（null ||！TryParse）は条件付きで「割り当てられていないローカル変数の使用」を引き起こすのですか？

次のコードでは、割り当てられていないローカル変数 "numberOfGroups"が使用されます。

int numberOfGroups;
if(options.NumberOfGroups == null || !int.TryParse(options.NumberOfGroups, out numberOfGroups))
{
    numberOfGroups = 10;
}

ただし、このコードは正常に機能します（ただし、ReSharperはこれ= 10は冗長であると言っています）。

int numberOfGroups = 10;
if(options.NumberOfGroups == null || !int.TryParse(options.NumberOfGroups, out numberOfGroups))
{
    numberOfGroups = 10;
}

私は何かが足りないのですか、それともコンパイラが気に入らないの||ですか？

これをdynamic問題の原因に絞り込みました（options上のコードの動的変数でした）。問題はまだ残っていますが、なぜこれができないのですか？

このコードはコンパイルされません：

internal class Program
{
    #region Static Methods

    private static void Main(string[] args)
    {
        dynamic myString = args[0];

        int myInt;
        if(myString == null || !int.TryParse(myString, out myInt))
        {
            myInt = 10;
        }

        Console.WriteLine(myInt);
    }

    #endregion
}

ただし、このコードは次のことを行います。

internal class Program
{
    #region Static Methods

    private static void Main(string[] args)
    {
        var myString = args[0]; // var would be string

        int myInt;
        if(myString == null || !int.TryParse(myString, out myInt))
        {
            myInt = 10;
        }

        Console.WriteLine(myInt);
    }

    #endregion
}

これがdynamic要因だとは思いませんでした。

これはコンパイラのバグだと思います。いい発見！

編集：クォーターマイスターが示すように、これはバグではありません。dynamicは、初期化されないtrue可能性がある奇妙な演算子を実装するy場合があります。

これが最小限の再現です：

class Program
{
    static bool M(out int x) 
    { 
        x = 123; 
        return true; 
    }
    static int N(dynamic d)
    {
        int y;
        if(d || M(out y))
            y = 10;
        return y; 
    }
}

それが違法であるべき理由は私にはわかりません。dynamicをboolに置き換えると、問題なくコンパイルされます。

明日はC＃チームと実際に会います。私は彼らにそれを言及します。エラーの謝罪！

動的式の値がオーバーロードされたtrue演算子を持つ型である場合、変数の割り当てが解除される可能性があります。

||オペレータが起動しますtrue右辺を評価するかどうかを決定するためにオペレータをして、ifステートメントが呼び出されますtrue、その本体を評価するかどうかを決定するための演算子を。通常の場合bool、これらは常に同じ結果を返すため、正確に1つが評価されますが、ユーザー定義演算子の場合、そのような保証はありません。

Eric Lippertの再現を基に、次の短い完全なプログラムは、どちらのパスも実行されず、変数に初期値がある場合を示しています。

using System;

class Program
{
    static bool M(out int x)
    {
        x = 123;
        return true;
    }

    static int N(dynamic d)
    {
        int y = 3;
        if (d || M(out y))
            y = 10;
        return y;
    }

    static void Main(string[] args)
    {
        var result = N(new EvilBool());
        // Prints 3!
        Console.WriteLine(result);
    }
}

class EvilBool
{
    private bool value;

    public static bool operator true(EvilBool b)
    {
        // Return true the first time this is called
        // and false the second time
        b.value = !b.value;
        return b.value;
    }

    public static bool operator false(EvilBool b)
    {
        throw new NotImplementedException();
    }
}

MSDN（強調鉱山）から：

動的型は、それが発生する操作でコンパイル時の型チェックをバイパスできるようにします。代わりに、これらの操作は実行時に解決されます。動的型は、OfficeオートメーションAPIなどのCOM API、IronPythonライブラリなどの動的API、およびHTMLドキュメントオブジェクトモデル（DOM）へのアクセスを簡素化します。

動的型は、ほとんどの場合、型オブジェクトのように動作します。ただし、動的型の式を含む操作は、コンパイラーによって解決または型チェックされません。

コンパイラーは、型検査または動的型の式を含む操作を解決しないため、変数がを使用して割り当てられることを保証できませんTryParse()。