Каково понятие “слабого соответствия” в Scala?

3.5.3 Слабое соответствие В некоторых ситуациях Scala использует более общий отношение соответствия. Тип S слабо соответствует типу T, записанному S <: _w T , если S <: T или оба S и T равны примитивные числовые типы и S предшествует T в следующем порядке.

• Байт <: _w Короткий
• Байт <: _w Символ
• Короткий <: _w Int
• Int <: _w Long
• Long <: _w Float
• Float <: _w Double

Слабая наименьшая верхняя граница точная верхняя оценка по слабой соответствие.

Где это используется? Во-первых, он определяет тип if выражений:

Тип условного выражения является слабой наименьшей верхней границей (§3.5.3) типов e2 и e3

В Scala 2.7.x это будет по типу AnyVal , наименьшей верхней границе Int и Двойной . В версии 2.8.x он выглядит как Double .

scala> if (true) 1 else 1d
res0: Double = 1.0

Аналогично:

scala> try { 1 } catch { case _ => 1.0 }
res2: Double = 1.0

scala> (new {}: Any) match { case 1 => 1; case _ => 1.0 }
res6: Double = 1.0

scala> def pf[R](pf: PartialFunction[Any, R]): PartialFunction[Any, R] = pf
pf: [R](pf: PartialFunction[Any,R])PartialFunction[Any,R]

scala> pf { case 1 => 1; case _ => 1d }
res4: PartialFunction[Any,Double] = <function1>

Другое место, где он используется, - это вывод типа:

scala> def foo[A](a1: A, a2: A): A = a1
foo: [A](a1: A,a2: A)A

scala> foo(1, 1d)
res8: Double = 1.0

scala> def foos[A](as: A*): A = as.head
foos: [A](as: A*)A

scala> foos(1, 1d)
res9: Double = 1.0

А также для простого числового расширения:

Числовое расширение. Если e имеет примитив числовой тип, который слабо соответствует (§3.5.3) к ожидаемому типу, это расширен до ожидаемого типа с помощью одного принадлежащий 6.26 Неявные преобразования 97 числовые методы преобразования toShort, toChar, toInt, toLong, toFloat, toDouble определено в § 12.2.1. ожидаемый тип - это примитивный числовой тип Byte, Short или Char, а выражение e есть целочисленный буквальный подбор в диапазоне этого типа, он преобразуется в тот же литерал в этом типе.

scala> 1: Double
res10: Double = 1.0

ОБНОВЛЕНИЕ

Как указал Даниэль, в спецификации неверно указано, какие типы имеют слабое соответствие. Спросим у самого компилятора:

scala> :power
** Power User mode enabled - BEEP BOOP      **
** scala.tools.nsc._ has been imported      **
** New vals! Try repl, global, power        **
** New cmds! :help to discover them         **
** New defs! Type power.<tab> to reveal     **

scala> settings.maxPrintString = 10000


scala> import global.definitions._
import global.definitions._

scala> (for{c1 <- ScalaValueClasses;
      c2 <- ScalaValueClasses
      isNSC = isNumericSubClass(c1, c2)
      if isNSC
  } yield ("isNumericSubClass (%s, %s) = %b" format (c1, c2, isNSC))).mkString("\n")


res5: String =
isNumericSubClass (class Byte, class Byte) = true
isNumericSubClass (class Byte, class Short) = true
isNumericSubClass (class Byte, class Int) = true
isNumericSubClass (class Byte, class Long) = true
isNumericSubClass (class Byte, class Float) = true
isNumericSubClass (class Byte, class Double) = true
isNumericSubClass (class Short, class Short) = true
isNumericSubClass (class Short, class Int) = true
isNumericSubClass (class Short, class Long) = true
isNumericSubClass (class Short, class Float) = true
isNumericSubClass (class Short, class Double) = true
isNumericSubClass (class Int, class Int) = true
isNumericSubClass (class Int, class Long) = true
isNumericSubClass (class Int, class Float) = true
isNumericSubClass (class Int, class Double) = true
isNumericSubClass (class Long, class Long) = true
isNumericSubClass (class Long, class Float) = true
isNumericSubClass (class Long, class Double) = true
isNumericSubClass (class Char, class Int) = true
isNumericSubClass (class Char, class Long) = true
isNumericSubClass (class Char, class Char) = true
isNumericSubClass (class Char, class Float) = true
isNumericSubClass (class Char, class Double) = true
isNumericSubClass (class Float, class Float) = true
isNumericSubClass (class Float, class Double) = true
isNumericSubClass (class Double, class Double) = true