scala бинарное дерево, добавление элемента

Question

Я пытаюсь изменить свои конечные узлы в своем двоичном дереве. Как создать методы change_right_tree и change_left_tree?

Компилятор жалуется, что я переназначаю значение val. Но когда я меняю вещи на var, я получаю ковариантные ошибки.

sealed abstract class Tree[+T] { 
} 
case object End extends Tree[Nothing] { 
    override def toString = "." 
} 

case class Node[+T](var question: String, left: Tree[T] = End, right: Tree[T] = End) extends Tree[T] { 
    override def toString = "T(" + question.toString + " " + left.toString + " " + right.toString + ")" 

    def set_question(str : String) = {question = str} 

    def get_answer(answer : Boolean) = { 
    if (answer){ 
     left 
    }else { 
     right 
    } 
    } 
    // unclear on what I need to do to make this work 
    def change_left_tree(new_tree : Tree[T]) = {this.left = new_tree} 
    def change_right_tree(new_tree : Tree[T]) = {this.right = new_tree} 
} 

Answer 1

Решение: Если вы удалите «+» из декларации класса узла, код будет скомпилирован.

Объяснение:

Когда вы объявляете класс с ковариантным типом [+ T], то вы можете объявить подклассы с более узким типом. Поэтому класс Tree должен быть объявлен с ковариантным типом, чтобы разрешить объявление объекта объекта End.

Но объявление класса Узел с ковариантным типом [+ T] был неправильным, если вы хотите, чтобы он изменялся. Для того, чтобы лучше понять его себе на минуту, что компилятор не остановить вас и позволил вам скомпилировать следующий код (я удалил другие методы для простоты примера):

case class Node[+T](var question: String, var left: Tree[T] = End, var right: Tree[T] = End) extends Tree[T] { 
    def change_left_tree(new_tree : Tree[T]) = {this.left = new_tree} 
    def change_right_tree(new_tree : Tree[T]) = {this.right = new_tree} 
} 

Теперь вы можете сделать следующее:

val stringNode:Node[String] = new Node("string node") 
val intNode:Node[Int] = new Node("int node") 
val anyNode:Node[Any] = stringNode 
anyNode.change_left_tree(intNode) 

И теперь узел [Int] - это левый узел узла [String]. Таким образом, смешивание ковариации и изменчивости приведет к нарушению безопасности типов.

Answer 2

1. В определении узла, левое и правое свойства уже определены как End.
2. В методах change_left_tree и change_right_tree вы изменяете значение слева и справа вместо того, чтобы возвращать новое дерево.

def change_left_tree(new_tree : Tree[T]): Tree = { 
    new Tree (this.question, new_tree, this.right) 

}