scala - 取决于目标类型的无形 map HList

Question

我有以下问题，我想将一个 HList 的项目映射到另一个 HList，但是如果“目标”类型是 URL，源 HList 中的字符串应该只转换为 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

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