Question

我对无形特征概述中显示的示例感到困惑。

object size extends Poly1 {
  implicit def caseInt = at[Int](x => 1)
  implicit def caseString = at[String](_.length)
  implicit def caseTuple[T, U]
    (implicit st : Case.Aux[T, Int], su : Case.Aux[U, Int]) =
      at[(T, U)](t => size(t._1)+size(t._2))
}

scala> size(((23, "foo"), 13))
res7: Int = 5

Case.Aux是什么？
为什么参数化类型是Int not String
if size（（（23，“foo”，123），13）），如何定义CaseTuple？

非常感谢提前

Answer 1

您可以在此处找到有关PolyN功能的更多说明：What is "at" in shapeless (scala)?

1＆amp; 2。因此，让我们重写一下这段代码，使其更清晰：

object size extends Poly1 {
  implicit def caseInt = at[Int](x => 1)
  implicit def caseString = at[String](_.length)
  implicit def caseTuple[T, U]
    (implicit st : Case.Aux[T, Int], su : Case.Aux[U, Int]) =
      at[(T, U)](t => st(t._1) + su(t._2))
}

Case类型类让我们将一些多边形函数应用于某个具有它类型的对象。 http://xuwei-k.github.io/shapeless-sxr/shapeless-2.10-2.0.0-M1/shapeless/poly.scala.html#shapeless.PolyDefns;Case

让我们试着做一些功能：

def sizeF[F, S](t: (F, S)) = size(t)

如果没有类型定义如何应用函数，那是不可能的：

def sizeF[F, S](t: (F, S))
(implicit cse: Case[size.type, (F, S) :: HNil]) = size(t)

Case.Aux[T, U]它是以下内容的快捷方式：poly.Case[this.type, T :: HNil]{ type Result = U } T - 它是一个参数U - 应用后的结果类型。

3。让我们修改函数并向((23, "foo", 123), 13)提供可用的应用程序，我们需要添加函数来处理三元组：

object size extends Poly1 {
  implicit def caseInt = at[Int](x => 1)
  implicit def caseString = at[String](_.length)
  implicit def caseTuple[T, U]
  (implicit st : Case.Aux[T, Int], su : Case.Aux[U, Int]) =
    at[(T, U)](t => size(t._1) + size(t._2))
  implicit def caseTriple[T, U, F]
  (implicit st : Case.Aux[T, Int], su : Case.Aux[U, Int], sf: Case.Aux[F, Int]) =
    at[(T, U, F)](t => size(t._1) + size(t._2) + size(t._3))
}

size(((23, "foo", 123), 13)) //> res0: Int = 6

正如所料。

什么是Case.Aux无形

1 个答案: