Co się dzieje z pozycją w makrach Scali?

Question

Próbuję uzyskać oryginalny ciąg wejściowy parametru do makra, ale zwrócona pozycja wydaje się nieco wyłączona. Rozważmy to makro, na przykład:

object M { 
    import scala.reflect.macros.Context 
    import language.experimental.macros 
    def f[T](v: => T) = macro fImpl[T] 
    def fImpl[T : c.WeakTypeTag](c: Context)(v: c.Expr[T]): c.Expr[Unit] = { 
    import c.universe._ 
    val pos = v.tree.pos 
    println(pos.lineContent) 
    println(" " * pos.column + "^") 
    println(" " * pos.point + "^") 
    c.literalUnit 
    } 
} 

Kiedy próbuję go z tego pliku:

object N extends App { 
    val x = 1 
    val y = 2 
    println(M.f(x + y)) 
} 

uzyskać ten wynik:

println(M.f(x + y)) 
       ^
                   ^

który nie ma sensu dla mnie. Spodziewam się, że wskaże on na x, lub będzie wyłączony przez jeden. Co z tym?

Answer 1

To błąd typu "jeden po drugim" w tym sensie, że Position.column i Position.line są oparte na 1.

To błąd w dokumentacji w tym sensie, że zadali sobie trud udokumentowania interfejsu API, ale nie zadali sobie trudu, aby o tym wspomnieć.

można skompilować z -Yrangepos oraz:

val n = pos.column - (pos.point - pos.startOrPoint) - 1 
println(" " * n + "^") 

lub podobny do wskazania najwcześniejszą pozycję w drzewie.

println(M.f(x + y)) 
      ^

Aktualizacja:

Letting makro zwróci wyrażenie to podane, i zestawiania ze -Xprint:typer -Yshow-trees, drzewo jest wewnętrzna Apply węzeł, który jest umieszczony na +:

 Apply(// def println(x: Any): Unit in object Predef, tree.tpe=Unit 
     scala.this."Predef"."println" // def println(x: Any): Unit in object Predef, tree.tpe=(x: Any)Unit 
     Apply(// def +(x: Int): Int in class Int, tree.tpe=Int 
      "x"."$plus" // def +(x: Int): Int in class Int, tree.tpe=(x: Int)Int 
      "y" // val y: Int, tree.tpe=Int 
     ) 
    ) 

Z pozycja "zakres", pozycja wierzchołka drzewa zawiera wszystko poniżej. Więc podczas gdy point jest gdzie znajduje się +, start pozycji zakresu jest najwcześniejszą pozycją wszystkiego zawartą przez pozycję zasięgu, tj. Wszystko poniżej w drzewie. W tym przypadku lewy liść to x.

Tak więc różnica point - start mówi, jak daleko należy się cofnąć.

(nie rozważaliśmy, co jeśli przesunięcia w pliku źródłowym różnią się od kolumn przesunięć z powodu różnic w kodowaniu znaków).