Помилка компілятора Swift: У випадку "enum" є один кордон як пов'язане значення, але тут є кілька шаблонів.

Створюючи проект у Xcode 11.4 beta 3, я отримую цю помилку компілятора Swift на перелік:

У випадку перерахунку є один кортеж як пов’язане значення, але тут є декілька шаблонів, які неявно переплітають шаблони та намагаються відповідати цьому

Вихідний код:

switch result {
case .error(let err):
    //
case .value(let staff, let locations):  // <-- error on this line
    //
}

Resultє загальним перерахуванням із пов'язаними значеннями для .errorта .value. У цьому випадку асоційоване значення є tupple.

public enum Result<T> {
    case value(T)
    case error(Error)
}

Не пригадайте, як бачили цю помилку раніше, і пошук її не дав жодних результатів. Будь-які ідеї?

Я виявив, що ви можете також заглушити цю помилку, обробляючи пов’язане значення більше як кортеж, загортаючи його в додатковий набір дужок:

switch result {
case .error(let err):
    //
case .value((let staff, let locations)):  
    //
}

Гаразд, зрозумів це. Схоже, що enumз пов’язаними значеннями, де тип значення є tupple, більше не може відповідати оператору перемикача таким чином:

// Works on Xcode 11.3.1, yields error on 11.4 (Swift 5.2)
switch result {
case .error(let err):
    //
case .value(let staff, let locations):  
    //
}

Рішення

Значення з tupple повинні бути вилучені вручну в Xcode 11.4 (Swift 5.2):

// Works on Xcode 11.4
switch result {
case .error(let err):
    //
case .value(let tupple):  
    let (staff, locations) = tupple
    // 
}

Це відома проблема: https://developer.apple.com/documentation/xcode_release_notes/xcode_11_4_release_notes

Код, який спирається на компілятор, який автоматично перетворює шаблон, може призвести до помилки компілятора під час оновлення до Xcode 11.4, навіть незважаючи на те, що код, складений раніше. (58425942)

Наприклад, вимикання круглих дужок при включенні опціонального типу кортежу викликає помилку компілятора:

switch x { // error: switch must be exhaustive
case .some((let a, let b), let c): // warning: the enum case has a
     // single tuple as an associated value, but there are several
     // patterns here, implicitly tupling the patterns and trying
     // to match that instead
...

}

Обхід : Додайте додаткові дужки, щоб явно змінити шаблон:

switch x {
case .some(((let a, let b), let c)): // Notice the extra pair of parentheses.
...

}

Якщо я можу, я хотів би додати відповідь і для if caseверсії.

if case let .value(staff, error) = result {
    // Do something
}

а потім, звичайно, ігнорування випадку:

if case let .value(staff, _) = result {
    // Do something
}