forScala中的理解只是语法糖。这些内涵在使用中实现withFilter，foreach，flatMap和map他们的主题类型的方法。因此，只能理解使用定义了这些方法的类型for。
具有for以下形式的理解，包括模式pN，生成器gN和条件cN：
for(p0 <- x0 if g0; p1 <- g1 if c1) { ??? }...会使用去糖嵌套调用withFilter和foreach：
g0.withFilter({ case p0 => c0 case _ => false }).foreach({
case p0 => g1.withFilter({ case p1 => c1 case _ => false }).foreach({
case p1 => ???
})
})而以下形式的for/yield表达式：
for(p0 <- g0 if c0; p1 <- g1 if c1) yield ???
...将使用withFilter和flatMap或来对嵌套调用进行糖化map：
g0.withFilter({ case p0 => c0 case _ => false }).flatMap({
case p0 => g1.withFilter({ case p1 => c1 case _ => false }).map({
case p1 => ???
})
})（请注意，map它用于最内层的理解，并且flatMap用于所有外层的理解。）
甲for理解可以应用于任何类型的执行由去加糖表示所需的方法。这些方法的返回类型没有限制，只要它们是可组合的即可。