要专门解决第二段,使用值类包装的类型可以是引用类型,并且仍然可以避免通常在包装中涉及的额外对象分配.例如,如果您有这些隐式类:
implicit class MyInt(val underlying: Int) extends AnyVal {
def inc: Int = underlying + 1
}
implicit class MyString(val underlying: String) extends AnyVal {
def firstChar: Char = underlying.charAt(0)
}
implicit class MyNonValueClassString(val underlying: String) {
def firstCharNonValueClass: Char = underlying.charAt(0)
}
这个代码使用它们:
println(42.inc)
println("hello".firstChar)
println("hello".firstCharNonValueClass)
您可以使用-Xprint:flatten进行编译以查看desugared版本(为清晰起见,此处重新格式化):
scala.this.Predef.println(
scala.Int.box(Demo$MyInt.this.inc$extension(Demo.this.MyInt(42)))
);
scala.this.Predef.println(
scala.Char.box(
Demo$MyString.this.firstChar$extension(Demo.this.MyString("hello"))
)
);
scala.this.Predef.println(
scala.Char.box(
Demo.this.MyNonValueClassString("hello").firstCharNonValueClass()
)
);
如您所见,firstChar调用不涉及新对象.