do, try, catch

Часть раздела Логика и управление потоком путешествия по Swift на Coddy — урок 45 из 56.

Полная форма обработки ошибок — это do/try/catch:

enum DivError: Error { case byZero }

func divide(_ a: Int, _ b: Int) throws -> Int {
    if b == 0 { throw DivError.byZero }
    return a / b
}

do {
    let r = try divide(10, 2)
    print(r)                      // 5
} catch DivError.byZero {
    print("can't divide by zero")
} catch {
    print("unknown error")
}

try ставится перед любым вызовом, который может выбросить ошибку. Если вызов выбрасывает ошибку, управление переходит к соответствующему catch; в противном случае выполнение продолжается после блока do.

Несколько блоков catch выполняются сверху вниз, и срабатывает первое совпадение, точно так же, как в switch. Пустой catch в конце является универсальным обработчиком; он почти всегда нужен, чтобы компилятор был доволен.

Задание

Легко

Определите перечисление ParseError: Error с тремя вариантами: empty, notInteger и negative.

Определите функцию, выбрасывающую ошибку, parsePositive(_ s: String) throws -> Int, которая:

Выбрасывает .empty, если s после удаления пробелов пуста
Выбрасывает .notInteger, если s не может быть преобразована в Int
Выбрасывает .negative, если полученное значение < 0
В противном случае возвращает полученное значение

Считайте одну строку из stdin и вызовите parsePositive в блоке do/catch. Выведите:

got: <n> в случае успеха
error: empty, error: not integer или error: negative для каждого случая

Для входных данных 42 результатом будет got: 42. Для пустой строки — error: empty. Для abc — error: not integer.

Шпаргалка

Обработка ошибок в Swift использует do/try/catch. Определяйте ошибки с помощью перечисления (enum), соответствующего протоколу Error, помечайте функции, которые могут выбрасывать ошибки, ключевым словом throws и используйте throw для вызова ошибки:

enum DivError: Error { case byZero }

func divide(_ a: Int, _ b: Int) throws -> Int {
    if b == 0 { throw DivError.byZero }
    return a / b
}

do {
    let r = try divide(10, 2)
    print(r)                      // 5
} catch DivError.byZero {
    print("can't divide by zero")
} catch {
    print("unknown error")        // универсальный перехватчик
}

try должен предшествовать каждому вызову, который может выбросить ошибку.
Блоки catch сопоставляются сверху вниз; срабатывает первое совпадение.
Обычный блок catch в конце действует как универсальный перехватчик для всех остальных ошибок.

Попробуйте сами

let line = readLine()!

// TODO: enum ParseError; func parsePositive(_:) throws -> Int;
// do/try/catch с тремя ветками плюс универсальный блок catch

Проверьте себя

В этом уроке есть небольшой тест. Начните урок, чтобы ответить на вопросы и сохранить прогресс.

Все уроки раздела Логика и управление потоком

1Строки в деталях

Подсчет и индексы Регистр и удаление пробелов Поиск в строках Разделение и объединение Замена подстрок Итоги — Проверка имени пользователя

4Множества

Создание множеств Объединение и пересечение Разность и симметрическая разность Подмножество и надмножество Итоги — Фильтр тегов

7Проект — Трекер привычек

Обзор проекта Отметить выполнение

Самая длинная серия

Еженедельная сетка

Сравнение недель

10Проект — Движок викторины

Обзор проекта Задаем вопросы

Мягкое оценивание

Фильтрация по категориям

Итоговый отчет

2Диапазоны и шаги

Закрытые и полуоткрытые Шаг Методы диапазонов Диапазоны в Switch Итоги: Сетка календаря

5Функции высшего порядка, ч. 1

Map Filter Reduce Цепочки map, filter, reduce Повторение: статистика слов

8Замыкания

Основы замыканий Последующие замыкания Захват значений Возврат замыканий Собственные функции высшего порядка Итоги — Pipeline Builder

11Финальные испытания

Группы анаграмм Агрегатор логов Калькулятор с историей

3Словари

Объявление словарей Безопасный поиск Обновление словарей Итерация по словарям Группировка значений Итоги — Инвентарь

6Функции высшего порядка, часть 2

compactMap flatMap sorted(by:)Создание конвейеров Повторение — Таблица лидеров

9Обработка ошибок

throws и Errordo, try, catchtry? и try!Проброс ошибок Повторение — Безопасный калькулятор