Scala F-Bounded Type Polymorphism

Question

trait Account[T <: Account[T]] 

case class BrokerAccount(total:BigDecimal) extends Account[BrokerAccount] 
case class SavingsAccount(total:BigDecimal) extends Account[SavingsAccount] 

Описание и описание функций ниже.

def foo1(xs: Array[T forSome { type T <: Account[T] }]):Array[T forSome { type T <: Account[T] }] = xs 
foo1(Array(BrokerAccount(100),SavingsAccount(50))) 

Но ниже вызова выдается сообщение об ошибке.

def foo2(xs: List[T forSome { type T <: Account[T] }]):List[T forSome { type T <: Account[T] }] = xs 
foo2(List(BrokerAccount(100),SavingsAccount(50))) 

Ошибка

Main.scala:14: error: type mismatch;
found : List[Product with Serializable with Main.Account[_ >: Main.SavingsAccount with Main.BrokerAccount <: Product with Serializable with Main.Account[_ >: Main.SavingsAccount with Main.BrokerAccount <: Product with Serializable]]]
required: List[T forSome { type T <: Main.Account[T] }] foo2(List(BrokerAccount(100),SavingsAccount(50)))

Может кто-то пожалуйста, объясните мне, почему ошибка компиляции происходит в последнем случае?

Answer 1

Ключом к проблеме является дисперсия - вы пытаетесь вернуть контравариантное значение в ковариантном положении (возвращаемый тип функции). Несмотря List типа ковариантен в качестве аргумента (trait List[+A]), это по существу означает его значение контравариантно (может быть назначен Списком супертипов):

val listOfSupers: List[_ >: Account[_]] = List(BrokerAccount(100), SavingsAccount(50)) 

Что вы пытаетесь вернуться из функции foo2 является полная противоположность - List[_ <: Account[_]], поэтому ошибка компилятора.

Если вместо List вы используете Set там, который является инвариантным по своему параметру типа, как Array, все будет работать нормально.