scala - 类型别名优化在 Scala 中跳过隐式转换？

Question

我有以下代码:

  type RString = String

  implicit def stringToRString(s:String):RString = s.reverse

  val s = "The Force Awakens"
  val r:RString = s

  println(r)

我有点期待 r 是 s 的反义词，但它等于 s。这是 Scala 编译器采用快捷方式吗，因为 RString 是 String 的别名，因此永远不会调用隐式转换？

Answer 1

类型别名不会引入新类型，它是一个别名。您可以更换左侧和右侧。因此 r: RString 与 r: String 相同，因此不需要转换。

你需要这样的东西:

object RString {
  // allow RString to be used as a String
  implicit def toString(r: RString): String = r.toString
}
implicit class RString(val peer: String) extends AnyVal {
  override def toString = peer.reverse
}

val s = "The Force Awakens"
val r: RString = s  // "snekawA ecroF ehT"

也就是说，RString是一个新的类型，一个将字符串反转的值类。