Предупреждать или избегать целочисленного деления (приводящего к усечению) в scala

Насколько мне известно, компилятор Scala, похоже, не предоставляет флаг предупреждения, который мог бы позволить вам выдать предупреждение (документация здесь).

Однако, если вы считаете, что усилия того стоят, вы можете использовать Скалафикс и написать свое собственное правило для обнаружения целочисленных делений и выдачи предупреждений об этом.

Ниже приведен краткий пример правила, которое может обнаруживать целочисленное деление на целочисленных литералах:

import scalafix.lint.{Diagnostic, LintSeverity}
import scalafix.patch.Patch
import scalafix.v1.{SemanticDocument, SemanticRule}

import scala.meta.inputs.Position
import scala.meta.{Lit, Term}

class IntDivision extends SemanticRule("IntDivision") {

  override def fix(implicit doc: SemanticDocument): Patch =
    doc.tree.collect({
      case term @ Term.ApplyInfix((_: Lit.Int, Term.Name("/"), Nil, _: List[Lit.Int])) =>
        Patch.lint(new Diagnostic {
          override final val severity: LintSeverity = LintSeverity.Warning
          override final val message: String = "Integer division"
          override final val position: Position = term.pos
        })
    }).asPatch

}

При запуске следующего фрагмента кода:

object Main {
  def main(args: Array[String]): Unit = {
    println(1 / 2)
  }
}

Scalafix выдаст следующее предупреждение:

[warn] /path/to/Main.scala:3:13: warning: [IntDivision] Integer division
[warn]     println(1 / 2)
[warn]             ^^^^^

Любая операция деления может привести к усечению или округлению. Это наиболее заметно с Int, но может произойти со всеми числовыми типами (например, 1.0/3.0). Все типы данных имеют ограниченный диапазон и точность, поэтому результат любого вычисления можно скорректировать, чтобы он соответствовал результирующему типу данных.

Неясно, поможет ли добавление предупреждений для конкретного случая деления Int. Невозможно уловить все такие проблемы, и в некоторых случаях выдача предупреждений может привести к ложному чувству безопасности. Это также вызовет множество предупреждений для совершенно корректного кода.

Решение состоит в том, чтобы внимательно следить за любыми вычислениями в программе и помнить об ограничениях диапазона и точности каждой операции. Если речь идет о каких-либо серьезных вычислениях, хорошей идеей будет получить базовые знания в области численного анализа.

Если / операция не работает для вас, сделайте другую.

implicit class Divider[N](numer :N)(implicit evN :Numeric[N]) {
  def /![D](denom :D)(implicit evD :Numeric[D]) :Double =
    evN.toDouble(numer) / evD.toDouble(denom)
}

тестирование:

1   /! 2    //res0: Double = 0.5
5.2 /! 2    //res1: Double = 2.6
22  /! 1.1  //res2: Double = 20.0
2.2 /! 1.1  //res3: Double = 2.0