Tại sao điều kiện này (null ||! TryParse) lại dẫn đến “sử dụng biến cục bộ chưa được gán”?

Đoạn mã sau dẫn đến việc sử dụng biến cục bộ chưa được gán "numberOfGroups" :

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

Tuy nhiên, mã này hoạt động tốt (mặc dù, ReSharper nói rằng mã = 10này là thừa):

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

Tôi có thiếu một cái gì đó, hoặc là trình biên dịch không thích của tôi ||?

Tôi đã thu hẹp điều này để dynamicgây ra sự cố ( optionslà một biến động trong đoạn mã trên của tôi). Câu hỏi vẫn còn đó, tại sao tôi không thể làm điều này ?

Mã này không biên dịch:

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
}

Tuy nhiên, mã này thực hiện :

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
}

Tôi không nhận ra dynamicsẽ là một yếu tố trong việc này.

Tôi khá chắc chắn đây là một lỗi của trình biên dịch. Rất vui!

Chỉnh sửa: nó không phải là một lỗi, như Quartermeister chứng minh; động có thể triển khai một truetoán tử lạ có thể ykhông bao giờ được khởi tạo.

Đây là một repro tối thiểu:

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

Tôi không hiểu tại sao điều đó lại là bất hợp pháp; nếu bạn thay thế dynamic bằng bool, nó sẽ biên dịch tốt.

Tôi thực sự sẽ họp với nhóm C # vào ngày mai; Tôi sẽ đề cập nó với họ. Xin lỗi vì lỗi!

Biến có thể không được gán nếu giá trị của biểu thức động thuộc loại có toán tử được nạp chồngtrue .

Các ||nhà điều hành sẽ gọi các truenhà điều hành để quyết định xem có nên đánh giá phía bên tay phải, và sau đó iftuyên bố sẽ gọi các truenhà điều hành để quyết định có để đánh giá cơ thể của nó. Đối với thông thường bool, chúng sẽ luôn trả về cùng một kết quả và vì vậy chính xác một sẽ được đánh giá, nhưng đối với toán tử do người dùng định nghĩa thì không có gì đảm bảo như vậy!

Dựa trên repro của Eric Lippert, đây là một chương trình ngắn và đầy đủ thể hiện trường hợp không có đường dẫn nào sẽ được thực thi và biến sẽ có giá trị ban đầu:

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

Từ MSDN (tôi nhấn mạnh):

Kiểu động cho phép các hoạt động mà nó xảy ra để bỏ qua kiểm tra kiểu thời gian biên dịch . Thay vào đó, các hoạt động này được giải quyết tại thời điểm chạy . Loại động đơn giản hóa quyền truy cập vào các API COM như API tự động hóa Office và cũng như các API động như thư viện IronPython và vào Mô hình đối tượng tài liệu HTML (DOM).

Kiểu động hoạt động giống như đối tượng kiểu trong hầu hết các trường hợp. Tuy nhiên, các hoạt động có chứa biểu thức kiểu động không được giải quyết hoặc kiểu được trình biên dịch kiểm tra.

Vì trình biên dịch không gõ kiểm tra hoặc giải quyết bất kỳ hoạt động nào có chứa biểu thức kiểu động, nên nó không thể đảm bảo rằng biến sẽ được gán thông qua việc sử dụng TryParse().