Đối sánh mẫu trong Scala

Question

scala> (1,5) == BigInt(12) /% 7 
res3: Boolean = true 

scala> BigInt(12) /% 7 match { 
| case (1,5) => true 
| } 

<console>:9: error: type mismatch; 
found : Int(1) 
required: scala.math.BigInt 
      case (1,5) => true 
       ^

Có thể ai đó có thể giải thích cho tôi cách khớp mẫu ở đây?

Answer 1

match là cụ thể hơn sự bình đẳng; bạn không thể bằng nhau, bạn cũng phải có cùng loại.

Trong trường hợp này, BigInt không phải là lớp vỏ và không có phương thức unapply trong đối tượng đồng hành của nó, vì vậy bạn không thể trực tiếp khớp với nó. Điều tốt nhất bạn có thể làm là

BigInt(12) /% 7 match { 
    case (a: BigInt,b: BigInt) if (a==1 && b==5) => true 
    case _ => false 
    } 

hoặc một số biến thể của chúng (ví dụ: case ab if (ab == (1,5)) =>).

Ngoài ra, bạn có thể tạo ra một đối tượng với một phương pháp unapply loại thích hợp:

object IntBig { def unapply(b: BigInt) = Option(b.toInt) } 

scala> BigInt(12) /% 7 match { case (IntBig(1), IntBig(5)) => true; case _ => false } 
res1: Boolean = true 

Answer 2

Vấn đề là 1 và 5 trả về bởi /% là BigInt s và do đó, không phù hợp với nghĩa đen Int s mặc dù equals phương pháp (gọi bằng ==) trả về true. Này hoạt động nhưng là một chút thanh nha:

scala> BigInt(12) /% 7 match { case (x, y) if x == 1 && y == 5 => true } 
res3: Boolean = true 

Answer 3

1 và 5 là Int loại. Khớp mẫu khớp với giá trị scala.math.BigInt. Vì vậy, cho nó bằng cách tuyên bố một vài vals cho một và năm.

scala> val OneBig = BigInt(1) 
oneBig: scala.math.BigInt = 1 

scala> val FiveBig = BigInt(5) 
fiveBig: scala.math.BigInt = 5 

scala> BigInt(12) /% 7 match { 
    | case (OneBig, FiveBig) => true 
    | } 
res0: Boolean = true