Swift 返回可选值的泛型函数使用as?转换无法编译的原因是什么

问题原因解析 #

这是Swift泛型参数推断的规则限制，第一种写法的类型约束无法传递到泛型函数的调用上下文，编译器无法确定泛型参数T的具体类型，因此编译失败。

三种写法的类型推断逻辑拆解 #

你定义的泛型函数get<T>() -> T?的泛型参数T没有内置默认类型，编译器必须从调用时的上下文获取足够的类型约束，才能确定T的具体类型完成编译：

• 第一种写法（编译失败）：if let x = get() as? Int
  该语句的执行顺序是先调用get()获取返回值，再对返回值执行as? Int可选向下转型。as? Int是对get()的输出结果做的后续操作，不会反向给get()的返回类型添加约束。因此调用get()时，编译器没有任何信息可以推断T的类型，直接抛出泛型参数无法推断的错误。
• 第二种写法（编译成功）：if let x = get() as Int?
  这里的as Int?是直接指定get()的返回值类型为Int?，相当于给泛型函数的返回值T?明确了类型约束，编译器可以直接推导得出T = Int，满足泛型参数的推断要求。
• 第三种写法（编译成功）：if let x: Int? = get()
  这里直接给接收变量x声明了Int?类型，等于给get()的返回值明确了匹配目标，编译器可以通过T?要和Int?类型匹配的规则，推导得出T = Int，因此可以正常编译。

如果想要使用和第一种写法类似的风格，可以调整为if let x = (get() as Any?) as? Int，但这种写法会多一层Any的装箱拆箱，性能和可读性都不如后两种官方推荐的写法。

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