왜이 (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이 요인이 될 줄 은 몰랐습니다 .

이것이 컴파일러 버그라고 확신합니다. 좋은 발견!

편집 : Quartermeister가 보여주는 것처럼 버그가 아닙니다. 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몸을 평가할지 여부를 결정하는 연산자. normal의 bool경우 항상 동일한 결과를 반환하므로 정확히 하나가 평가되지만 사용자 정의 연산자의 경우 그러한 보장이 없습니다!

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 Automation API와 같은 COM API 및 IronPython 라이브러리와 같은 동적 API 및 HTML DOM (문서 개체 모델)에 대한 액세스를 단순화합니다.

동적 유형은 대부분의 상황에서 유형 객체처럼 작동합니다. 그러나 동적 형식의 식을 포함하는 작업은 컴파일러에서 확인되거나 형식이 확인되지 않습니다.

컴파일러는 동적 유형의 표현식이 포함 된 연산을 유형 검사하거나 확인하지 않으므로 TryParse().