Đối sánh với phần tử thứ n của danh sách trong Scala

Question

Thành ngữ Scala tốt nhất để khớp một giá trị với phần tử thứ n của danh sách là gì?

Cách tiếp cận ngây thơ rõ ràng là không hoạt động:

scala> val list = List(5,6,7) 
list: List[Int] = List(5, 6, 7) 

scala> val x = 7 
x: Int = 7 

scala> x match { case list(2) => true; case _ => false } 
<console>:10: error: value list is not a case class constructor, nor does it have an  unapply/unapplySeq method 
    x match { case list(2) => true; case _ => false } 

Để clarify- câu hỏi này không phải là về làm thế nào để so sánh giá trị cho các yếu tố n-thứ của một danh sách - đó là đặc biệt về việc liệu nó có thể được thực hiện bằng cách sử dụng kết hợp.

Answer 1

Nầy, sức mạnh của nhổ ngay lập tức! (Lớp Regex trong stdlib hoạt động tương tự)

case class Nth[A](which: Int) { 
    def unapply(in: List[A]): Option[A] = if (in.size >= which+1) Some(in(which)) else None 
} 

val second = Nth[Int](1) 

List(2,4,6) match { 
    case second(4) => println("yep!") 
    case x => println("nope!") 
} 

Answer 2

Không trực tiếp. Tuy nhiên, một trong những có thể làm:

x match { case _ if x == list(2) => true; case _ => false } 

hoặc

val listElem = list(2) 
x match { case `listElem` => true; case _ => false } 

Answer 3

bạn có thể phù hợp với danh sách:

def l(X : Int) = list match { 
    case _ :: _ :: X :: _ => true 
    case _ => false 
} 

---

scala> l(4) 
res13: Boolean = false 

scala> l(7) 
res14: Boolean = true 

Answer 4

Vâng, List không định nghĩa như một vắt, nhưng bạn có thể :

scala> class IndexOf[T](seq: Seq[T]) { 
    | def unapply(x: T) = seq find (x ==) map (seq indexOf _) 
    | } 
defined class IndexOf 

scala> val list = List(5,6,7) 
list: List[Int] = List(5, 6, 7) 

scala> val listndx = new IndexOf(list) 
listndx: IndexOf[Int] = IndexOf@35cd1217 

scala> val x = 7 
x: Int = 7 

scala> x match { case listndx(2) => true; case _ => false } 
res2: Boolean = true 

N lưu ý rằng điều này sẽ luôn trả về kết quả trùng khớp đầu tiên. Kết hợp mẫu Scala không hoạt động như Prolog - nó không nạp 2 và xem điều đó có đúng không?