使用implicit?避免类型扩大？

Question

尝试避免使用隐式类扩大特定的文本类型：

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

不过，如果有编译时的解决方案，那就更好了。

Answer 1

一个丑陋的解决方案是接受到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。

Answer 2

适用的方法:+在List类本身中可用，因此编译器不会费心查找任何其他由compiler添加的同名方法。

我认为最好的解决方案可能是WartRemover，因为这个案例恰好被内置的AnyVal wart所覆盖。