Scala makrolarında ne var?

Question

Bir makro için bir parametrenin orijinal giriş dizesi almaya çalışıyorum, ancak döndürülen konum biraz uzakta görünüyor. örneğin, bu makro düşünün:

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 
    } 
} 

bu dosya ile çalıştığınızda:

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

bu çıktıyı almak:

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

bana mantıklı olmadığı. x'a işaret etmesini beklerim ya da bir defalık olsun. Ne var ne yok?

Answer 1

Position.column ve Position.line'un 1 temelli olduğu birebir hata.

Onların API belgelemek için rahatsız ama belirtmeyi uğraşmadı anlamda bir dokümantasyon böcek.

Sen -Yrangepos ile derlemek ve edebilirsiniz:

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

veya benzeri ağaçta en erken konumunu belirtmek için.

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

Güncelleme:

makro Return sonra bu verilen ifadeyi izin verme ve -Xprint:typer -Yshow-trees ile derleme, ağaç + konumlandırılır iç Apply düğüm vardır:

 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 
     ) 
    ) 

ile bir "aralık" pozisyonu, ağacın üst kısmının konumu, altındaki her şeyi içerir. point süre Yani + olduğu, bir dizi pozisyon start yani aralık pozisyonu, çevrelediği her şeyin en erken pozisyon, ağaçta alt herşeyi. Bu durumda, sol yaprak x'dur.

Yani fark point - start yedeklemek için ne kadar anlatır.

(ı kabul ne kaynak dosyasının içine uzaklıklar nedeniyle karakter kodlaması farklılıklar sütun uzaklıklar farklı olması durumunda.)

Eğer println (Mf (x `bunu değiştirirseniz