Mengapa kondisi (null ||! TryParse) ini menghasilkan "penggunaan variabel lokal yang tidak ditetapkan"?

Kode berikut menghasilkan penggunaan variabel lokal "numberOfGroups" yang tidak ditetapkan :

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

Namun, kode ini berfungsi dengan baik (meskipun, ReSharper mengatakan = 10itu berlebihan):

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

Apakah saya melewatkan sesuatu, atau kompiler tidak menyukai saya ||?

Saya telah mempersempit ini menjadi dynamicpenyebab masalah ( optionsadalah variabel dinamis dalam kode saya di atas). Pertanyaannya masih ada, mengapa saya tidak bisa melakukan ini ?

Kode ini tidak dapat dikompilasi:

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
}

Namun, kode ini tidak :

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
}

Saya tidak menyadari dynamicakan menjadi faktor dalam hal ini.

Saya cukup yakin ini adalah bug kompiler. Temuan bagus!

Sunting: ini bukan bug, seperti yang ditunjukkan Quartermeister; dynamic mungkin menerapkan trueoperator aneh yang mungkin menyebabkan ytidak pernah diinisialisasi.

Ini repro minimal:

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

Saya tidak melihat alasan mengapa itu ilegal; jika Anda mengganti dynamic dengan bool, itu akan dikompilasi dengan baik.

Saya sebenarnya akan bertemu dengan tim C # besok; Saya akan menyebutkannya kepada mereka. Maaf atas kesalahannya!

Mungkin saja variabel tidak ditetapkan jika nilai ekspresi dinamis adalah tipe dengan operator yang kelebihan bebantrue .

The ||Operator akan memanggil trueoperator untuk memutuskan apakah untuk mengevaluasi sisi kanan, dan kemudian ifpernyataan akan memanggil trueoperator untuk memutuskan apakah untuk mengevaluasi tubuhnya. Untuk normal bool, ini akan selalu mengembalikan hasil yang sama sehingga tepat satu akan dievaluasi, tetapi untuk operator yang ditentukan pengguna tidak ada jaminan seperti itu!

Membangun dari repro Eric Lippert, berikut adalah program singkat dan lengkap yang menunjukkan kasus di mana tidak ada jalur yang akan dieksekusi dan variabel akan memiliki nilai awalnya:

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

Dari MSDN (penekanan saya):

Jenis dinamis memungkinkan operasi yang terjadi untuk melewati pemeriksaan jenis waktu kompilasi . Sebaliknya, operasi ini diselesaikan pada waktu proses . Tipe dinamis menyederhanakan akses ke COM API seperti Office Automation API, dan juga ke API dinamis seperti pustaka IronPython, dan HTML Document Object Model (DOM).

Tipe dinamis berperilaku seperti objek tipe dalam banyak situasi. Namun, operasi yang berisi ekspresi tipe dinamis tidak diselesaikan atau tipe diperiksa oleh kompilator.

Karena kompilator tidak memeriksa atau menyelesaikan operasi apa pun yang berisi ekspresi tipe dinamis, ia tidak dapat memastikan bahwa variabel akan ditetapkan melalui penggunaan TryParse().