빈 문자열이 Seq.empty와 일치하지 않는 이유는 무엇입니까?

Question

편집 : 이것은 오래 오래 전부터 스칼라 2.8에서 수정 된 버그 이후

질문 Pattern matching a String as Seq[Char] 주위에 몇 가지 실험을하는 동안, 나는 또 다른 이상한 일치하는 현상을 가로 질러했다. ""가 제대로 "Empty" 산출 빈 문자열에

def %%&#(input: String) : String = { 
    val uha : Seq[Char] = input 
    uha match { 
     case Seq() => "Empty" 
     case Seq(first @ _, 'o', 'o') => "Bar" 
     case _ => "Oh" 
    } 
} 

호출 입력 : 문자의 순서로 문자열을 처리하는 다음 코드를 살펴 보자. 내가

case Seq.empty => "Empty" 

로 첫 경기 절을 다시 작성하는 경우

그러나 ""의 매칭은 실패하고 대신 기본 절을 일치합니다.

스칼라 라이브러리 소스 코드 (이상적인 세상에서해야 할 일이 아닙니다 .-))을 걷는 중 Seq()과 Seq.empty은 모두 RandomAccessSeq.empty이됩니다. 분명히, Seq() 만 빈 문자열과 일치하기 때문에 위에서 설명한 현상과 일치하지 않습니다.

업데이트 : 몇 가지 더 실험시이 문제는 다음에 좁혀 수 있습니다

val list = List() 
    >>> list2: List[Nothing] = List() 
val emptySeq = Seq.empty 
list == emptySeq 
    >>> res1: Boolean = false 

이 기본적으로 빈 Seq가 자동으로 동일 Seq.empty하지 않는 것을 의미한다. 그래서 상수와 일치 할 때 (starblue가 제안한 것과 같이 추출기를 사용하는 것과는 대조적으로)이 불평등은 실패한 일치를 유도합니다. String을 시퀀스로 해석 할 때도 마찬가지입니다.

Answer 1

이것은 라이브러리의 버그 인 것 같습니다. 벌레를 신고 하시겠습니까, 아니면 제가해야합니까?

scala> Seq.empty match {case Seq() => "yup"; case _ => "nope"} 
res0: java.lang.String = yup 

scala> Seq() match {case Seq.empty => "yup"; case _ => "nope"} 
res1: java.lang.String = yup 

scala> ("" : Seq[Char]) match {case Seq() => "yup"; case _ => "nope"}  
res2: java.lang.String = yup 

scala> ("" : Seq[Char]) match {case Seq.empty => "yup"; case _ => "nope"} 
res3: java.lang.String = nope 

Answer 2

unapply 또는 unapplySeq 함수가 일치하는 데 사용되는 것으로 믿는 것처럼 적용되지 않습니다.