Questions tagged «scala-macros»

我正在尝试Shapeless从quasiquotewith中调用宏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: String type …

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, TypeTree(typeOf[Int])) ) …

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

已关闭。这个问题是基于观点的。它当前不接受答案。 想改善这个问题吗？更新问题，以便通过编辑此帖子以事实和引用的形式回答。 2年前关闭。 改善这个问题 我将从一个例子开始。List.fill在Scala 2.10中，这相当于for元组作为宏： import scala.language.experimental.macros import scala.reflect.macros.Context object TupleExample { def fill[A](arity: Int)(a: A): Product = macro fill_impl[A] def fill_impl[A](c: Context)(arity: c.Expr[Int])(a: c.Expr[A]) = { import c.universe._ arity.tree match { case Literal(Constant(n: Int)) if n < 23 => c.Expr( Apply( Select(Ident("Tuple" + n.toString), "apply"), List.fill(n)(a.tree) ) ) …

72 scala  macros  documentation  scala-2.10  scala-macros