Dopasuj krotkę o nieznanym rozmiarze w scala

Question

Czy istnieje sposób na częściowe dopasowanie do tuple bez konieczności określania rozmiaru? Na przykład, gdybym miał krotki

val v = ("Dr", "John","H", "Watson") 

Chciałbym móc zrobić coś takiego:

v match { 
    case ("Dr", : _*) => "What's up, Doc?" 
    case ("Mr", name, :_*) => s"Welcome, Mr. ${name}" 
    case _ => "Have we met?" 
} 

To nie kompiluje, :_* zwykle oznacza nieokreślonej liczby parametrów, ale nie może być w tym przypadku najwyraźniej zastosowany. Pomysł polegałby na tym, aby móc użyć tego narzędzia matującego dla każdej krotki większej niż 2. Wiem, że mogę to zrobić, konwertując najpierw v na List (na przykład), chcę tylko wiedzieć, czy można to zrobić za pomocą tuple.

EDIT: najbardziej informacji znalazłem w internecie jest this discussion, który sięga Scala 2.8, więc będę z „Nie, nie można” odpowiedź.

Answer 1

Krotki są strukturami heterogenicznych typów. Jako takie, realizują one cechę productIterator, więc można zrobić:

v.productIterator.toList match { 
    case "Dr" :: _ => "What's up, Doc?" 
    case "Mr" :: name :: _ => s"Welcome, Mr. ${name}" 
    case _ => "Have we met?" 
} 

Ale twój przykład naprawdę wygląda chcesz Seq[String] razu. Czy jest jakiś powód, dla którego chciałbyś użyć krotek?

Answer 2

Można to zrobić za pomocą shapeless „s konwersji z krotek do HLists,

scala> import shapeless._ 
import shapeless._ 

scala> import Tuples._ 
import Tuples._ 

scala> val v = ("Dr", "John","H", "Watson") 
v: (String, String, String, String) = (Dr,John,H,Watson) 

scala> v.hlisted match { 
    | case "Dr" :: _ => "What's up Doc?" 
    | case "Mr" :: name :: _ => s"Welcome, Mr. ${name}" 
    | case _ => "Have we met?" 
    | } 
res0: String = What's up Doc? 

Chociaż nie jest to widoczne w powyższym przykładzie, należy pamiętać, że w miarę możliwości pełny statyczna informacja typu utrzymuje się nazwami związany w klauzule przypadku, na przykład,

scala> (23, "foo", true).hlisted match { 
    | case i :: s :: b :: HNil => if(b) i+s.length else 0 
    | case _ => -1 
    | } 
res1: Int = 26 

Answer 3

Spróbuj tego:

case tuple:Product => { 
    tuple.productIterator.toList match { 
     case (head::rest) => ... 

    } 
}