Scala 不成形贴图列表取决于目标类型

我有以下问题，我想将一个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(???)

---

就我的研究而言，所有的多边形都只关心输入类型，而不关心输出类型。那么有什么方法可以实现我的目标呢？

我不认为你会得到你想要的，因为Scala的隐式解析发生在类型推断之前（但谁知道人们总是在Scala中做让我惊讶的事情）

（旁注：/pattern支持类似于您所要求的内容，但我看不到在这种情况下使其工作的方法，因为源类型限制了哪些实例可用。）

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

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)

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