Việc giải nén tuple có được hỗ trợ trực tiếp trong danh sách tham số trong Scala không?

Question

Trong Haskell bạn có thể viết:

x :: (Int,Int) -> Int 
x (p,s) = p 

Trong Scala bạn sẽ viết:

def x(a: (Int, Int)) = a._1 

hay:

def x(a: (Int, Int)) = a match { 
    case (p, s) => p 
} 

Tại sao không có một cái gì đó giống như

def x(_: (p: Int, s: Int)) = p 

hoặc

def x(foo: (p @ Int, s @ Int)) = p 

?

Answer 1

Các tính năng mà bạn đang tìm kiếm được gọi là destructuring và, trong đó là hình thức nói chung, sẽ đi xa hơn chỉ tuple giải nén. Tôi thường thấy mình có nhu cầu mà Scala đã có nó vì nó là một phần mở rộng tự nhiên như các mô hình phù hợp với cú pháp:

def first((f: Int, l: Int)) = f 
def displayName(Person(first, last)) = last + ", " + first 

Destructuring là (loại) hiện diện trong hình thức định nghĩa biến/giá trị:

val (f, l) = tuple 
val Person(first, last) = person 

Thật không may, có một số typesafetyissues xung quanh các định nghĩa như vậy mà tôi cho rằng không chắc bạn sẽ thấy phá hoại trong danh sách tham số bất kỳ lúc nào.

Answer 2

Một cách tiếp cận khác sẽ là tạo danh sách tham số và lưu vào cùng một thứ trong ngôn ngữ.

Answer 3

Bạn có thể tạo một hàm nhận được một danh sách đối số tương ứng với các loại của tuple, áp dụng Function.tupled để chức năng đó và sau đó áp dụng các tuple:

scala> def fun(x:Int,y:Int)=x+y 
fun: (x: Int,y: Int)Int 

scala> val tuple = (1,2) 
tuple: (Int, Int) = (1,2) 

scala> Function.tupled(fun _)(tuple) 
res9: Int = 3 

Bằng cách này bạn đạt được một cách giải quyết hợp lệ cho bạn vấn đề

Answer 4

Điều đó được gọi là nhiều công văn và nó không được JVM hỗ trợ. Scala có thể viết lại một phương thức để làm cho kết quả rõ ràng không cần thiết, tuy nhiên, nó không phải là một ưu tiên - hoặc, theo như tôi biết, thậm chí đã lên kế hoạch - để làm như vậy.

Điều thú vị là, nó được hỗ trợ cho các hàm, theo nghĩa nào đó, với hạn chế là tất cả các biến thể phải xuất hiện cùng nhau. Ví dụ:

def x: ((Int, Int)) => Int = { 
    case (p, _) => p 
}