स्कैला मैक्रोज़ पर स्थिति के साथ क्या हो रहा है?

Question

मैं एक मैक्रो के पैरामीटर की मूल इनपुट स्ट्रिंग प्राप्त करने का प्रयास कर रहा हूं, लेकिन लौटाई गई स्थिति थोड़ा सा लगता है। इस मैक्रो पर विचार करें, उदाहरण के लिए:

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

जब मैंने इसे इस फ़ाइल के साथ प्रयास करें:

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

मैं इस उत्पादन प्राप्त करें:

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

जो मेरे लिए कोई मतलब नहीं है। मैं उम्मीद करता हूं कि यह x पर इंगित करें, या एक से दूर रहें। उसके साथ क्या है?

Answer 1

यह एक ऑफ-बाय-वन बग है कि Position.column और Position.line 1-आधारित हैं।

यह एक प्रलेखन बग है कि वे एपीआई दस्तावेज करने के लिए परेशान हैं लेकिन इसका उल्लेख करने के लिए परेशान नहीं है।

आप -Yrangepos साथ संकलन कर सकते हैं और:

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

या इसी तरह के पेड़ में जल्द से जल्द स्थिति का संकेत करने।

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

अद्यतन:

मैक्रो वापसी अभिव्यक्ति यह दिया है दे, और -Xprint:typer -Yshow-trees साथ संकलन, पेड़ भीतरी Apply नोड, जो + पर स्थित होती है है:

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

के साथ एक "रेंज" स्थिति, पेड़ के शीर्ष की स्थिति में इसके नीचे सब कुछ शामिल है। इसलिए point है जहां + है, start एक रेंज स्थिति की श्रेणी सीमा से घिरी सब कुछ की सबसे पुरानी स्थिति है, यानी, पेड़ में सब कुछ कम है। इस मामले में, बायां पत्ता x है।

तो अंतर point - start आपको बताता है कि बैक अप कितना दूर है।

(मैं नहीं पर विचार किया है क्या हुआ अगर स्रोत फ़ाइल में ऑफसेट क्योंकि वर्ण एन्कोडिंग में मतभेद के स्तंभ ऑफसेट से अलग हैं।)