第83讲：Scala中List的实现内幕源码揭秘

本讲视频是王家林老师通过认真解读scala源码的方式讲解了《Scala中List的实现内幕源码揭秘》。本讲内容如下：

ListBuffer（链表缓存）相当于List的一个工具类，List本身继承ListBuffer，拥有ListBuffer中非私有的方法。对List的操作其实有部分是通过ListBuffer完成的。exported为LiftBuffer中flag（default:false），当flag为true时，表明Buffer已进行了toList操作，此时再进行连接等操作时，会有copy链表的动作发生，消耗内存,在实际编程中应谨慎。

scala的Listd take(n:Int)源码：

override def take(n:Int):List[A]={

val b = new ListBuffer[A]

var i= 0

var these = this

while(!these.isEmpty && i<n){

i += 1

b += these.tail

}

if(these.isEmpty) this

else b.toList

}

这里构建了一个高效的ListBuffer的实例b，最后将实例b通过b.toList方法变成List.toList方法的源代码如下：

override def toList:List[A]={

exported = !start.isEmpty

start

}

这里ListBuffer返回的是其第一个元素，所以ListBuffer的toList是一个高效的方法。

List的子类::的源代码如下：

final case class ::[B](private var hd:B,private[scala] var tl:List[B])extends List[B]{....}

这里第二个参数tl是除了第一个参数之外所构成的一个List,修饰符private[scala]表示只有scala包下的对象才能访问，所以ListBuffer可以访问第二个参数tl。

ListBuffer的源代码如下：

private var start:List[A] = Nil

private var last0: ::[A]=_

private exported:Boolean = false

private var len = 0

这里的start指向了存储缓存的所有列表，默认值是Nil.

ListBuffer的toList方法的源代码如下：

override def toList:List[A]={

exported = !start.isEmpty

start

}

所以toList不会复制存储ListBuffer里面的列表，他只负责返回第一个元素，所以toList的效率非常高。

ListBuffer的追加元素的方法+=的源代码如下：

def +=(x:A): this.type = {

if(exported)copy()

.....

}

这说明如果ListBuffer变成了List的时候我们就把它复制一份，这就产生了一个新的列表。