使用`guard`提早退出而不输入`return` - 只能使用`Never`？

Question

Swift 的guard 声明非常适合提前退出。在某些情况下，除了使用return 退出之外，我们可能还想执行一个调用。

final class AppCoordinator {
    func showApplePaySplash() -> Void { /* some presentation logic */ }
}

final class OnboardingCoordinator {
    init(settings: Settings, parent: AppCoordinator) {
        // This code should probably use a `switch` statement and not `guard`, but I am curious about this
        guard settings.hasSeenApplePaySplash else { 
            parent.showApplePaySplash() // method returning `Void`
            return
        }
        // Some more logic...
    }
}

我很好奇的是是否可以缩短语法：

guard settings.hasSeenApplePaySplash else { 
    parent.showApplePaySplash()
    return
}

由于这是在 init 中，我们不能写：

guard settings.hasSeenApplePaySplash else { 
    return parent.showApplePaySplash() // compilation error: `'nil' is the only return value permitted in an initializer`
}

我们当然可以把四行改成这个oneliner：

guard settings.hasSeenApplePaySplash else { parent.showApplePaySplash(); return }

恕我直言，读起来非常好。但我仍然想摆脱那个return（因为我很好奇它是否可能。不需要告诉我：“只使用return man”）。

在另一种情况下，我们想guard 反对一些未定义的不良行为/状态：

guard index < myArray.count else { fatalError("Array out of bounds exception, did you think about X, Y, Z?") }

我们不需要写return，因为fatalError方法返回了特定类型Never。

注意：此处以下的代码只是出于好奇而进行的实验，因为它是糟糕的 Swift 代码：

如果我们可以更改以下签名：

func showApplePaySplash() -> Void

使用Never，像这样：

func showApplePaySplash() -> Never

然后我们可以替换：

guard settings.hasSeenApplePaySplash else { parent.showApplePaySplash(); return }

这就是我很好奇的，再一次，不是首选或认可： 只需：

guard settings.hasSeenApplePaySplash else { parent.showApplePaySplash() }

但Never 没有任何初始化程序。似乎创建Never 的唯一可能性是使用诸如fatalError 之类的方法来创建崩溃。

我通过@guy-daher 找到了这个execellent SO answer - 可以替换fatalError，从而可以在测试中“捕获”它。但是它使用了waitForExpectations(timeout: 0.1)，这在测试套件之外是不可能的？

所以Never 在这里可能没有帮助。 Pre Swift 4 (pre Swift 3?) 有一个名为@noreturn 的函数注释，它似乎可以提供帮助？

有什么方法可以实现吗？ :)

Answer 1

Never is the new @noreturn 和@noreturn 意味着在函数返回后执行实际上不可能继续。 Never 的重点恰恰在于它是一种无人居住的类型，不可能创建它的实例。

Never（和之前的@noreturn）对编译器有特殊的意义：当你调用一个“从不返回”的函数时，编译器不必假设在函数调用，并且可以在假设代码永远不会执行的情况下执行优化。在实践中，LLVM 在调用后添加一个陷阱指令（如 x86 上的 ud2）以确保如果函数确实返回则程序崩溃。

您可以执行以下操作之一：

• 将init?更改为init(...) throws，使parent.showApplePaySplash()返回Error，并在guard子句中使用throw parent.showApplePaySplash()；
• 与init 和平相处并返回nil；
• 将init设为私有，并使用class func来创建您的对象（恕我直言，这是最好的风格，因为我的理念是初始化程序通常只应确保对象是自洽的，并且与应该在另一个级别上确保其他状态）。

Answer 2

为什么不使用 defer 来指定退出清理代码？

final class OnboardingCoordinator {
    init(settings: Settings, parent: AppCoordinator) {
        defer {
            parent.showApplePaySplash() // method returning `Void`
        }
        guard settings.hasSeenApplePaySplash else { 
            return
        }
        // Some more logic...
    }
}