คำถามติดแท็ก scala-macros

ฉันพยายามเรียกShapelessแมโครจากข้างในquasiquoteด้วยScalaและฉันไม่ได้สิ่งที่ต้องการ มาโครของฉันไม่ส่งคืนข้อผิดพลาดใด ๆ แต่จะไม่ขยายWitness(fieldName)เข้าไปWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val fieldType = TypeName(field.valueType.fullName) val in = TermName("implicitField"+fieldName) val tn = TermName(fieldName) val cc = TermName("cc") q"""implicit val $in = Field.apply[$className,$fieldType](Witness($fieldName), ($cc: $className) => $cc.$tn)""" } นี่คือFieldคำจำกัดความของฉัน: sealed abstract class Field[CC, FieldName] { val fieldName: …

272 scala  scala-macros  shapeless  scala-quasiquotes 

สมมติว่าเราต้องการเขียนแมโครที่กำหนดคลาสนิรนามด้วยสมาชิกประเภทหรือวิธีการแล้วสร้างอินสแตนซ์ของคลาสนั้นที่พิมพ์แบบคงที่เป็นชนิดโครงสร้างกับวิธีการเหล่านั้นเป็นต้นซึ่งเป็นไปได้กับระบบมาโครใน 2.10 0 และส่วนสมาชิกประเภทนั้นง่ายมาก: object MacroExample extends ReflectionUtils { import scala.language.experimental.macros import scala.reflect.macros.Context def foo(name: String): Any = macro foo_impl def foo_impl(c: Context)(name: c.Expr[String]) = { import c.universe._ val Literal(Constant(lit: String)) = name.tree val anon = newTypeName(c.fresh) c.Expr(Block( ClassDef( Modifiers(Flag.FINAL), anon, Nil, Template( Nil, emptyValDef, List( constructor(c.universe), TypeDef(Modifiers(), newTypeName(lit), Nil, …

181 scala  macros  scala-2.10  structural-typing  scala-macros