scala - 任意到无形 HList 的向量

Question

有没有办法将 Any 类型的向量转换为 Shapeless HList (productelement)

val frame = Vector(Vector(1,"a","b",false),Vector(2,"y","z",false),Vector(3,"p","q",true))

frame.map(_.hlisted) or frame.map(_.productElements)

我正在尝试转换为以下结构

List[Int :: String :: String :: Boolean :: HNil](1 :: a :: b :: false :: HNil, 2 :: y :: z :: false :: HNil, 3 :: p :: q :: true :: HNil)

基于 Shapless Migration 指南，可以使用类型化元组

https://github.com/milessabin/shapeless/wiki/Migration-guide:-shapeless-1.2.4-to-2.0.0#productelements-is-the-new-name-for-hlisted

import shapeless._
import syntax.std.product._  // New import

scala> (23, "foo", true).productElements // was '.hlisted'
res0: Int :: String :: HNil = 23 :: foo :: true :: HNil

这可能与无类型向量或向量 -> 类型元组 -> HList 一起使用吗？

提前致谢

Answer 1

是的，这是可能的，但是您必须指定类型，而且由于这是一个可能在运行时失败的强制转换，您将得到包装在 Option 中的结果。 :

import shapeless._, syntax.std.traversable._

val hlists = frame.map(_.toHList[Int :: String :: String :: Boolean :: HNil])

现在 hlists有类型 Vector[Option[Int :: String :: String :: Boolean :: HNil]] ，在这种情况下，特别是所有转换都成功了，所以它们都包含在 Some 中。 .