斯卡拉 3 : Create Expr[ Int => Int ]

Question

我在一个项目中使用 Scala3 宏，但我一直在创建函数的 Expr(和 ToExpr)。

我有这样的东西:

case class Foo(f : Int => Int)

given ToExpr[Foo] with {
    def apply(foo : Foo) = foo match {
        case Foo(f) => '{Foo(???)} // <-- here
    }
}

我不知道如何用 Expr[Int => Int] 来替换上面的 ???。

---

编辑:这是@GaelJ 的一些失败尝试

1)首先尝试

def apply(foo : Foo) = foo match {
  case Foo(f) =>
    val ff: Expr[Int => Int] = '{ (x: Int) => f.apply(x) }
    '{Foo($ff)}
}

给予:

|        val ff: Expr[Int => Int] = '{ (x: Int) => f.apply(x) }
|                                                  ^
|                             access to value f from wrong staging level:
|                              - the definition is at level 0,
|                              - but the access is at level 1.

2) 第二次尝试

def apply(foo : Foo) = foo match {
  case Foo(f) =>
    val ff: Expr[Int => Int] = '{ (x: Int) => ($f).apply(x) }
    '{Foo($ff)}
}

给予:

|        val ff: Expr[Int => Int] = '{ (x: Int) => ($f).apply(x) }
|                                                    ^
|                                              Found:    (f : Int => Int)
|                                              Required: quoted.Expr[Any]

Answer 1

这里是给定的“构建 block ”来构造新的ToExpr:scala3 docs ToExpr .据我所知，不可能为函数构造 ToExpr。