Quasiquote에서 Shapeless를 사용하는 방법?


272

with Shapeless내부 에서 매크로 를 호출하려고하는데 원하는 것을 얻지 못합니다.quasiquoteScala

내 매크로는 오류를 반환하지 않습니다하지만 확장하지 않습니다 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 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
}

그것이 외부에 정의되어 있다면 quasiquote다음과 같은 것을 생성 할 것입니다 :

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

할 수있는 일이 있습니까?


매크로 주석에서 이것을 사용하고 있습니까? 당신은에 대한 유형 약어 제공 노력했다 $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)"""
Roch

(예전 사전 볼품 2.0 블로그 게시물을 예를 들어 볼 수 있지만 당신은 유형 주석에 특정 필드 이름이 필요합니다 여기에 사용하는 예를 들어 ConstantType). 당신은 완전한 실제 사례를 가지고 있습니까?
트래비스 브라운

답변:


1

이것은 구식 매크로 주석을 사용하는 작업 솔루션입니다.

import scala.language.experimental.macros
import scala.reflect.macros.blackbox.Context
import scala.annotation.StaticAnnotation

class fieldable extends StaticAnnotation {
  def macroTransform(annottees: Any*): Any = macro fieldableMacro.impl
}

object fieldableMacro {
  def impl(c: Context)(annottees: c.Expr[Any]*): c.Tree = {
    import c.universe._
    annottees.map(_.tree) match {
      case (param @ q"case class $className(..$fields)") :: Nil => {
        val implicits = fields.collect {
          case field @ q"$mods val $tname: $tpt" => q"""
            implicit val $tname = Field.apply[$className,$tpt](
              Witness(${tname.decodedName.toString}), _.$tname
            )"""
        }; q"$param; object ${className.toTermName} {..$implicits}"
      }
    }
  }
}

더 나은 준 따옴표를 사용하여 개선 할 수는 있지만 가능한 한 더 깨끗한 것을 보여주는 것이 목표였습니다.

다음과 같이 사용할 수 있습니다.

@fieldable
case class MyCaseClass(foo: String, bar: Int)

MyCaseClass필요한 Fields암시 적을 갖는 컴패니언 객체가 생성됩니다 .

implicit val foo = Field.apply[MyCaseClass, String](Witness("foo"), ((x$1) => x$1.foo));
implicit val bar = Field.apply[MyCaseClass, Int](Witness("bar"), ((x$2) => x$2.bar));

이미 지적했듯이 완전한 실례가 없으면 철저한 답변을 작성하는 것이 매우 어렵습니다.

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.