Чому це (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; 
    }
}

Я не бачу причин, чому це повинно бути незаконним; якщо замінити динамічний на bool, він компілюється просто чудово.

Я фактично зустрічаюся з командою C # завтра; Я їм про це згадаю. Вибачення за помилку!

Неможливо призначити змінну, якщо значення динамічного виразу має тип із перевантаженим trueоператором .

||Оператор буде викликати trueоператор , щоб вирішити , слід оцінювати праву, а потім ifоператор буде викликати trueоператор , щоб вирішити , слід оцінювати своє тіло. У звичайному випадку boolвони завжди повертатимуть однаковий результат, і тому буде оцінено саме один, але для визначеного користувачем оператора така гарантія відсутня!

Опираючись на доказ Еріка Ліпперта, ось коротка і повна програма, яка демонструє випадок, коли жоден шлях не буде виконаний, а змінна матиме початкове значення:

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 (курсив мій):

Динамічний тип дозволяє операціям, у яких виникає, обійти перевірку типу компіляції . Натомість ці операції вирішуються під час виконання . Динамічний тип спрощує доступ до COM API, таких як API автоматизації Office, а також до динамічних API, таких як бібліотеки IronPython, та до об'єктної моделі документа HTML (DOM).

Динамічний тип в більшості випадків поводиться як об’єкт типу. Однак операції, що містять вирази типу dynamic, не вирішуються або перевіряються типом компілятором.

Оскільки компілятор не вводить перевірку типу та не вирішує будь-які операції, що містять вирази типу dynamic, він не може гарантувати, що змінній буде призначено за допомогою TryParse().