回答一位网友对Scala的提问

本来准备在私信里直接回复了，但是发现不太方便，就简要回答在这里。

问题 写道

对于scala的简洁十分佩服，但又觉得比较晦涩，例如一例，Map("a" -> List(11,111)).flatMap(_._2)，可否说下最后那个函数做了什么，真正在开发的时候也会如此简洁？谢谢

   先回答一点，在实际使用中，Scala毫无疑问就是这么简单。

    首先

Map("a" -> List(11,111)).flatMap(_._2)   //List(11, 111)

   为什么能以_._2调用是因为 -> 标识符产生的是一个Tuple2对象（包含有两个元素的元组,如（1，2））   

 

def -> [B](y: B): Tuple2[A, B] = Tuple2(x, y)

  而Tuple2对象就可以分别使用_1,_2来调用第一第二个元素。

   回过来看 （☆）

Map("a" -> List(11,111)).map(_._2)  //List(List(11, 111))

这里_._2就相当于是取得元组("a",List(11,111))的第二个元素即List（11, 111）

为什么会又多出一个List? 看下scala.collection.immutable.Map的map方法的定义：

 

  def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That ={
    val b = bf(repr)
    b.sizeHint(this)
    for (x <- this) b += f(x)
    b.result
  }

 

    具体不解释了，顺着上面的方法看下去就知道了。稍微提示一下，（☆）那部分代码带着-Xprint：typer编译的部分结果是：

 

scala.this.Predef.Map.apply[java.lang.String, List[Int]](scala.this.Predef.any2ArrowAssoc[java.lang.String]("a").->[List[Int]](immutable.this.List.apply[Int](11, 111))).map[List[Int], scala.collection.immutable.Iterable[List[Int]]](((x$1: (java.lang.String, List[Int])) => x$1._2))(immutable.this.Iterable.canBuildFrom[List[Int]])

   而flatMap只是在输出结果时会调用 ++= 而已

 

譬如

val l1 = List(1,2,3)
val l2 = List(4,5,6)
val l3 = List(7,8,9)
	
val bigList = List(l1,l2,l3)
	
println(bigList) //List(List(1, 2, 3), List(4, 5, 6), List(7, 8, 9))
	
val lb = scala.collection.mutable.ListBuffer[Int]()
	
bigList.foreach(xs =>lb ++= xs)
	
println(lb.toList) //List(1, 2, 3, 4, 5, 6, 7, 8, 9)

 事实上也就是走到：

 def ++=(xs: TraversableOnce[A]): this.type = { xs.seq foreach += ; this }

 

 

所以自己可以思考一下下面代码的结果：

    val rs1 = Map("a" -> List(List(11),List(111))).map(_._2)
    val rs2 = Map("a" -> List(List(11),List(111))).flatMap(_._2)
    val rs3 = Map("a" -> List(11), "b" -> List(111)).flatMap(_._2)

List(List(List(11), List(111)))

List(List(11), List(111))

List(11, 111)

以为着即使flat也不能把把嵌套List的压平。

 

码了半小时的字，有没有效果啊？