Я пытаюсь вызвать 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: 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
}
Если бы он был определен вне a, quasiquote
он генерировал бы что-то вроде:
implicit val implicitFieldname : Field.Aux[MyCaseClass, Witness.Lt[String]#T, String] = ...
Есть ли что-то, что можно сделать?
$in
(которую, я думаю, потребуется использоватьConstantType
)?q"""implicit val $in : Field.Aux[$className, Witness.Lt[String]#T, String] = Field.apply[$className,$fieldType](Witness($fieldName), ($cc: $className) => $cc.$tn)"""
ConstantType
). У вас есть полный рабочий пример?Ответы:
Это мое рабочее решение с использованием макросов в старом стиле.
Конечно, его можно улучшить, используя лучшие квазицитаты, но моей целью было показать что-то более чистое, насколько это возможно.
Может использоваться как:
Это создает
MyCaseClass
сопутствующий объект, имеющий требуемыеFields
последствия:Как уже указывалось, без полного рабочего примера довольно сложно написать исчерпывающий ответ.
источник