何时以及如何在 Swift 中使用 @noreturn 属性？

Question

我在guard-else 流的上下文中读取了关键字else 后面的花括号括起来的代码块，必须调用标记为noreturn 属性的函数或使用return、break 传输控制权, continue 或 throw.

后半部分比较清楚，前半部分不太明白。

首先，任何函数都会返回一些东西（至少是一个空元组），即使你没有声明任何返回类型。其次，我们什么时候可以使用noreturn 函数？建议某些核心内置方法的文档是否标有noreturn？

guard 语句的 else 子句是必需的，并且必须调用 用 noreturn 属性或传输程序标记的函数 使用其中之一控制守卫语句的封闭范围之外 以下陈述：

return

break

continue

throw

这里是source。

Answer 1

例如，考虑在结果类型中返回值或错误的异步操作。我们通常这样写。

enum Result<Value, Error> {
    case success(Value)
    case failure(Error)
}

func fetch(_ request: URLRequest,
          completion: (Result<(URLResponse, Data), Error>) -> Void) {
    // ...
}

现在，如果你知道一个函数总是返回值，从不出错，那么我们可以这样写：

func alwaysSucceeds(_ completion: (Result<String, Never>) -> Void) {
    completion(.success("yes!"))
}

当编译器看到 Never 时，它不会强迫你将所有的 switch 用例写得详尽，所以你可以跳过 .failure，如下所示。

alwaysSucceeds { (result) in
    switch result {
    case .success(let string):
        print(string)
    }
}

参考：https://nshipster.com/never/

Answer 2

首先，任何函数都会返回一些东西（至少是一个空元组），即使你没有声明任何返回类型。

（@noreturn 已过时；请参阅下面的 Swift 3 更新。） 不，有些函数会立即终止进程 并不返回给调用者。这些在 Swift 中标记 用@noreturn，比如

@noreturn public func fatalError(@autoclosure message: () -> String = default, file: StaticString = #file, line: UInt = #line)
@noreturn public func preconditionFailure(@autoclosure message: () -> String = default, file: StaticString = #file, line: UInt = #line)
@noreturn public func abort()
@noreturn public func exit(_: Int32)

可能还有更多。

(备注：类似的注解存在于其他编程语言中 或编译器，例如 C++11 中的 [[noreturn]]，作为 GCC 扩展的 __attribute__((noreturn))，或用于 Clang 编译器。）

你可以用@noreturn标记你自己的函数，如果它也终止了 该过程无条件，例如通过调用内置函数之一，例如

@noreturn func myFatalError() {
    // Do something else and then ...
    fatalError("Something went wrong!")
}

现在您可以在 guard 语句的 else 子句中使用您的函数：

guard let n = Int("1234") else { myFatalError() }

@noreturn 函数也可用于标记“不应该 发生”并表示编程错误。一个简单的例子 （摘自Missing return UITableViewCell）：

override func tableView(tableView: UITableView, cellForRowAtIndexPath indexPath: NSIndexPath) -> UITableViewCell {
    let cell: MyTableViewCell

    switch (indexPath.row) {
    case 0:
        cell = tableView.dequeueReusableCellWithIdentifier("cell0", forIndexPath: indexPath) as! MyTableViewCell
        cell.backgroundColor = UIColor.greenColor()
    case 1:
        cell = tableView.dequeueReusableCellWithIdentifier("cell1", forIndexPath: indexPath) as! MyTableViewCell
        cell.backgroundColor = UIColor.redColor()
    default:
        myFatalError()
    }
    // Setup other cell properties ...
    return cell
}

如果没有将myFatalError() 标记为@noreturn，编译器将 抱怨默认情况下缺少返回。

---

更新： 在 Swift 3 (Xcode 8 beta 6) 中，@noreturn 属性 已经被 Never 返回类型替换了，所以上面的例子 现在应该写成

func myFatalError() -> Never  {
    // Do something else and then ...
    fatalError("Something went wrong!")
}

Answer 3

简单的游乐场，看看它是如何工作的......

//: Playground - noun: a place where people can play

import Foundation
@noreturn func foo() {
    print("foo")
    exit(1)
}

var i: Int?

guard let i = i else {
    foo()
}

print("after foo") // this line will never executed

//prints foo and finish