Swift中对推断函数类型用三元运算符为何出现类型歧义错误？

问题重现 #

在Xcode 16.2（对应Swift 6）的Playgrounds里，照搬官方《Swift编程语言文档》「函数类型作为返回类型」章节的代码时，会触发类型歧义错误：

func stepForward(_ input: Int) -> Int {
    return input + 1
}
func stepBackward(_ input: Int) -> Int {
    return input - 1
}
func chooseStepFunction(backward: Bool) -> (Int) -> Int {
    return backward ? stepBackward : stepForward // 报错：Type of expression is ambiguous without a type annotation.
}

解决办法 #

不用额外定义中间变量，有两种更简洁的修复方式：

1. 给分支函数显式指定类型

func chooseStepFunction(backward: Bool) -> (Int) -> Int {
    return backward ? stepBackward as (Int) -> Int : stepForward
}

2. 明确函数的并发隔离属性
   如果你的chooseStepFunction不需要在MainActor上下文执行，直接标记为nonisolated，和全局函数的并发上下文对齐：

nonisolated func chooseStepFunction(backward: Bool) -> (Int) -> Int {
    return backward ? stepBackward : stepForward
}

你之前用中间变量标注类型的方法也完全有效，本质都是通过明确类型消除编译器的歧义。

为什么会出现这个错误？ #

根源是Swift 6默认开启了严格并发检查，这个特性会把函数的并发隔离属性纳入类型判断逻辑：

• 全局函数默认是nonisolated，完整类型是nonisolated (Int) -> Int
• Playgrounds的默认代码上下文是@MainActor，所以没显式标注隔离属性的chooseStepFunction会被推断为@MainActor上下文，它的返回类型(Int)->Int会被隐式解析为@MainActor (Int)->Int

当你用三元运算符返回两个全局函数时，编译器需要把它们转换成返回要求的@MainActor类型，但因为没有明确的类型提示，编译器无法确定是否要做这个转换，于是抛出类型歧义错误。显式类型注解就是告诉编译器：把这两个函数统一转换成指定的类型，消除不确定性。

关于文档与Swift版本的说明 #

官方文档的这段代码是基于Swift 5.9及更早版本编写的，当时严格并发检查还不是默认选项，函数的并发隔离属性不会影响类型推断。随着Swift 6正式启用严格并发模式，文档内容没及时更新，才出现了代码和当前版本不兼容的情况。

在当前Swift 6的默认配置下，这类场景确实需要显式类型注解（或明确并发隔离属性）才能通过编译。

内容的提问来源于stack exchange，提问作者schifano