Избегать расширения типов с неявным? - PullRequest
Новая
       16

Избегать расширения типов с неявным?

0 голосов
/ 05 ноября 2019

Попытка избежать конкретного литерального расширения типа с неявным классом: 

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

Хотя было бы неплохо, если бы было решение во время компиляции.

Ответы [ 2 ]

1 голос
/ 05 ноября 2019

Уродливое решение - принять преобразование в 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.

1 голос
/ 05 ноября 2019

Применимый метод :+ доступен в самом классе List, поэтому компилятор не заботится о поиске других методов с тем же именем, добавленных имплицитами.

Я думаю, что наилучшее решение может быть WartRemover , так как это происходит, когда этот случай покрывается встроенным AnyVal бородавкой .

...