为何在Swift中传入非抛出闭包时，Sequence.map()和RangeReplaceableCollection.filter()无需try即可调用？

嘿，这个问题问到点子上了，刚好戳中Swift错误处理里一个非常实用的设计细节——咱们拆开慢慢说：

首先得抓住两个核心点：泛型错误类型的自动推断和**rethrows关键字**，这就是你看到的行为背后的原因。

先聊Sequence.map()的情况 #

你贴出的map签名是这样的：

func map<T, E>(_ transform: (Self.Element) throws(E) -> T) throws(E) -> [T] where E : Error

这里的E是一个泛型错误类型，Swift会根据你传入的闭包自动推断它的具体类型。当你传入像{ $0 * 2 }这种完全不会抛出错误的闭包时，编译器会把E推断为Never——Never是Swift里的特殊类型，代表“永远不会发生的场景”，自然也包括永远不会抛出错误。

而声明为throws(Never)的函数，在Swift类型系统里等价于非抛出函数，因为它根本没有抛出错误的可能。所以这时候调用map完全不需要try，就跟调用普通函数一样自然。

再看RangeReplaceableCollection.filter()的情况 #

filter的签名用了rethrows关键字：

func filter(_ isIncluded: (Self.Element) throws -> Bool) rethrows -> Self

rethrows是Swift专门为高阶函数设计的特性，规则特别直白：

• 如果你传入的闭包会抛出错误，那filter就会跟着变成抛出函数，你必须用try来调用；
• 如果你传入的闭包不会抛出错误，那filter就自动退化为非抛出函数，完全不需要try。

这就是为什么你用{ $0 % 2 == 1 }这种非抛出闭包调用filter时，不用加try的原因——编译器会根据闭包的类型，自动调整filter的抛出特性。

语言规范里的明确定义 #

这种行为在Swift语言参考的错误处理章节有清晰说明：

• rethrows函数被定义为“条件抛出函数”，它是否抛出完全依赖于传入的闭包参数；
• 对于带泛型错误类型的函数，当错误类型被推断为Never时，函数的抛出特性会被“消解”，直接等同于非抛出函数。

这种设计的初衷是让Swift的API既能灵活支持错误处理场景，又能在不需要抛出的情况下保持代码简洁，不用写冗余的try。

内容来源于stack exchange