Scala的用于推导和flatMap /地图中间结果

Question

从第一次读的是：

for { 
    harpo<-list1 if harpo.length>0 
    groucho<-list2 
    chico<-list3 
} yield (harpo, groucho, chico) 

转换为：

list1.filter(_.length>0).flatMap(harpo =>  
     list2.flatMap(groucho=>list3.map((harpo,groucho,_))) 
) 

我担心由filter返回不必要的中间集合，flatMap & map。第一个通过添加withFilter方法在Scala 2.8（？）中得到修复，我怀疑有一些魔法会根据使用情况改变这些方法的返回类型，因此当用作参数flatMap时，严格收集，但我找不到任何证据。我的怀疑是否正确，并不像乍看起来那么无效？

Answer 1

这与this question有关。具体来说，通过the answer显示@IODEV你如何看待脱糖形式：

$ scala -Xprint:typer -e 
'val list1 = List("foo", "bar"); val list2 = list1; val list3 = list1; 
for (harpo<-list1 if harpo.length>0; groucho <- list2; chico <- list3) 
yield (harpo, groucho, chico)' 

（不换行）

list1.withFilter(_.length() > 0) 
    .flatMap(harpo => 
    list2.flatMap(groucho => 
     list3.map(chico => (harpo, groucho, chico)) 
    ) 
) 

---

我看不出有任何浪费中间集合，你可以保存，除非你去一个可变的建设者和while或foreach来电填写该建设者：

val b = List.newBuilder[(String, String, String)] 
for(harpo <- list1 if harpo.length() > 0; groucho <- list2; chico <- list3) { 
    b += ((harpo, groucho, chico)) 
} 
b.result() 

---

问题是，您的特定代码是否表现出明显的性能问题。例如。你的藏品非常大。如果不是，请使用更习惯的形式（for ... yield）。只有当你真正从中获益时，才会优化for ... {}。