스칼라 콤비 파서 - 나는 숫자와 일치하는 문에서 변수를 나타내는 문자열을 나타내는 문자열을 구분하는 가장 좋은 방법에 대해 궁금해, 나는 케이 HORSTMANN의 콤비 파서 연습을하고 있어요

Question

수 문자열과 변수 문자열 구분 :

을

def factor: Parser[ExprTree] = (wholeNumber | "(" ~ expr ~ ")" | ident) ^^ { 
    case a: wholeNumber => Number(a.toInt) 
    case a: String => Variable(a) 
} 

두 번째 줄에 'case a : wholeNumber'는 유효하지 않습니다. 나는 정규 표현식에 대해 생각했지만, "case"로 작동하도록하는 방법을 찾지 못했습니다.

Answer 1

나는 이것을 조금씩 나누어 사례 분석을 |으로 푸시합니다.

def factor: Parser[ExprTree] = (wholeNumber ^^ { Number(_.toInt) } 
           | "(" ~> expr <~ ")" 
           | ident ^^ { Variable(_) }) 

당신이 밑줄 구문에 익숙하지 않은 경우, 나는 사과 : 이것은 일반적으로 콤비 정말 LL (*) 구문 분석의 장점 중 하나입니다. 기본적으로 이는 "n th 매개 변수를 둘러싸는 함수 값으로 대체"합니다. 따라서 { Variable(_) }은 { x => Variable(x) }과 같습니다.

여기에서 구문 마술의 또 다른 비트는 ~ 대신 ~> 및 <~ 연산자입니다. 이 연산자는 해당 구문 분석에 괄호의 구문 인을 포함해야하지만 결과는 expr의 결과로 전적으로 결정되어야합니다. 따라서 "(" ~> expr <~ ")"은 "(" ~ expr ~ ")"과 정확히 일치하지만, expr에서 내부 결과 값을 검색하는 데 별도의 사례 분석이 필요하지 않습니다.