Давайте определим PartialFunction[String, String] и PartialFunction[Any, String]
Теперь, учитывая определение orElse
def orElse[A1 <: A, B1 >: B](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]
Я ожидаю, что не смогу составить два, так как
A StringA1 Any
и поэтому граница A1 <: A (т.е. Any <: String) не выполняется.
Неожиданно я могу составить их и получить PartialFunction[String, String], определенный для всего домена String. Вот пример:
val a: PartialFunction[String, String] = { case "someString" => "some other string" }
// a: PartialFunction[String,String] = <function1>
val b: PartialFunction[Any, String] = { case _ => "default" }
// b: PartialFunction[Any,String] = <function1>
val c = a orElse b
// c: PartialFunction[String,String] = <function1>
c("someString")
// res4: String = some other string
c("foo")
// res5: String = default
c(42)
// error: type mismatch;
// found : Int(42)
// required: String
Более того, если я явно укажу параметры типа orElse
a orElse[Any, String] b
// error: type arguments [Any,String] do not conform to method orElse's type parameter bounds [A1 <: String,B1 >: String]
компилятор, наконец, показывает какой-то смысл.
Есть ли какое-то колдовство системы типов, которое я упускаю из виду, из-за которого b является допустимым аргументом для orElse? Другими словами, почему A1 выводится как String?
Если компилятор выводит A1 из b, то это должно быть Any, так где же еще начинается цепочка вывода, ведущая к String?
Обновлять
Поиграв с REPL, я заметил, что orElse возвращает тип пересечения A with A1, когда типы не совпадают. Пример:
val a: PartialFunction[String, String] = { case "someString" => "some other string" }
// a: PartialFunction[String,String] = <function1>
val b: PartialFunction[Int, Int] = { case 42 => 32 }
// b: PartialFunction[Int,Int] = <function1>
a orElse b
// res0: PartialFunction[String with Int, Any] = <function1>
Начиная с (String with Int) <:< String это работает, хотя результирующая функция практически непригодна для использования. Я также подозреваю, что String with Any объединяется в Any, учитывая, что
import reflect.runtime.universe._
// import reflect.runtime.universe._
typeOf[String] <:< typeOf[String with Any]
// res1: Boolean = true
typeOf[String with Any] <:< typeOf[String]
// res2: Boolean = true
Вот почему при смешивании String и Any получается String.
При этом, что происходит под капотом? По какой логике объединяются несовпадающие типы?
Обновление 2
Я свел вопрос к более общей форме:
class Foo[-A] {
def foo[B <: A](f: Foo[B]): Foo[B] = f
}
val a = new Foo[Any]
val b = new Foo[String]
a.foo(b) // Foo[String] Ok, String <:< Any
b.foo(a) // Foo[String] Shouldn't compile! Any <:!< String
b.foo[Any](a) // error: type arguments [Any] do not conform to method foo's type parameter bounds [A <: String]
