Cái gì? []? cú pháp trong C #?

Trong khi tôi đang nghiên cứu các đại biểu trong đó là thực sự là một lớp trừu tượng trong Delegate.cs, tôi thấy các phương pháp sau đây trong đó tôi không hiểu

• Tại sao giá trị trả về sử dụng ?mặc dù nó đã là loại tham chiếu ( lớp )
• ?[]? ý nghĩa của tham số

Bạn có thể giải thích?

public static Delegate? Combine(params Delegate?[]? delegates)
{
    if (delegates == null || delegates.Length == 0)
        return null;

    Delegate? d = delegates[0];
    for (int i = 1; i < delegates.Length; i++)
        d = Combine(d, delegates[i]);

    return d;
}

Từng bước giải thích:

params Delegate?[] delegates - Nó là một mảng của nullable Delegate

params Delegate?[]? delegates - Toàn bộ mảng có thể là nullable

Vì mỗi tham số thuộc loại Delegate?và bạn trả về một chỉ mục của Delegate?[]?mảng, nên có nghĩa là kiểu trả về Delegate?nếu không trình biên dịch sẽ trả về lỗi như thể bạn đang giữ lại và inttừ một phương thức trả về một chuỗi.

Ví dụ, bạn có thể thay đổi mã của mình để trả về một Delegatekiểu như thế này:

public static Delegate Combine(params Delegate?[]? delegates)
{
    Delegate defaulDelegate = // someDelegate here
    if (delegates == null || delegates.Length == 0)
        return defaulDelegate;

    Delegate d = delegates[0] ?? defaulDelegate;
    for (int i = 1; i < delegates.Length; i++)
        d = Combine(d, delegates[i]);

    return d;
}

Các loại tham chiếu Nullable là mới trong C # 8.0, chúng không tồn tại trước đây.

Đó là vấn đề về tài liệu và cách cảnh báo tại thời điểm biên dịch được tạo ra.

Ngoại lệ "đối tượng không được đặt thành phiên bản của đối tượng" ngoại lệ là phổ biến yên tĩnh. Nhưng đây là một ngoại lệ thời gian chạy, nó có thể được phát hiện một phần tại thời điểm biên dịch.

Đối với một quy định Delegate dbạn luôn có thể gọi

 d.Invoke();

có nghĩa là, bạn có thể mã nó, tại thời điểm biên dịch sẽ không có gì xảy ra. Nó có thể đưa ra ngoại lệ trong thời gian chạy.

Trong khi đối với một mã mới Delegate? pnày

 p.Invoke();

sẽ tạo ra một cảnh báo trình biên dịch. CS8602: Dereference of a possibly null reference trừ khi bạn viết:

 p?.Invoke();

có nghĩa là gì, chỉ gọi nếu không null.

Vì vậy, bạn tài liệu một biến có thể chứa null hoặc không. Nó đưa ra cảnh báo sớm hơn và nó có thể tránh được nhiều thử nghiệm cho null. Giống như những gì bạn có cho int và int?. Bạn biết chắc chắn, cái này không phải là null - và bạn biết làm thế nào để chuyển đổi cái này sang cái khác.

Trong C # 8, người ta nên đánh dấu rõ ràng các loại tham chiếu là nullable.

Theo mặc định, các loại đó không thể chứa null, tương tự như các loại giá trị. Mặc dù điều này không thay đổi cách mọi thứ hoạt động dưới mui xe, trình kiểm tra loại sẽ yêu cầu bạn thực hiện việc này một cách thủ công.

Mã đã cho được tái cấu trúc để hoạt động với C # 8, nhưng nó không được hưởng lợi từ tính năng mới này.

public static Delegate? Combine(params Delegate?[]? delegates)
{
    // ...[]? delegates - is not null-safe, so check for null and emptiness
    if (delegates == null || delegates.Length == 0)
        return null;

    // Delegate? d - is not null-safe too
    Delegate? d = delegates[0];
    for (int i = 1; i < delegates.Length; i++)
        d = Combine(d, delegates[i]);

    return d;
}

Dưới đây là một ví dụ về mã được cập nhật (không hoạt động, chỉ là một ý tưởng) tận dụng tính năng này. Nó đã cứu chúng tôi khỏi kiểm tra null và đơn giản hóa phương pháp này một chút.

public static Delegate? Combine(params Delegate[] delegates)
{
    // `...[] delegates` - is null-safe, so just check if array is empty
    if (delegates.Length == 0) return null;

    // `d` - is null-safe too, since we know for sure `delegates` is both not null and not empty
    Delegate d = delegates[0];

    for (int i = 1; i < delegates.Length; i++)
        // then here is a problem if `Combine` returns nullable
        // probably, we can add some null-checks here OR mark `d` as nullable
        d = Combine(d, delegates[i]);

    return d;
}