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类本身上可用，因此编译器无需费心查找任何其他由隐式添加的相同名称的方法。

我认为最好的解决方案可能是WartRemover，因为这种情况会被内置的AnyVal wart覆盖。

Answer 2

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

避免使用隐式类型扩展？

2 个答案: