Что ?[]? синтаксис в C #?

Пока я изучал делегат, который на самом деле является абстрактным классом Delegate.cs, я увидел следующий метод, в котором я не понимаю

• Почему возвращаемое значение использует, ?хотя это уже ссылочный ( класс ) тип
• ?[]? смысл по параметру

Могли бы вы объяснить?

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

Пошаговое объяснение:

params Delegate?[] delegates - это массив обнуляемый Delegate

params Delegate?[]? delegates - весь массив может быть обнуляемым

Поскольку каждый параметр имеет тип, Delegate?а вы возвращаете индекс Delegate?[]?массива, то имеет смысл, что возвращаемый тип - это Delegate?иначе, компилятор вернет ошибку, как если бы вы выполняли ретрансляцию, и intиз метода, который возвращает строку.

Например, вы можете изменить свой код, чтобы он возвращал такой Delegateтип:

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 # 8.0, они не существуют раньше.

Это вопрос документации и того, как создаются предупреждения во время компиляции.

Исключение «объект не установлен как экземпляр объекта» является довольно распространенным явлением. Но это исключение времени выполнения, его можно частично обнаружить уже во время компиляции.

Для регулирования Delegate dвы всегда можете позвонить

 d.Invoke();

это означает, что вы можете кодировать его, во время компиляции ничего не произойдет. Это может вызвать исключения во время выполнения.

Пока для нового Delegate? pэтот кодекс

 p.Invoke();

выдаст предупреждение компилятора. CS8602: Dereference of a possibly null reference если вы не напишите:

 p?.Invoke();

что значит, звоните только если не ноль.

Таким образом, вы документируете переменную может содержать ноль или нет. Он вызывает предупреждения раньше и может избежать нескольких тестов на ноль. То же самое, что у вас есть для int и int? Вы точно знаете, что одно не равно нулю - и вы знаете, как преобразовать одно в другое.

В C # 8 следует явно помечать ссылочные типы как обнуляемые.

По умолчанию эти типы не могут содержать ноль, что-то вроде типов значений. Хотя это не меняет того, как все работает под капотом, проверка типов потребует, чтобы вы делали это вручную.

Данный код подвергается рефакторингу для работы с C # 8, но он не получает преимущества от этой новой функции.

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

Вот пример обновленного кода (не работает, просто идея), использующего эту функцию. Это спасло нас от нулевой проверки и немного упростило этот метод.

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