Question

鉴于以下有关亚扪人的信息：

@ 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

在明确拼写String @@ Foo：

时有效

@ val x: String @@ Foo = tag[Foo][String]("foo") 
x: String @@ Foo = "foo"

@ implicitly[Decoder[String @@ Foo]] 
res10: Decoder[String @@ Foo] = io.circe.Decoder$$anon$21@2b17bb37

但是，在定义类型别名时：

@ type FooTypeAlias = String @@ Foo 
defined type FooTypeAlias

它没有编译：

@ implicitly[Decoder[FooTypeAlias]] 
cmd12.sc:1: diverging implicit expansion for type io.circe.Decoder[ammonite.$sess.cmd11.FooTypeAlias]
starting with method decodeTraversable in object Decoder
val res12 = implicitly[Decoder[FooTypeAlias]]
                      ^
Compilation Failed

为什么？有没有已知的“修复？”

Answer 1

很幸运，在同一天发现两个编译器错误。这个是scala/bug#8740。好吗？新闻是有一个部分修复在this comment等待有人加强并制作PR（也许这就是你）。我认为这是部分的，因为看起来它适用于特定的标签但不适用于通用标签（我不是100％肯定）。

你看到一个不同的隐式扩张的原因真的很有趣。编译器可以在一个步骤中扩展所有别名（基本上从FooTypeAlias |= String with Tagged[Foo]开始）或不扩展任何内容。因此，当它比较String @@ Foo和A @@ B时，它不会展开，因为它们会按原样匹配。但是当它比较FooTypeAlias和A @@ B时，它会完全展开，并且最终会导致必须比较精炼类型，其中一个包含类型变量（请参阅我的answer到您的其他相关问题）。在这里，我们精心设计的抽象再次破裂，约束的顺序开始变得重要。作为程序员，您A with Tagged[B] <:< String with Tagged[Foo]知道最佳匹配是A =:= String和B =:= Foo。但是，Scala会先对A <:< String和A <:< Tagged[Foo]进行比较，然后得出结论A <:< Tagged[Foo] with String（是的，相反），Nothing为B。但是等等，我们需要一个隐含的Decoder[A]！ - 它让我们循环。因此，A过度约束，B受到限制。

编辑：如果我们将@@抽象化以防止编译器进行去混合似乎有效：milessabin/shapeless#807。但现在它是盒子，我无法使数组工作。

解码无形标记类型

1 个答案: