8

鉴于：

鉴于以下关于 Ammonite：

@ import $ivy.`io.circe::circe-core:0.9.0` 

@ import $ivy.`io.circe::circe-generic:0.9.0`                   

@ import $ivy.`com.chuusai::shapeless:2.3.3` 

@ import shapeless.tag 
import shapeless.tag

@ trait Foo 
defined trait Foo

@ import io.circe._, io.circe.generic.semiauto._ 
import io.circe._, io.circe.generic.semiauto._

@ import shapeless.tag.@@ 
import shapeless.tag.@@

@ implicit def taggedTypeDecoder[A, B](implicit ev: Decoder[A]): Decoder[A @@ B] = 
    ev.map(tag[B][A](_)) 
defined function taggedTypeDecoder

给定一个Foo：

@ case class F(x: String @@ Foo)  
defined class F

我可以召唤一个Decoder[String @@ Foo]：

@ Decoder[String @@ Foo] 
res17: Decoder[String @@ Foo] = io.circe.Decoder$$anon$21@16b32e49

但不是F：

@ deriveDecoder[F] 
cmd18.sc:1: could not find Lazy implicit value of type io.circe.generic.decoding.DerivedDecoder[ammonite.$sess.cmd16.F]
val res18 = deriveDecoder[F]
                         ^
Compilation Failed

我怎样才能得到一个Decoder[F]？

4

1 回答 1

10

这是无形中的一个错误' Lazy-milesabin /shapeless#309

我有一个 PR 可以编译你的示例 - milessabin/shapeless#797（我检查过publishLocal）

基本上问题Lazy在于它过于急切地扩展类型别名（A @@ B是类型别名A with Tagged[B]），这反过来又会触发 Scala 错误 - scala/bug#10506

Scala 错误没有明确的解决方案。这是使类型推断复杂化的子类型与参数多态性问题的另一个体现。它的要点是 Scala 必须同时执行子类型检查和类型推断。但是，当我们将一些类型变量（例如A和B）放入精炼类型A with Tagged[B]（实际上，circe 最终会寻找另一个隐藏精炼类型的类型别名的FieldType[K, A with Tagged[B]]位置）时，必须单独检查每个组件的子类型。FieldType这意味着我们选择检查组件的顺序决定了类型变量A将B如何受到约束。在某些情况下，它们最终会受到过度或不足的约束，并且无法正确推断。

Apropo，无形测试显示了一种解决方法，但我认为它不适用于 circe，因为它使用某种宏而不是进行 vanilla typeclass 派生。

长话短说，您可以：

  1. 等待无形（请投票#797）和随后的 circe 发布
  2. 不使用标记类型 =/
  3. 尝试使用没有精炼或结构类型的不同编码 - 也许alexknvl/newtypes？（我没试过）
于 2018-01-12T22:28:58.573 回答