Синтаксис Swift do-try-catch

Я подозреваю, что это просто еще не реализована должным образом. Элемент Swift Руководство По Программированию определенно, похоже, подразумевается, что компилятор может выводить исчерпывающие соответствия "как оператор switch". Он не упоминает о необходимости генерала catch чтобы быть исчерпывающим.

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

документация немного неоднозначна, хотя. Я просмотрел видео "Что нового в Swift" и не смог найти никаких подсказок; я буду продолжать пытаться.

обновление:

теперь мы до бета-версии 3 без намека на вывод типа ErrorType. Теперь я считаю, что если это когда-либо планировалось (и я все еще думаю, что это было в какой-то момент), динамическая отправка по расширениям протокола, вероятно, убила его.

бета 4 Обновление:

Xcode 7b4 добавлена поддержка комментариев doc для Throws:, который "должен использоваться для документирования того, какие ошибки могут быть выброшены и почему". Я думаю, это по крайней мере обеспечивает некоторые механизм для передачи ошибок потребителям API. Кому нужна система типов, когда у вас есть документация!

другие новости:

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

// allow us to do this:
func myFunction() throws -> Int

// or this:
func myFunction() throws CustomError -> Int

// but not this:
func myFunction() throws CustomErrorOne, CustomErrorTwo -> Int

Обновление

теперь доступно обоснование обработки ошибок Apple здесь. Также были некоторые интересные обсуждения по swift-evolution список рассылки. По сути, Джон Макколл выступает против типизированных ошибок, потому что он считает, что большинство библиотек в конечном итоге будут включать общий случай ошибки во всяком случае, и эти типизированные ошибки вряд ли добавят много к коду, кроме шаблонного (он использовал термин "желательный блеф"). Крис Латтнер сказал, что он открыт для типизированных ошибок в Swift 3, если он может работать с моделью устойчивости.

Swift беспокоится, что ваш оператор case не охватывает все случаи, чтобы исправить это, вам нужно создать случай по умолчанию:

do {
    let sandwich = try makeMeSandwich(kitchen)
    print("i eat it \(sandwich)")
} catch SandwichError.NotMe {
    print("Not me error")
} catch SandwichError.DoItYourself {
    print("do it error")
} catch Default {
    print("Another Error")
}

Я также был разочарован отсутствием функции типа A, но теперь я получаю ее благодаря @rickster, и я подытожу ее следующим образом: допустим, мы можем указать тип функции a, у нас будет что-то вроде этого:

enum MyError: ErrorType { case ErrorA, ErrorB }

func myFunctionThatThrows() throws MyError { ...throw .ErrorA...throw .ErrorB... }

do {
    try myFunctionThatThrows()
}
case .ErrorA { ... }
case .ErrorB { ... }

проблема в том, что даже если мы ничего не меняем в myFunctionThatThrows, если мы просто добавим случай ошибки в MyError:

enum MyError: ErrorType { case ErrorA, ErrorB, ErrorC }

мы облажались, потому что наш do / try / catch больше не является исчерпывающим, а также любым другим место, где мы вызвали функции, которые бросают MyError

создать перечисление следующим образом:

//Error Handling in swift
enum spendingError : Error{
case minus
case limit
}

создать метод, как:

 func calculateSpending(morningSpending:Double,eveningSpending:Double) throws ->Double{
if morningSpending < 0 || eveningSpending < 0{
    throw spendingError.minus
}
if (morningSpending + eveningSpending) > 100{
    throw spendingError.limit
}
return morningSpending + eveningSpending
}

Теперь проверьте ошибка есть или нет и обрабатывать его:

do{
try calculateSpending(morningSpending: 60, eveningSpending: 50)
} catch spendingError.minus{
print("This is not possible...")
} catch spendingError.limit{
print("Limit reached...")
}