我正在尝试使用 Scala 3 宏和 TASTY 重写方法。我想重写任何类型的任何方法。现在我从这个简单的案例开始。
我有一个测试基类:
class TestClass {
def func(s: String) = "base"
}
Run Code Online (Sandbox Code Playgroud)
我想实现这一点,但是通过使用 TASTY,我发现不可能调用new A带有引号和拼接的泛型类型:
'{
new TestClass() {
override def func(s: String) = "override"
}
}.asExprOf[A]
Run Code Online (Sandbox Code Playgroud)
我打印了上述代码的 AST,并且几乎成功地重新创建了它。问题是我无法调用new生成的类 - 我没有找到访问新类的符号或类型的方法。我也尝试Symbol.requiredClass()使用新名称,尽管它返回了一些符号,但在宏扩展期间出现错误,未找到该类。
我的问题是:
new Class {}情况下派生自定义类型?ClassDef.copy注册一个可以帮助创建新实例的新名称?ClassDef创建类的实例吗?Symbol.requiredClass即使之前没有定义,如何使用返回的符号,因为它会返回某些内容?我创建的代码:
import scala.quoted.*
object NewClass {
def newClassImpl[A: Type](e: Expr[A])(using Quotes): Expr[A] = {
import quotes.reflect.*
val typeRep = TypeRepr.of[A]
val ret = typeRep.classSymbol.map(_.tree) match …Run Code Online (Sandbox Code Playgroud) 我正在使用 scala3 进行编码,利用编程结构类型。结构类型恰好模仿了现有的案例类:它们的定义是纯粹的样板,因此很容易通过元编程来制作它们。
我了解如何制作函数实现,通常是通过类型类派生。但在这里我们正在尝试制作一个(结构)类型。
这在 scala2 中是可能的,通过类宏注释,但这些在 scala3 中已经消失了。有办法吗?如果是这样怎么办?
下面的代码是我想获得的结果:
// Library part
trait View extends scala.Selectable :
def selectDynamic(key:String) =
println(s"$key is being looked up")
???
// DSL Definition part
case class SomeDefWithInt ( i : Int )
case class SomeDefWithString( s : String )
// Boiler-plate code
type ViewOf[M] = M match
case SomeDefWithInt => View { def i : Int }
case SomeDefWithString => View { def s : …Run Code Online (Sandbox Code Playgroud)