スカラ：私は最近プレイのJSONライブラリで遊んで、これはコンパイルできないことに気づいた1トークン

Question

として解析コロン2つのアンダースコア：

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

少し工夫した後、ソースを閲覧し、I第二が...

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

：

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

かさえ：正しい表現を見つけました1つはかなり難読化されています。

は、後になって、私は、より効率的かつ簡潔な表現が見つかりました：

JsPath(steps.toList map KeyPathNode) 

をしかし、私は、元の式に戻って、それで遊んで続けました。私は、これが機能することを発見：

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

はどういうわけか、これはそうではない：

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

は私がerror: not found: value __を取得します。しかし、これは動作します：

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

これはあまりにも動作します：

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

また、この：

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

なぜそれが__: JsPathとの表現が失敗したということでしょうか？パーサが1つのトークンとして__:を解釈しているようだ

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

：私はこの質問を提出することを約あった直前

は... Aaaaaand私は別のワーキング表現を見つけました。しかし、それはなぜでしょうか？私はアンダースコアはもう一つの有効な識別子文字だと思った。特別なケースの解析ルールがありますか？

Answer 1

アンダースコアは、:を含むオペレータ文字の後に続けることができるため、識別子では特殊です。 foo_+は識別子であり、foo+は2つのトークン：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.

_と$が、ここで最初の文の目的のための大文字とみなされることに注意してください。したがって__:は法的な識別子ですが、_:はありません。