Що ?[]? синтаксис в 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();

що означає, дзвоніть лише якщо не нульовим.

Отже, ви документуєте змінну, може містити null чи ні. Він піднімає попередження раніше, і це дозволяє уникнути декількох тестів на нуль. Те саме, що у вас є для 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;
}