Scala类型和编译

发布时间：2020-12-16 18:31:36 所属栏目：安全来源：网络整理

导读：我正在使用无形标签并编写类似于此的代码 – import shapeless.tagimport shapeless.tag.@@object Typeplay { trait StringTrait type MyString = String @@ StringTrait case class StringClass(mps: MyString) val stringClass = StringClass(tag[StringTr

我正在使用无形标签并编写类似于此的代码 –

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)
}

这基本上只是使用显式变量进行标记.这段代码编译!!

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

解决方法

在这种情况下,类型别名似乎会混淆类型推断.如果为标记方法提供显式类型,一切正常：

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

要么

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

或者如果直接声明param StringClass：

case class StringClass(mps: String @@ StringTrait)

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

显然是scala编译器的限制.

UPD.
坦率地说,我不知道你在这里打出的类型推断的确切限制.我对相关开放漏洞的搜索没有结果.

关于第一个例子.如果你看一下标签的实现,一切都会变得清晰：

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")

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!