Почему scala не выводит вывод типа для f-связанного полиморфизма?

Question

Простой пример для иллюстрации вопроса:

trait WTF[W <: WTF[W]] { 
    def get : Int 
} 

trait Zero extends WTF[Zero] { 
    override def get : Int = 0 
} 
case object Zero extends Zero 

final case class Box(inner : Int) extends WTF[Box] { 
    override def get : Int = inner 
} 

def printWTF[W <: WTF[W]](w : W) = println(w.get) 

printWTF(Box(-1)) 
printWTF(Zero) 

Box это нормально, но Zero производит ошибку:

WTF.scala:22: error: inferred type arguments [Zero.type] do not conform to method printWTF's type parameter bounds [W <: WTF[W]] 
    printWTF(Zero) 
^
WTF.scala:22: error: type mismatch; 
found : Zero.type 
required: W 
    printWTF(Zero) 
     ^
two errors found 

Если я аннотирования тип вручную, он компилирует:

printWTF[Zero](Zero) 
printWTF(Zero : Zero) 

Первый линия работает, как ожидалось. Я часто сталкиваюсь с случаями, когда параметры типа не могут быть выведены из аргументов. например def test[A](x : Int) : Unit. Тип A нигде не встречается в сигнатуре аргумента, поэтому вы должны указать его вручную.

Но последнее очень мало для меня. Я просто добавил тип приведения, который всегда является истинным, и чудом компилятор узнает, как вывести параметры типа метода. Но Zero всегда из Zero типа, почему компилятор не мог вывести его без подсказок от меня?

Answer 1

Объект объекта Zero имеет тип Zero.type и является подтипом WTF[Zero]. Поэтому, когда вы вызываете printWTF(Zero), компилятор сообщает W = Zero.type, но Zero.type <: WTF[Zero.type] является ложным, поэтому компиляция не выполняется.

Это более сложная подпись, с другой стороны, должны работать:

def printWTF[W <: WTF[W], V <: W](w: V with WTF[W]) = println(w.get) 

И как демонстрация того, что это действительно выводит типы правильно:

scala> def printWTF[W <: WTF[W], V <: W](w: V with WTF[W]): (V, W) = ??? 
printWTF: [W <: WTF[W], V <: W](w: V with WTF[W])(V, W) 

scala> :type printWTF(Box(1)) 
(Box, Box) 

scala> :type printWTF(Zero) 
(Zero.type, Zero)