스칼라 매크로에서 동적 시퀀스를 만드는 방법은 무엇입니까?

Question

중첩 된 사례 클래스를 출력하는 스칼라 매크로가 있습니다. 프로그래밍 방식 중첩 된 경우 클래스를 구축 구체화를 사용하여 만든 식의 조각을 조립 할 수 있습니다

case class Foo(name: String) 
case class Bar(foo: Foo) 

def foo(name: String) = { 
    c.universe reify { 
    Foo(c.literal(name).splice) 
    } 
} 

def bar(foo: Expr[Foo]) = { 
    c.universe reify { 
    Bar(foo.splice) 
    } 
} 

// output Bar(Foo("MyFoo")) 
c.Expr(bar(foo("MyFoo").asInstanceOf[Expr[Foo]]).tree) 

상황이 성가신 캐스트에서 떨어져 잘 작동 (내가 그 문제를 해결 할 수있는 방법?). 내가 갇혀있는 곳은 내부 객체의 컬렉션을 필요로하는 일부 사례 클래스를 출력하기를 원할 때입니다. 크기는 처리되는 AST 내에서 마르코가 보는 것에 따라 다릅니다. 내가 foo는 일련의 소요 클래스가있는 경우

그래서 : 나는 서열을 [변환 드릴 수 없습니다

def baz(foos: Seq[Expr[Foo]]): Expr[Baz] = { 
    val flipped: Expr[Seq[Foo]] = ??? // convert foos from Seq[Expr[Foo]] to Expr[Seq[Foo]] 
    c.universe reify { 
    Baz(flipped.splice) 
    } 
} 

// now pack any number of Foos into an output Baz as required 
c.Expr(baz(Seq(foo("MyFoo1"),foo("MyFoo2"))).tree) 

:

case class Baz(foos: Seq[Foo]) 

나는의 라인을 따라 뭔가를하고 싶습니다 Expr [Foo]]를 Expr [Seq [Foo]]에 삽입하여 가변 개수의 중첩 된 객체를 매크로 출력으로 패킹 할 수 있습니다. 생성자 arg로 사용하기 위해 동적으로 작성한 목록을 어떻게 구체화 할 수 있습니까?

Answer 1

캐스팅을 피하기 위해 reify에 유형 매개 변수를 제공 할 수 있습니다. 안으로 밖으로 표현의 순서를 돌리면 조금 복잡합니다,하지만 많은 :

case class Foo(name: String) 
case class Bar(foo: Foo) 
case class Baz(foos: Seq[Foo]) 

import scala.language.experimental.macros 
import scala.reflect.macros.Context 

def demo: Baz = macro demo_impl 
def demo_impl(c: Context) = { 
    import c.universe._ 

    def foo(name: String) = reify[Foo](Foo(c.literal(name).splice)) 
    def bar(foo: Expr[Foo]) = reify[Bar](Bar(foo.splice)) 

    def baz(foos: Seq[Expr[Foo]]): Expr[Baz] = { 
    val flipped: Expr[Seq[Foo]] = c.Expr[Seq[Foo]](
     Apply(
     Select(reify(Seq).tree, newTermName("apply")), 
     foos.map(_.tree).toList 
    ) 
    ) 

    reify(Baz(flipped.splice)) 
    } 

    baz(Seq(foo("MyFoo1"), foo("MyFoo2"))) 
} 

인생은하지만, so much better in paradise입니다 :

def demo: Baz = macro demo_impl 
def demo_impl(c: Context) = { 
    import c.universe._ 

    def foo(name: String) = c.Expr(q"Foo($name)") 
    def bar(foo: Expr[Foo]) = c.Expr(q"Bar($foo)") 
    def baz(foos: Seq[Expr[Foo]]) = c.Expr(q"Baz(Seq(..$foos))") 

    baz(Seq(foo("MyFoo1"), foo("MyFoo2"))) 
} 

이 처음 구현에 정확히 동일하지만 quasiquotes-하는 사용 이제는 구체화 및 수동 트리 구성 대신 컴파일러 플러그인으로 2.10에서 사용할 수 있습니다.