Создание дерева сумм двоичного дерева scala

abstract class Tree 
case class Node(value: Int, left: Tree, right: Tree) extends Tree
case object Nil extends Tree

1. дерево не должно быть классом case, кроме того, использование класса case в качестве не-листового узла устарело из-за возможного ошибочного поведения автоматически генерируемых методов.
2. Nil является одноэлементным и лучше всего определяется как case-объект вместо case-класса.

3. дополнительно рассмотрим квалификационный супер класс Tree С sealed. sealed сообщает компилятору, что класс может быть унаследован только в одном исходном файле. Это позволяет компилятору выдавать предупреждения всякий раз, когда следующее выражение соответствия не является исчерпывающим - другими словами, не включает все возможные случаи.

   запечатанное абстрактное дерево классов

следующая пара улучшений может быть сделана в sumTree:

def sumTree(t: Tree) = {
  // create a helper function to extract Tree value
  val nodeValue: Tree=>Int = {
    case Node(v,_,_) => v
    case _ => 0
  }
  // parametrise fold with Tree to aid type inference further down the line
  fold[Tree](t,Nil,(acc,l,r)=>Node(acc + nodeValue(l) + nodeValue(r) ,l,r)) 
}

nodeValue вспомогательная функция может также определяется как (альтернативная нотация, которую я использовал выше, возможна, потому что последовательность случаев в фигурных скобках рассматривается как литерал функции):

def nodeValue (t:Tree) = t match {
  case Node(v,_,_) => v
  case _ => 0
}

далее небольшое улучшение parametrising fold метод Tree (fold[Tree]). Поскольку тип Scala inferer работает через выражение последовательно слева направо, сообщая ему, что мы будем иметь дело с деревом, позволяет нам опускать информацию о типе при определении литерала функции, который передается fold далее на.

Итак, вот полный код, включая предложения:

sealed abstract class Tree
case class Node(value: Int, left: Tree, right: Tree) extends Tree
case object Nil extends Tree

object Tree {
  def fold[B](t: Tree, e: B, n: (Int, B, B) => B): B = t match {
    case Node(value, l, r) => n(value,fold(l,e,n),fold(r,e,n))
    case _ => e
  }
  def sumTree(t: Tree) = {
    val nodeValue: Tree=>Int = {
      case Node(v,_,_) => v
      case _ => 0
    }
    fold[Tree](t,Nil,(acc,l,r)=>Node(acc + nodeValue(l) + nodeValue(r) ,l,r)) 
  }
}

рекурсия, которую вы придумали, - это единственное возможное направление, которое позволяет вам пересечь дерево и создать измененную копию неизменяемой структуры данных. Любые листовые узлы должны быть созданы сначала перед добавлением в корень, потому что отдельные узлы дерева неизменяемы, и все объекты, необходимые для построения узла, должны быть известны до построения: листовые узлы должны быть созданы перед созданием корневого узла.