Скала нижняя и верхняя границы

Question

class Queue[+T](
    private val leading: List[T], 
    private val trailing: List[T] 
) { 
    def append[U >: T](x: U) = 
     new Queue[U](leading, x :: trailing) // ... 
} 

class Fruit 

class oranges extends Fruit 

class apple extends Fruit 

class diffAppale 

val q1: Queue[Fruit] = new Queue[apple](List(new apple), List()) 
//> q1 : Test.Queue[Test.Fruit] = Test$Queue@30c7da1e 

q1.append(new Fruit)        
//> res0: Test.Queue[Test.Fruit] = Test$Queue@506e6d5e 

q1.append(new oranges)       
//> res1: Test.Queue[Test.Fruit] = Test$Queue@96532d6 

q1.append(new diffAppale) // i want to restrict this    
//> res2: Test.Queue[Object] = Test$Queue@3796751b 

Здесь я мог бы добавить, чтобы добавить функцию, что когда-либо объект, я могу, я могу видеть, полученный тип понижен к наименьшему общему знаменателю

Но я хотел бы иметь такое же поведение как java, скажем def append [? super T] (x: U) // здесь функция append будет принимать все объекты, которые являются супертипами T, Как я могу достичь аналогичного в scala (реализовать супер и расширить для дженериков, таких как java)

Answer 1

Я не понимаю почему вы хотите ограничить это или почему возвращение более универсального нового неизменяемого объекта создает проблему для вас.

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

class Queue[A](leading: List[A], trailing: List[A]) { 
    def append(x: A) = new Queue[A](leading, x :: trailing) // ... 
} 

class Fruit 
class Orange extends Fruit 
class Apple extends Fruit 
class NotFruit 

val q1: Queue[Fruit] = new Queue(List(new Apple), Nil) 
val q2 = q1.append(new Fruit) // ok 
val q3 = q2.append(new Orange) // ok 

q1.append(new NotFruit) // error - found NotFruit, required Fruit 

---

Что касается вопроса:

функция Append будет принимать все объекты, которые супертип T

Это то, что уже делает ваш первоначальный код. Обратите внимание, что Any является супертипом всех типов. Поскольку аргумент находится в ковариантной позиции, всегда можно передать значение с подтипом Anyдля аргумента ожидаемого типаAny. Это жизнь :) Scala просто чувствует себя иначе, чем Java, потому что она построена вокруг отклонения от сайта и не использует дисперсию сайта (возможно, лучшее решение, чем дженерики Java).

Если вы хотите дополнительные ограничения, вы можете попросить параметра доказательства, такие как

def append[B >: A](x: B)(implicit ev: B <:< Seedless): Queue[B] 

Или поместить верхнюю границу (это не может быть такой же, как A из-за дисперсии A «s):

def append[B >: A <: Fruit](x: B): Queue[B] 

Но: это действительно не имеет смысла ИМХО.