Question

假设我们有这个：

def join[A, B](a: A, b: B)
def join[A, B, C](a: A, b: B, c: C) // etc

基本上有很多重载方法，最多可以包含20个类型的参数。

然后通过在HList上强制执行一元类型约束来创建K列表，以便所有内部元素都是Task[_]类型。

class Test(L <: HList : *->*[Task]#λ](val deps : L = HNil)

是否可以将deps转换为Task[A1, A2, A3]等，其中A1，A2，A3是{{1}的内部类型}}？

所以：

HList

检索：

val hls = Task(1) :: Task("string") :: Task9(true) :: HNil

为任意数量的论点做这个吗？对于任意数量的参数，我可以将Task[(Int, String, Boolean)]转换为Task[A], Task[B]，只需要从Task[A, B]转到HList或类似。

Answer 1

从Scala的角度来看，这些join方法没有任何共同之处，只有它们的名称，因此在没有大量样板（或自定义宏）的情况下，不可能在这种情况下使用它们。相反，可以反复使用Twitter join本身的Future。您可以通过创建新类型来完成此操作：

import shapeless._

trait FutureSequence[L <: HList] extends DepFn1[L]

此类型类将见证hlist L完全由期货构成，它将为我们提供一种方法，将这些期货排序为Future[T]，其中T是由L中每个期货内部的类型组成的元组（*->*给出了我们的第一部分，但不支持第二部分，甚至不支持第二部分的任何方式在任何方便）。

伴侣对象完成所有有趣的工作：

import com.twitter.util.Future
import shapeless.ops.tuple.Prepend

object FutureSequence {
  type Aux[L <: HList, Out0] = FutureSequence[L] { type Out = Out0 }

  implicit def hnilFutureSequence: Aux[HNil, Future[Unit]] =
    new FutureSequence[HNil] {
      type Out = Future[Unit]
      def apply(l: HNil): Future[Unit] = Future.Unit
    }

  implicit def hconsFutureSequence[H, T <: HList, OutT](implicit
    fst: Aux[T, Future[OutT]],
    pre: Prepend[Tuple1[H], OutT]
  ): Aux[Future[H] :: T, Future[pre.Out]] = new FutureSequence[Future[H] :: T] {
    type Out = Future[pre.Out]

    def apply(l: Future[H] :: T): Future[pre.Out] =
      l.head.join(fst(l.tail)).map {
        case (h, t) => pre(Tuple1(h), t)
      }
  }
}

我们在这里使用归纳 - 首先我们描述如何对HNil（我们的基本情况）进行排序，然后我们描述如何排序Future[H] :: T，因为我们知道如何对{{1}进行排序}。

接下来，我们将定义一种方法，使其易于使用：

然后，如果我们有一些例子：

def sequence[L <: HList](l: L)(implicit fs: FutureSequence[L]): fs.Out = fs(l)

我们可以对它们进行排序：

 val good = Future(1) :: Future("string") :: Future(true) :: HNil
 val bad = Future(1 / 0) :: Future("string") :: Future(true) :: HNil

您可能还需要在类的构造函数中使用scala> import com.twitter.util.Await import com.twitter.util.Await scala> Await.result(sequence(good)) res0: (Int, String, Boolean) = (1,string,true) scala> sequence(bad).onFailure(println) java.lang.ArithmeticException: / by zero res1: com.twitter.util.Future[(Int, String, Boolean)] = ...实例，或者在类中使用特定方法。

HList与一元约束varargs强制转换

1 个答案: