试图避免使用隐式类扩展特定的文字类型:
implicit class keepAsListOfInt(val listOfInt: List[Int]) extends AnyVal {
def :+(long: Long): List[Int] = listOfInt :+ long.toInt
}
// Won't compile - already widened to List[AnyVal]
val listOfInt: List[Int] = List(1) :+ 2L
但是由于编译器已经将表达式List(1) :+ 2L
扩展为List[AnyVal]
,所以从不调用隐式转换。我可以以某种方式隐式执行转换吗?
更新-感谢sachav的回复和Alexey的有效关注,以下代码似乎可以完成工作:
import scala.language.implicitConversions
implicit def listAnyValToListInt(l: List[AnyVal]): List[Int] = l.map {
case n: Int => n
case n: Long if n < Int.MinValue =>
throw new IllegalArgumentException("Can't cast too small Long to Int: " + n)
case n: Long if n > Int.MaxValue =>
throw new IllegalArgumentException("Can't cast too big Long to Int: " + n)
case n: Long => n.toInt
case v =>
throw new IllegalArgumentException("Invalid value: " + v)
}
val valid: List[Int] = List(1) :+ 2
val invalid: List[Int] = List(1) :+ 30000000000L // fails at runtime
但是如果有编译时的解决方案,那还是很好。
一个丑陋的解决方案是接受到List[AnyVal]
的转换,并添加从List[AnyVal]
到List[Int]
的隐式转换:
implicit def listAnyValToListInt(l: List[AnyVal]): List[Int] = l.map {
case e: Int => e
case e: Long => e.toInt
}
val listOfInt: List[Int] = List(1) :+ 2L //compiles
尽管不利的副作用是诸如val listOfInt: List[Int] = List(1) :+ 2.0
之类的表达式将抛出MatchError。
适用的方法:+
可在List
类本身上使用,因此编译器不会费心查找具有由隐式添加的相同名称的任何其他方法。
我认为最好的解决方案可能是WartRemover,因为这种情况恰好由内置AnyVal
wart覆盖。