Swift中如何将print函数作为参数传递给forEach方法？

核心原因：函数重载歧义与可变参数的本质 #

直接传入print给forEach失败，并非参数逆变规则不生效，而是因为print的函数签名和forEach的参数要求存在结构上的不匹配：

1. print的重载签名
   Swift标准库中print的核心签名是：

   public func print(_ items: Any..., separator: String = " ", terminator: String = "\n")
   

   这里的Any...是可变参数，本质等价于接收一个[Any]类型的参数（搭配两个带默认值的可选字符串参数）。当你直接写forEach(print)时，编译器需要将print匹配到(Int) throws -> Void类型，但可变参数函数的参数结构是“任意数量的输入”，而forEach要求的是“单个Int输入”，编译器无法自动完成这种结构转换。

2. 参数逆变的适用范围
   你提到的参数逆变规则仅适用于单个参数的函数类型：如果有函数func f(_: Any) {}，它可以替代(Int) -> Void类型的参数，因为Any是Int的超类型。但print的第一个参数是可变参数Any...，不是单个Any，所以逆变规则不适用——可变参数对应的是“多参数集合”，而非“单个参数”，两者不属于同一类参数结构。

3. 变通方案有效的原因

   • 闭包{ print($0) }明确传递单个Int参数给print，编译器会自动选择print的重载版本（将单个参数打包为可变参数数组），同时闭包自身的类型就是(Int) -> Void，完全匹配forEach的要求。
   • 自定义printInt函数的签名(Int) -> Void与forEach的参数类型完全一致，没有重载歧义，因此可以直接传入。

无额外变通的替代写法 #

不存在真正意义上的“直接类型转换”，但可以通过显式指定函数类型消除歧义：

let printSingle: (Any) -> Void = { print($0) }
[1,2,3].forEach(printSingle)

这本质上和闭包方案逻辑一致，只是通过显式类型标注让编译器明确选择适配单参数的print调用方式。

内容的提问来源于stack exchange，提问作者R u c k s a c k