스칼라 처음

Question

시도 quasiquotes "을 반사 도구 상자는 해결되지 않은 프리 타입에 실패" 농산물 결과 [A]() @Andreas 짐 - 하트만에 의해 제안

scala.tools.reflect.ToolBoxError: reflective toolbox failed due to unresolved free type variables: T defined by apply in :32:13 have you forgotten to use TypeTag annotations for type parameters external to a reifee? if you have troubles tracking free type variables, consider using -Xlog-free-types at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$ToolBoxGlobal.verify(ToolBoxFactory.scala:82) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$ToolBoxGlobal.compile(ToolBoxFactory.scala:208) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$$anonfun$compile$2.apply(ToolBoxFactory.scala:429) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$$anonfun$compile$2.apply(ToolBoxFactory.scala:422) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$withCompilerApi$.liftedTree2$1(ToolBoxFactory.scala:355) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl$withCompilerApi$.apply(ToolBoxFactory.scala:355) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl.compile(ToolBoxFactory.scala:422) at scala.tools.reflect.ToolBoxFactory$ToolBoxImpl.eval(ToolBoxFactory.scala:444) at Produce$.apply(:40) ... 34 elided

Answer 1

첨가 'TypeTag'(아래 주석 참조) 이제이 코드는 일반용과 특수형 모두에서 작동합니다.

val universe: scala.reflect.runtime.universe.type = scala.reflect.runtime.universe 
import universe._ 
import scala.reflect.runtime.{currentMirror => m} 
import scala.tools.reflect.ToolBox 
val toolbox = m.mkToolBox() 

trait Father 
class A extends Father { 
    println("I'm A") 
    val a = 0 
} 
class B extends Father { 
    println("I'm B") 
    val b = 0 
} 

object Produce { 
    def A(): A = { 
    val weakT = weakTypeOf[A] 
    val genTree = q""" 
     case class Son() extends $weakT { 
     println("I'm alive") 
     } 
     Son() 
     """ 
    val compiledCode = toolbox.eval(genTree) 
    compiledCode.asInstanceOf[A] 
    } 
    def apply[T <: Father : TypeTag](): T = { //Fixed here 
    val weakT = weakTypeOf[T] 
    val genTree = q""" 
     case class Son() extends $weakT { 
     println("I'm alive") 
     } 
     Son() 
     """ 
    val compiledCode = toolbox.eval(genTree) 
    compiledCode.asInstanceOf[T] 
    } 
} 

Produce.A() 

Produce[A]() 

Produce[B]()