Scala: Zwei von Doppelpunkt Unterstrichen analysiert als ein Token

Question

Ich spiele herum mit JSON Spiel Bibliothek vor kurzem, und bemerkte, dass dies nicht kompilieren:

val steps = Seq("a", "b", "c") 
steps.foldLeft(__)((a, x) => a \ x) 

Nach einem wenig Bastelei und die Quelle gerade, ich den richtigen Ausdruck gefunden:

steps.foldLeft(JsPath())((a, x) => a \ x) 

oder sogar:

steps.foldLeft(__())((a, x) => a \ x) 

... obwohl die zweite man sieht ziemlich verschleiert aus.

Später fand ich eine effizientere und prägnanten Ausdruck:

JsPath(steps.toList map KeyPathNode) 

Aber ich behielt auf den ursprünglichen Ausdruck auf Rückkehr und spielen mit ihm um. Ich fand, dass dies funktioniert:

steps.foldLeft(JsPath: JsPath)((a, x) => a \ x) 

Irgendwie dies nicht:

steps.foldLeft(__: JsPath)((a, x) => a \ x) 

ich error: not found: value __. Dies funktioniert jedoch:

steps.foldLeft((__): JsPath)((a, x) => a \ x) 

Dies funktioniert auch:

steps.foldLeft({__}: JsPath)((a, x) => a \ x) 

Auch dies:

steps.foldLeft(__.asInstanceOf[JsPath])((a, x) => a \ x) 

Warum ist es, dass der Ausdruck mit __: JsPath ausfällt?

... Aaaaaand kurz bevor ich im Begriff war, diese Frage zu unterbreiten ich einen anderen Arbeits Ausdruck gefunden:

steps.foldLeft(__ : JsPath)((a, x) => a \ x) 

Es scheint, der Parser __: als ein Token interpretiert. Aber warum sollte es das tun? Ich dachte, Unterstreichung ist nur ein anderes gültiges Identifizierungszeichen. Gibt es eine spezielle Parsing-Regel, die verantwortlich ist?

Answer 1

Underscore ist speziell in Bezeichnern genau, weil es von Operatorzeichen gefolgt werden kann, einschließlich :: z. foo_+ ist ein Bezeichner, wobei foo+ zwei Tokens ist: foo+.

First, an identifier can start with a letter which can be followed by an arbitrary sequence of letters and digits. This may be followed by underscore _ characters and another string composed of either letters and digits or of operator characters.

Beachten Sie, dass _ und $ hier Großbuchstaben für die Zwecke des ersten Satzes berücksichtigt werden. Also __: ist eine rechtliche Kennung, aber _: ist nicht.