码迷,mamicode.com
首页 > 其他好文 > 详细

Scala---For语句段

时间:2015-06-03 17:46:01      阅读:170      评论:0      收藏:0      [点我收藏+]

标签:scala   超人学院   hadoop   

For语句段
语法:
Expr1 ::= ?for? (?(? Enumerators ?)? | ?{? Enumerators
?}?) {nl} [?yield?] Expr
Enumerators ::= Generator {semi Enumerator}
Enumerator ::= Generator
| Guard
| ?val? Pattern1 ?=? Expr
Generator ::= Pattern1 ?<-? Expr [Guard]
Guard ::= ?if? PostfixExpr
for语句段for (enums) yield e对于由枚举器enums产生的每个绑定求值表达式e。一个枚举器序列总是由一个产生器开始;然后可跟其他产生器,值定义,或守卫。一个产生器 p <- e从一个与模式p匹配的表达式e产生绑定。值定义val p = e将值名称p(或模式p中的数个名称)绑定到表达式e的求值结果上。守卫if e包含一个布尔表达式,限制了枚举出来的绑定。产生器和守卫的精确含义通过翻译为四个方法的调用来定义:map filter flatMap和foreach。这些方法可以针对不同的携带类型具有不同的实现。
翻译框架如下。在第一步里,每个产生器p <- e,对于e的类型被替换为如下形式,p不是不可反驳的(§8.1):
p <- e.filter { case p => true; case _ => false }
然后,以下规则将重复应用,直到所有的语句段都消耗完毕。
 for语句段 for (p <- e) yield e?被翻译为e.map { case p => e? }
 for语句段 for (p <- e) e? 被翻译为e.foreach { case p => e? }
 for语句段 for (p <- e; p? <- e? ...) yield e??, 这里...是一个产生器或守卫序列(可能为空),该语句段翻译为 e.flatMap { case p => for(p? <- e? ...) yield e?? }
 for语句段 for (p <- e; p? <- e? ...) e??
这里... 是一个产生器或守卫序列(可能为空),该语句段翻译为 e.foreach { case p => for (p? <- e? ...) e?? }
 后跟守卫if g的产生器p <- e翻译为单个产生器p <- e.filter((x1,...,xn) => g),这里x1,...,xn是p的自由变量。
 后跟值定义val p? = e?的产生器 p <- e翻译为以下值对产生器,这里的x和x?是新名称: val (p, p?) <- for (x@p <- e) yield { val x?@p? = e?; (x, x?) }
示例6.19.1 以下代码产生1到n-1间所有和为素数的数值对
for { i <- 1 until n
j <- 1 until i
if isPrime(i+j)
} yield (i, j)
该for语句段翻译为:
(1 until n)
.flatMap {
case i => (1 until i)
.filter { j => isPrime(i+j) }
.map { case j => (i, j) }
示例6.19.2 for语句段可以用来简明地描述向量和矩阵算法。比如以下就是一个函数来计算给定矩阵的转置:
def transpose[A](xss: Array[Array[A]]) = {
for (i <- Array.range(0, xss(0).length)) yield
for (xs <- xss) yield xs(i)
}
以下是一个函数,用来计算两个向量的无向量积:
def scalprod(xs: Array[Double], ys: Array[Double]) = {
var acc = 0.0
for ((x, y) <- xs zip ys) acc = acc + x * y
acc
}
最后,这是一个求两个矩阵的积的函数。可以与示例 6.15.1中的常见版本做一个比较
def matmul(xss: Array[Array[Double]], yss: Array[Array[Double]] = {
val ysst = transpose(yss)
for (xs <- xss) yield
for (yst <- ysst) yield
scalprod(xs, yst)
}

以上代码使用了类scala.Array中已有定义的成员map, flatMap, filter和foreach。

更多精彩内容请关注:http://bbs.superwu.cn

关注超人学院微信二维码:技术分享

关注超人学院java免费学习交流群:技术分享

Scala---For语句段

标签:scala   超人学院   hadoop   

原文地址:http://blog.csdn.net/crxy2014/article/details/46347019

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!