Scala 3中的?=>符号具体是什么含义？

?=>是Scala 3正式引入的上下文函数（Context Function）类型语法糖，用于简化描述依赖上下文参数（原隐式参数）的函数类型。

核心规则 #

• 类型等价关系：单个上下文参数的场景下，A ?=> B 完全等价于 (using A) => B，表示该函数需要一个类型为A的上下文参数执行，最终返回B类型结果
• 多上下文参数支持：如果函数依赖多个上下文参数，可写作 (A, B, C) ?=> R，等价于(using A, B, C) => R
• 支持嵌套上下文类型：可以和普通函数类型组合使用，比如A ?=> B ?=> C等价于(using A) => (using B) => C

典型使用示例 #

// 模拟一个需要Db上下文的查询方法
def queryUser(userId: Long)(using Db): User = ???

// 定义接收上下文函数的高阶方法
def withDb[T](dbConfig: DbConfig)(op: Db ?=> T): T =
  val db = Db.connect(dbConfig)
  try op(using db) finally db.close()

// 调用时无需显式声明Db参数，编译器会自动注入上下文中的Db实例
withDb(prodDbConfig) {
  // 当前作用域已经自动存在Db类型的上下文参数，可以直接调用queryUser
  val user = queryUser(1001)
  println(user.name)
}

和普通函数类型的区别 #

• 普通函数A => B：调用时必须手动传入A类型的普通参数
• 上下文函数A ?=> B：调用时无需手动传参，编译器会自动从当前作用域查找匹配类型的上下文参数完成注入

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