Question

我有以下问题，我想将HList的项目映射到另一个HList，但是如果＆＃34; target＆＃34;那么源HList中的字符串应该只转换为URL。 type是URL。

val name = "Stackoverflow"
val url = "https://stackoverflow.com/q"
val list = name :: url :: HNil

val mapped: String :: URL :: HNil = list.map(???)

就我的研究而言，所有Poly材料只关心输入类型而不关心输出类型。那么有没有办法存档我的目标？

Answer 1

我不认为你会得到你想要的东西，因为Scala的隐式解决方案发生在类型推断之前（但是谁知道 - 人们在Scala做的事情让我感到惊讶时间）。

（旁注：CanBuildFrom / breakOut模式支持类似于您要求的内容，但在这种情况下我找不到让它工作的方法，因为源类型确实限制了可用的实例。）

对于这种情况，有一种非常标准的解决方法，涉及使用辅助类来近似类型参数的部分应用。假设您有一个相当简单的类型类来捕获转换逻辑：

import java.net.URL
import shapeless._

trait Convert[I <: HList, O <: HList] { def apply(i: I): O }

object Convert extends LowPriorityConvertInstances {
  implicit val convertHNil: Convert[HNil, HNil] = new Convert[HNil, HNil] {
    def apply(i: HNil): HNil = i
  }

  implicit def convertHConsURL[T <: HList, TO <: HList](implicit
    c: Convert[T, TO]
  ): Convert[String :: T, URL :: TO] = new Convert[String :: T, URL :: TO] {
    def apply(i: String :: T): URL :: TO = new URL(i.head) :: c(i.tail)
  }
}

sealed class LowPriorityConvertInstances {
  implicit def convertHCons[H, T <: HList, TO <: HList](implicit
    c: Convert[T, TO]
  ): Convert[H :: T, H :: TO] = new Convert[H :: T, H :: TO] {
    def apply(i: H :: T): H :: TO = i.head :: c(i.tail)
  }
}

现在你可以尝试这样的事情：

def convert[I <: HList, O <: HList](i: I)(implicit c: Convert[I, O]): O = c(i)

但这里有两个问题。首先，如果您推断出类型参数，您将始终获得将每个字符串转换为URL的转换。您可以通过显式提供两个类型参数来覆盖此行为，但是呃。

我们可以（通过辅助类改善这种情况）：

class PartiallyAppliedConvert[O <: HList] {
  def apply[I <: HList](i: I)(implicit c: Convert[I, O]): O = c(i)
}

def convert[O <: HList]: PartiallyAppliedConvert[O] =
  new PartiallyAppliedConvert[O]

现在您可以写下以下内容：

scala> val mapped = convert[String :: URL :: HNil](list)
mapped: shapeless.::[String,shapeless.::[java.net.URL,shapeless.HNil]] = Stackoverflow :: https://stackoverflow.com/q :: HNil

它并不完全符合您的要求，但它非常接近，因为我们必须明确指定的唯一类型是所需的目标类型。

无形地图HList取决于目标类型

1 个答案: