Swift do-try-catch 语法

Question

我尝试理解 swift 2 中的新错误处理。这是我所做的：我首先声明了一个错误枚举：

enum SandwichError: ErrorType {
    case NotMe
    case DoItYourself
}

然后我声明了一个抛出错误的方法（不是异常。这是一个错误。）。这是那个方法：

func makeMeSandwich(names: [String: String]) throws -> String {
    guard let sandwich = names["sandwich"] else {
        throw SandwichError.NotMe
    }

    return sandwich
}

问题出在调用方。下面是调用这个方法的代码：

let kitchen = ["sandwich": "ready", "breakfeast": "not ready"]

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")
}

在do 行编译器说Errors thrown from here are not handled because the enclosing catch is not exhaustive 之后。但在我看来，这是详尽无遗的，因为SandwichError 枚举中只有两种情况。

对于常规的 switch 语句，swift 可以理解在处理每个案例时它是详尽的。

Answer 1

Swift 担心你的 case 语句没有涵盖所有情况，要修复它，你需要创建一个默认 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")
}

Answer 2

Swift 2 错误处理模型有两个重点：详尽性和弹性。总之，它们归结为您的 do/catch 语句需要捕获所有可能的错误，而不仅仅是您知道可以抛出的错误。

请注意，您没有声明函数可以抛出哪些类型的错误，只声明它是否抛出。这是一个零一无穷大的问题：作为一个定义一个函数供他人（包括你未来的自己）使用的人，你不希望你的函数的每个客户端都适应你的实现中的每一个变化函数，包括它可能抛出的错误。您希望调用您的函数的代码能够适应这种变化。

因为你的函数不能说它会抛出什么样的错误（或者将来可能会抛出），所以捕获它错误的catch 块不知道它可能会抛出什么样的错误。因此，除了处理您知道的错误类型之外，您还需要使用通用的catch 语句来处理您不知道的错误类型——这样，如果您的函数更改了它在未来抛出的错误集，调用者将仍然捕获它的错误。

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 let error {
    print(error.localizedDescription)
}

但我们不要止步于此。再想一想这种弹性的想法。你设计三明治的方式，你必须在你使用它们的每个地方描述错误。这意味着，每当您更改错误案例集时，您都必须更改使用它们的每个地方……这不是很有趣。

定义自己的错误类型背后的想法是让您集中处理类似的事情。你可以为你的错误定义一个description 方法：

extension SandwichError: CustomStringConvertible {
    var description: String {
        switch self {
            case NotMe: return "Not me error"
            case DoItYourself: return "Try sudo"
        }
    }
}

然后您的错误处理代码可以要求您的错误类型进行自我描述——现在您处理错误的每个地方都可以使用相同的代码，并且也可以处理未来可能出现的错误情况。

do {
    let sandwich = try makeMeSandwich(kitchen)
    print("i eat it \(sandwich)")
} catch let error as SandwichError {
    print(error.description)
} catch {
    print("i dunno")
}

这也为错误类型（或它们的扩展）铺平了道路，以支持其他报告错误的方式 - 例如，您可以在错误类型上添加一个知道如何呈现 UIAlertController 来报告错误的扩展iOS 用户出错。

Answer 3

我怀疑这只是尚未正确实施。 Swift Programming Guide 绝对似乎暗示编译器可以“像 switch 语句”一样推断出详尽的匹配。它没有提到需要一个通用的catch 才能做到详尽。

您还会注意到错误出现在try 行，而不是块的末尾，即在某些时候编译器将能够查明块中的哪个try 语句具有未处理的异常类型。

虽然文档有点模棱两可。我浏览了“Swift 中的新功能”视频，但找不到任何线索；我会继续努力的。

更新：

我们现在升级到 Beta 3，没有任何 ErrorType 推断的迹象。我现在相信，如果这是计划好的（我仍然认为是在某个时候），协议扩展上的动态调度可能会扼杀它。

Beta 4 更新：

Xcode 7b4 添加了对Throws: 的文档注释支持，“应该用来记录可以抛出哪些错误以及为什么会抛出错误”。我想这至少提供了 some 机制来将错误传达给 API 使用者。当你有文档时谁需要类型系统！

另一个更新：

在花了一些时间希望自动进行 ErrorType 推理并弄清楚该模型的局限性之后，我改变了主意 - this 是我希望 Apple 实现的。本质上：

// 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 的错误处理原理现已提供 here。在swift-evolution 邮件列表上也有一些有趣的讨论。从本质上讲，John McCall 反对类型错误，因为他认为大多数库最终都会包含一个通用错误案例，并且类型错误不太可能在样板代码之外增加太多代码（他使用了“抱负虚张声势”这个词）。 Chris Lattner 表示，如果 Swift 3 可以与弹性模型一起使用，他对输入错误持开放态度。

Answer 4

我也对缺少函数可以抛出的类型感到失望，但感谢@rickster，我现在明白了，我会这样总结：假设我们可以指定函数抛出的类型，我们会有一些东西像这样：

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 的函数的任何其他地方

Answer 5

像这样创建枚举：

//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...")
}

Answer 6

enum NumberError: Error {
  case NegativeNumber(number: Int)
  case ZeroNumber
  case OddNumber(number: Int)
}

extension NumberError: CustomStringConvertible {
         var description: String {
         switch self {
             case .NegativeNumber(let number):
                 return "Negative number \(number) is Passed."
             case .OddNumber(let number):
                return "Odd number \(number) is Passed."
             case .ZeroNumber:
                return "Zero is Passed."
      }
   }
}

 func validateEvenNumber(_ number: Int) throws ->Int {
     if number == 0 {
        throw NumberError.ZeroNumber
     } else if number < 0 {
        throw NumberError.NegativeNumber(number: number)
     } else if number % 2 == 1 {
         throw NumberError.OddNumber(number: number)
     }
    return number
}

现在验证号码：

 do {
     let number = try validateEvenNumber(0)
     print("Valid Even Number: \(number)")
  } catch let error as NumberError {
     print(error.description)
  }