3

是否可以仅使用没有 TypeTags 的多态函数来重写以下示例?该示例由一个类组成,当应用于具有相同类型参数的实例并且该类型参数具有不同值时,该类具有返回A[T]的方法。然后被映射到一个两次的 hlist上,生成一个嵌套 hlist 的 hlist,其中包含将每个项目与其他项目匹配的结果:matchestrueATfalsematcheslA[T]l

import scala.reflect.runtime.universe._
import shapeless._

class A[T: TypeTag]{
  object matches extends Poly1 {
    implicit def default[U: TypeTag] = at[A[U]]{ _ => typeOf[U] <:< typeOf[T] }
  }
}

val l = new A[Int] :: new A[String] :: new A[Boolean] :: HNil

object matcher extends Poly1 {
  implicit def default[T] = at[A[T]]{ a => l map a.matches }
}

l map matcher

每个项目都有一个匹配项,即结果是:

(true :: false :: false :: HNil) ::
(false :: true :: false :: HNil) ::
(false :: false :: true :: HNil) :: HNil

当我尝试在没有 TypeTags 的情况下重写示例时,matches始终使用它的no大小写并返回 false:

import shapeless._

class A[T]{
    object matches extends Poly1 {
        implicit def yes = at[A[T]]{_ => true}
        implicit def no[U] = at[U]{_ => false}
    }
}

val l = new A[Int] :: new A[String] :: new A[Boolean] :: HNil

object matcher extends Poly1 {
    implicit def default[T] = at[A[T]]{ a => l map a.matches }
}

l map matcher

结果是:

(false :: false :: false :: HNil) ::
(false :: false :: false :: HNil) ::
(false :: false :: false :: HNil) :: HNil

是否可以在没有 TypeTags 的情况下重写此示例并获得与第一种情况相同的结果?

4

1 回答 1

2

看起来您真的希望能够部分应用更高等级的函数来干净地解决这个问题。这对于任何一种开箱即用的好语法都是不可能的,但我曾经写过一些代码来帮助使它更容易一些(注意这都是 1.2.4):

import shapeless._

trait ApplyMapper[HF, A, X <: HList, Out <: HList] {
  def apply(a: A, x: X): Out
}

object ApplyMapper {
  implicit def hnil[HF, A] = new ApplyMapper[HF, A, HNil, HNil] {
    def apply(a: A, x: HNil) = HNil
  }
  implicit def hlist[HF, A, XH, XT <: HList, OutH, OutT <: HList](implicit
    pb: Poly.Pullback2Aux[HF, A, XH, OutH],
    am: ApplyMapper[HF, A, XT, OutT]
  ) = new ApplyMapper[HF, A, XH :: XT, OutH :: OutT] {
    def apply(a: A, x: XH :: XT) = pb(a, x.head) :: am(a, x.tail)
  }
}

有关某些上下文,请参见上面链接的答案。

这允许您编写以下内容:

class A[T]

object matches extends Poly2 {
  implicit def default[T, U](implicit sub: U <:< T = null) =
    at[A[T], A[U]]((_, _) => Option(sub).isDefined)
}

object mapMatcher extends Poly1 {
   implicit def default[T, X <: HList, Out <: HList](
     implicit am: ApplyMapper[matches.type, A[T], X, Out]
   ) = at[(A[T], X)] { case (a, x) => am(a, x) }
}

val l = new A[Int] :: new A[String] :: new A[Boolean] :: HNil

可能有更好的解决方案,但目前我只有一分钟的时间来回应,它的工作原理是:

scala> l.zip(l mapConst l).map(mapMatcher).toList.foreach(println)
true :: false :: false :: HNil
false :: true :: false :: HNil
false :: false :: true :: HNil

如预期的。

于 2013-11-18T18:14:14.923 回答