Case, phù hợp với mô hình và nhà thầu cà ri trong Scala

Question

Họ dường như không để trộn mà cũng:

abstract class A 
case class B (var a: Int)(var b: String) extends A 
case class C extends A 

Sau đây sẽ không làm việc:

B(1)("1") match { 
    case B(a)(b) => print("B") 
    case C() => print("C") 
} 

Vấn đề là mô hình phù hợp và các đối số bị quấy rầy dường như không hoạt động. Có một cách giải quyết cho điều này?

Answer 1

Có vấn đề gì với điều này?

def m(a: A) = a match { 
    case b: B => print("B") 
    case c: C => print("C") 
} 

Tôi chỉ hỏi vì bạn không yêu cầu nhiều chức năng hơn này.

EDIT

này có thể giúp:

object Dog { 
    def apply(name: String)(size: Int) = new Dog(name)(size) 
    def unapply(dog: Dog) = Some(dog.name, dog.size) 
} 
class Dog(val name: String)(var size: Int) 

Bây giờ bạn có thể tạo những con chó hoặc như thế này:

new Dog("Snoopy")(10) 

hay như thế này:

Dog("Snoopy")(10) 

Nhưng khi bạn ghép mẫu trên chó, mẫu xây dựng là không phải là đã quấy lại.

Dog("Snoopy")(10) match { 
    case Dog(a, b) => // do sth with a or b 
} 

Answer 2

Bạn có thể sử dụng lớp chữ thường và chỉ xác định phương thức nhà máy có nhiều danh sách tham số.

Answer 3

Nếu bạn nhìn vào chữ ký của hàm không được tạo cho lớp B, bạn sẽ thấy rằng đó là: unapply(x$0: Q): Option[Int]. Do đó, hàm unapply hoạt động với phạm vi tham số đầu tiên của các lớp chữ hoa chữ thường.

Nó được xác nhận bởi các đặc điểm kỹ thuật scala (§5.3.2):

Các thông số chính thức trong fi tham số đầu tiên phần của một lớp trường hợp được gọi là yếu tố; chúng được xử lý đặc biệt. Đầu tiên, giá trị của một tham số như vậy có thể được trích xuất như một trường của một mẫu hàm tạo.

Nó tuyên bố rõ ràng chỉ tha phần thông số đầu tiên có sẵn thông qua trình ngắt.

Một số cách giải quyết:

• uncurry thông số của bạn
• sử dụng một mô hình kết hợp với bảo vệ nếu bạn muốn thử nghiệm 2 giá trị: case x@B(3) if x.b == "bazinga" => ...
• sử dụng một lớp bình thường và xác định đối tượng đồng của riêng bạn với bạn của riêng bạn áp dụng/unapply