理解【Scala编程】书中的PrefixMap

        此书中最难理解的应该就是PrefixMap这个例子了，我大概花了一个晚上才明白这个例子的写法。使用下面的程序调用这个例子：

  def main(args: Array[String]): Unit = {
    val p = PrefixMap("abc" -> 1, "ad" -> 3, "da" -> 5)
    val wp = p.withPrefix("a")
    val iter = wp.iterator
    while (iter.hasNext) {
      println(iter.next())
    }
  }

        这个方法加入到object PrefixMap里可以测试结果，中间临时变量是方便调试时查看结果。这里调用后，理解的难点在于：

1.实例化的p，其内部到底是怎么样的结构

2.为什么wp会显示出("bc" -> 1), ("d" -> 3)

        首先回答第一个问题，实例化p的过程实际上是对每一个元组参数，递归调用withPrefix方法，比如对于("abc" -> 1)的输入，会调用p.withPrefix("abc").value = Some(1)。然后，p的内部将会生成如下的结构：

 其中pm1、pm2、pm3是为了区分不同的对象，在程序内部实际上是元组的第二个属性也就是通过【_2】来访问。这个里面pm3的值，由下面语句赋值：

withPrefix(s).value = Some(elem)

也就是这段代码的value最终赋值给的上是pm3的属性！！！

        下面来看第二个问题，这个问题首先要找到wp的数据是在哪里产生的，答案很显然就是iterator，也就是PrefixMap的数据结果不是直接存储的。但是变态的地方来了，PrefixMap的这个iterator方法看了很久，你可能会发现，竟然看不懂！！！下面是iterator的代码：

  def iterator: Iterator[(String, T)] =
    (for (v <- value.iterator) yield ("", v)) ++
    (for ((chr, m) <- suffixes.iterator; (s, v) <- m.iterator)
      yield (chr +: s, v))

这个里面的难点在于，iterator是递归的。为了得到wp的第一个值，将要通过这样的方式返回：

相信通过这个图，加上递归的提示，能节约一些理解的时间。

        虽然最后理解了这段程序，但不得不说，Scala在减少代码书写、丰富语言表现力的同时，可读性差了很多！这也是Scala小众的原因之一吧。

--- 2021.12.9 更新

熟悉了Scala语言后，发现【递归迭代器】这样的表达实际上很高效，也比较直观。