Scala 类型和编译

Question

我使用的是无形标签并编写了与此类似的代码 -

import shapeless.tag
import shapeless.tag.@@

object Typeplay {
  trait StringTrait
  type MyString = String @@ StringTrait

  case class StringClass(mps: MyString)
  val stringClass = StringClass(tag[StringTrait]("test"))
}

并且此代码无法编译。 Scala 编译器抱怨最后一行代码说 -

[error]  found   : String("test")
[error]  required: shapeless.tag.Tagged[in.bharathwrites.Typeplay.StringTrait] with String
[error]   val stringClass = StringClass(tag[StringTrait]("test"))

我不明白我做错了什么。所以我对我的代码做了一个小改动 -

import shapeless.tag
import shapeless.tag.@@

object Typeplay {
  trait StringTrait
  type MyString = String @@ StringTrait

  case class StringClass(mps: MyString)

  val stringTag = tag[StringTrait]("test")
  val stringClass = StringClass(stringTag)
}

这基本上只是使用显式变量进行标记。这段代码可以编译！！

怎么会这样？为什么第一个程序不编译而第二个程序编译？

Answer 1

在这种情况下，类型别名似乎混淆了类型推断。如果您为 tag 方法提供显式类型，一切正常：

StringClass(tag[StringTrait][String]("test"))

或

StringClass(tag[StringTrait]("test"):String @@ StringTrait)

或者如果您直接声明参数 StringClass：

case class StringClass(mps: String @@ StringTrait)

StringClass(tag[StringTrait]("test"))

显然是scala编译器的限制。

UPD。坦率地说，我无法确定您在此处遇到的类型推断的确切限制。我搜索相关的未解决的错误没有结果。

关于第一个例子。如果您查看 tag:

的实现，一切都会变得清晰

object tag {
  def apply[U] = new Tagger[U]

  trait Tagged[U]
  type @@[+T, U] = T with Tagged[U]

  class Tagger[U] {
    def apply[T](t : T) : T @@ U = t.asInstanceOf[T @@ U]
  }
}

所以，当您这样做时：

tag[StringTrait][String]("test")

你基本上是这样做的：

tag.apply[StringTrait].apply[String]("test")

Scala 类型和编译

Scala types and compilation

scala

shapeless