scala - 标记类型与类扩展 AnyVal

Question

为了引入更多类型安全性，我们可以使用 shapeless 提供的标记类型或创建一个扩展 AnyVal 的类。使用其中一种与另一种相比有什么区别和优点/缺点？

示例:

trait CountryCodeTag
type CountryCode = String @@ CountryCodeTag

class CountryCode(code: String) extends AnyVal

Answer 1

类型 CountryCode = String @@ CountryCodeTag

+ String @@ CountryCodeTag 是 String 的子类型，即 String 中的所有方法都可以直接使用:countryCode。改为大写。

− String @@ CountryCodeTag 可能会在需要某些 String 的地方意外使用，即它的类型安全性较低。

− 创建新值有点尴尬:"a".asInstanceOf[String @@ CountryCodeTag] 或 val tagger = new Tagger[CountryCodeTag];标记器(“a”)。

− 对 Shapeless 的依赖(尽管这可以手动完成)。

class CountryCode(code: String) extends AnyVal

+ 类型更加安全。

- 通过一些额外的努力即可使用来自String的方法:

class CountryCode(val code: String) extends AnyVal
new CountryCode(countryCode.code.toUpperCase)

或

class CountryCode(val code: String) extends AnyVal 
object CountryCode {
  def unapply(...) = ...
}
countryCode match { case CountryCode(code) => new CountryCode(code.toUpperCase) }

或

case class CountryCode(code: String) extends AnyVal
countryCode.copy(code = countryCode.code.toUpperCase)

+ 创建新值更自然一些:new CountryCode("a")。

+ 没有额外的依赖项(它是纯 Scala)。