Scala - бесформенный неявный параметр Generic.Aux, который не найден - PullRequest
Новая
       38

Scala - бесформенный неявный параметр Generic.Aux, который не найден

0 голосов
/ 30 января 2019

Я столкнулся со следующей проблемой со связями в Scala, используя Shapeless's Generic.Aux: 

  case class Complex(re: Double, im: Double)

  object Prod2 {
    def unapply[C, A, B](c: C)(implicit C: Generic.Aux[C, A :: B :: HNil]) = Some((C.to(c).head, C.to(c).tail.head))
  }

  val c = Complex(1.0, 2.0)
  val Prod2(re, im) = c

Приведенный выше код не компилируется.Он сообщает 

Error:(22, 7) could not find implicit value for parameter C: shapeless.Generic.Aux[nexus.ops.Test.Complex,A :: B :: shapeless.HNil]
  val Prod2(re, im) = c
Error:(22, 7) not enough arguments for method unapply: (implicit C: shapeless.Generic.Aux[nexus.ops.Test.Complex,A :: B :: shapeless.HNil])Some[(A, B)].
Unspecified value parameter C.
  val Prod2(re, im) = c

Однако, если я вручную сделаю 

implicitly[Generic.Aux[Complex, Double :: Double :: HNil]]

, вполне нормально получить этот неявный экземпляр.

Ответы [ 2 ]

0 голосов
/ 30 января 2019

К сожалению, компилятор просто не достаточно умен, чтобы выполнить объединение, которое было бы необходимо для вывода A и B здесь.Вы можете прочитать о некоторых деталях этой проблемы в разделе 4.3 Руководство Underscore Type Astronaut по Shapeless .Книга предлагает обходной путь, используя IsHCons, но в этом случае я думаю, что требовать <:< доказательства немного чище: 

import shapeless.{::, Generic, HList, HNil}

case class Complex(re: Double, im: Double)

object Prod2 {
  def unapply[C, L <: HList, A, B](c: C)(implicit
    C: Generic.Aux[C, L],
    ev: L <:< (A :: B :: HNil)
  ) = Some((C.to(c).head, C.to(c).tail.head))
}

А потом: 

scala> val c = Complex(1.0, 2.0)
c: Complex = Complex(1.0,2.0)

scala> val Prod2(re, im) = c
re: Double = 1.0
im: Double = 2.0

Это разочаровывает, но это обходной путь, который вам понадобится снова и снова, если вы работаете с Shapeless, поэтому хорошо иметь его в своем наборе инструментов.

0 голосов
/ 30 января 2019

работает следующий код: 

import shapeless.ops.hlist.IsHCons
import shapeless.{::, Generic, HList, HNil}

case class Complex(re: Double, im: Double)

object Prod2 {
  def unapply[C, L <: HList, H, T <: HList, H1, T1 <: HList](c: C)(implicit
    C: Generic.Aux[C, L],
    isHCons: IsHCons.Aux[L, H, T],
    isHCons1: IsHCons.Aux[T, H1, T1]) = Some((C.to(c).head, C.to(c).tail.head))
}

val c = Complex(1.0, 2.0)
val Prod2(re, im) = c
...