Scala 如何在Quasikote中使用Shapeless？

我试图用

Scala

从

quasikote

内部调用

shapess

宏，但我没有得到我想要的结果

“我的宏”不会返回任何错误，但不会将

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)"""
}

这是我的

字段

定义：

sealed abstract class Field[CC, FieldName] {
  val  fieldName: String
  type fieldType

  // How to extract this field
  def  get(cc : CC) : fieldType
}

object Field {
  // fieldType is existencial in Field but parametric in Fied.Aux
  // used to explict constraints on fieldType
  type Aux[CC, FieldName, fieldType_] = Field[CC, FieldName] {
    type fieldType = fieldType_
  }

  def apply[CC, fieldType_](fieldWitness : Witness.Lt[String], ext : CC => fieldType_) : Field.Aux[CC, fieldWitness.T, fieldType_] =
    new Field[CC, fieldWitness.T] {
      val fieldName  : String = fieldWitness.value
      type fieldType = fieldType_
      def get(cc : CC) : fieldType = ext(cc)
    }
}

在这种情况下，我生成的隐式表达式如下所示：

implicit val implicitFieldname : Field[MyCaseClass, fieldWitness.`type`#T]{
  override type fieldType = java.lang.String
}

如果它是在

quasikote

之外定义的，它将生成如下内容：

implicit val implicitFieldname : Field.Aux[MyCaseClass, Witness.Lt[String]#T, String] = ...

---

有什么可以做的吗？

这是我使用老式宏注释的工作解决方案

导入scala.language.experimental.macros
导入scala.reflect.macros.blackbox.Context
导入scala.annotation.StaticAnnotation
类fieldable扩展了StaticAnnotation{
def macroTransform（annottees:Any*）：Any=macro fieldableMacro.impl
}
对象fieldableMacro{
def impl（c:Context）（注释对象：c.Expr[Any]*）：c.Tree={
导入c.universe_
annottees.map（u.tree）匹配{
案例（param@q“案例类$className（..$fields）”）：：Nil=>{
val implicits=fields.collect{
案例字段@q“$mods val$T名称：$tpt”=>q”“”
隐式val$tname=Field.apply[$className，$tpt](
见证（${tname.decodedName.toString}），\uU.$tname
)"""
}；q“$param；对象${className.toTermName}{..$implicits}”
}
}
}
}

当然，使用更好的Quasiqueotes可以改进它，但我的目标是展示尽可能干净的东西

它可以用作：

@fieldable
案例类MyCaseClass（foo:String，bar:Int）

这将生成一个具有必需的

字段的
MyCaseClass
伴随对象

隐式：

implicit val foo=Field.apply[MyCaseClass，String]（见证（“foo”），（（x$1）=>x$1.foo））；
隐式val bar=Field.apply[MyCaseClass，Int]（见证（“bar”），（（x$2）=>x$2.bar））；

---

正如已经指出的，如果没有一个完整的工作示例，很难写出一个详尽的答案

是否在宏注释中使用此选项？您是否尝试过为

$in

（我认为需要使用

ConstantType

）提供类型批注？@TravisBrown是的，我正在使用宏批注（宏天堂）构建此项。我试图提供这样一种类型：

q”““implicit val$in:Field.Aux[$className，Witness.Lt[String]#T，String]=Field.apply[$className，$fieldType]（Witness（$fieldName），（$cc:$className）=>$cc.$tn）””

但是，您需要在类型注释中使用特定的字段名（如需有关使用

ConstantType

）的示例，请参阅我以前的pre-Shapeless 2.0博客文章。您是否有完整的工作示例？