чистый способ объединить два кортежа в новый больший кортеж в Scala? - PullRequest
Новая
       3

чистый способ объединить два кортежа в новый больший кортеж в Scala?

14 голосов
/ 27 января 2012

Допустим, у меня есть следующие кортежи: 

scala> val t1 = Tuple2("abcd", "efg")
t1: (java.lang.String, java.lang.String) = (abcd,efg)

scala> val t2 = Tuple2(1234, "lmnop")
t2: (Int, java.lang.String) = (1234,lmnop)

scala> val t3 = Tuple3("qrs", "tuv", "wxyz")
t3: (java.lang.String, java.lang.String, java.lang.String) = (qrs,tuv,wxyz)

Есть ли дружественный способ объединить их (при необходимости в два этапа) в Tuple7?Я действительно ищу общий ответ для объединения кортежей произвольного размера и понимаю, что будут ограничения из-за ограниченного максимального размера кортежа.Я специально ищу результат кортежа, а не коллекцию.

Ответы [ 2 ]

14 голосов
/ 27 января 2012

Shapeless требует зависимых типов методов (-Ydependent-method-types), и мне бы хотелось, чтобы был загружаемый двоичный файл для 2.9.1, чтобы я мог просто попробовать его, но он действительно выглядит элегантно. На основании этого модульного теста он будет применяться к вашему делу следующим образом: 

import shapeless.Tuples._
import shapeless.HList._
val t7 = (t1.hlisted ::: t2.hlisted ::: t3.hlisted).tupled

Хотя Майлз указывает, что нет гарантии поддержки, на самом деле он имеет модульные тесты, и источник находится на github с лицензией на открытый исходный код, поэтому, по крайней мере, это не просто эксперимент в сообщении в блоге.

Редактировать: работает как реклама - компиляция заняла некоторое время, и мне пришлось добавить -Xss1m в sbt: 

$ scala -Ydependent-method-types -cp target/scala-2.9.1/shapeless_2.9.1-1.1.0.jar
Welcome to Scala version 2.9.1.final (Java HotSpot(TM) Client VM, Java 1.7.0).
Type in expressions to have them evaluated.
Type :help for more information.

scala> import shapeless.Tuples._
import shapeless.Tuples._

scala> import shapeless.HList._
import shapeless.HList._

scala> val t1 = Tuple2("abcd", "efg")
t1: (java.lang.String, java.lang.String) = (abcd,efg)

scala> val t2 = Tuple2(1234, "lmnop")
t2: (Int, java.lang.String) = (1234,lmnop)

scala> val t3 = Tuple3("qrs", "tuv", "wxyz")
t3: (java.lang.String, java.lang.String, java.lang.String) = (qrs,tuv,wxyz)

scala> (t1.hlisted ::: t2.hlisted ::: t3.hlisted).tupled
res0: (java.lang.String, java.lang.String, Int, java.lang.String, java.lang.String,
java.lang.String, java.lang.String) = (abcd,efg,1234,lmnop,qrs,tuv,wxyz)
6 голосов
/ 27 января 2012

Вам действительно нужно использовать коллекции, особенно если все элементы одного типа.Вы можете без труда объединить кортежи в List: 

def combine(xss: Product*) = xss.toList.flatten(_.productIterator)

Используя ваш пример: 

scala> combine(t1, t2, t3)
res1: List[Any] = List(abcd, efg, hijk, lmnop, qrs, tuv, wxyz)

Попытка превратить это обратно в кортежи не будет работать, потому чтоМетод преобразования (например, с сопоставлением с шаблоном) не сможет вернуть определенный тип кортежа (какой тип метода возвращается?), и информация о типе каждого элемента была потеряна.

...