获取Scala3宏中的类型信息

Question

我正在努力获取 Scala3 宏实现中的类型信息。我会通过代码来解释问题。

这里是应用逻辑：

object BlockServiceImpl extends BlockService:
  def authenticateUser0() = new ServiceCall[AuthUser,AuthUserResponse]:
     def invoke(request: AuthUser): Future[AuthUserResponse] = 
       println("BlockServiceImpl authenticateUser0 called")
       Future.successful(AuthUserResponse("test"))   

现在，对于我想借助宏创建端点的逻辑。

defineRoute("POST","/v1/block",BlockServiceImpl.authenticateUser0)

这是内联方法：

inline def defineRoute[Q: RootJsonFormat ,R: RootJsonFormat](method: String, uri: String,inline call: () =>  ServiceCall[Q,R]): AkkaHttpCall = ${ methodImpl[Q,R]('uri, 'call)}

这是宏的实现：

def methodImpl[Q: Type,R: Type](uri: Expr[String],expr: Expr[Function0[ServiceCall[Q,R]]])(using ctx: Quotes): Expr[AkkaHttpCall] = ...

如何在编译时的宏扩展过程中获取Q 是AuthUser 类型的信息？

Answer 1

一种可能的解决方案是在引用的表达式上使用模式匹配。

例如，您可以定义一个用于检索编译时类型的方法：

def tag[A <: AnyKind] = throw new IllegalStateException("use it only to pattern match types")

然后，在宏扩展中，您可以执行模式匹配：

'{ tag[Q] } match {
      case '{ tag[AuthUser] } => // here I am sure that Q is AuthUser, since Q is matched with AuthUser
}

这是一个非常巧妙的技巧（并且不是很可扩展，因为您必须添加每种类型）所以请对我所说的一切持保留态度...我认为存在一个更清晰的解决方案取决于您的特定应用程序逻辑 :)

Answer 2

在函数中绑定参数的类型可以通过多种方式实现。

---

当使用像这样的泛型参数时：[T : Type] 我们正在给一个类型起别名

对于许多应用程序，包括您的应用程序，限制我们的泛型参数的类型可能是有益的。

---

有两个主要界限，一个“上限”和一个“下限”。

“上限”例如[T <: U] 指定 T 必须是 U 类型，或者是 U 的子类

“下限”例如[T >: U] 指定 T 必须是 U 类型，或者是 U 的超类

可以通过先指定下限然后指定上限来限制两个边界，例如[T >: Cat <: Animal]

Answer 3

如果 Q 和 R 是特殊情况（NotUsed、Done、..），我已经解决了这个问题。这个想法来自 Lagom 框架。