Scala的理解为`if`语句

发布时间：2020-12-16 09:22:01 所属栏目：安全来源：网络整理

导读：在scala中有可能专门从事内部的条件,如果在理解之内？我在想： val collection: SomeGenericCollection[Int] = ...trait CollectionFiltercase object Even extends CollectionFiltercase object Odd extends CollectionFilterval evenColl = for { i - coll

在scala中有可能专门从事内部的条件,如果在理解之内？我在想：

val collection: SomeGenericCollection[Int] = ...

trait CollectionFilter
case object Even extends CollectionFilter
case object Odd extends CollectionFilter

val evenColl = for { i <- collection if(Even) } yield i
//evenColl would be a SomeGenericEvenCollection instance

val oddColl = for { i <- collection if(Odd) } yield i
//oddColl would be a SomeGenericOddCollection instance

要点是,通过产生我,我得到一个可能不同类型的新集合(因此我将其称为“专业化”) – 而不是仅仅是相同GenericCollection类型的过滤版本.

我问的原因是我看到一些我无法想象的东西(一个例子可以找到on line 33 of this ScalaQuery example.它的作用是创建一个数据库的查询(即SELECT … FROM … WHERE …),在那里我会期望它迭代所述查询的结果.

解决方法

所以,我想你在询问if语句是否可以理解为更改结果类型.答案是“是的,但…”.

首先,了解如何扩展理解.这里有一些Stack Overflow讨论它的问题,还有一些参数可以传递给编译器,以便它会显示出如何发生的情况.

无论如何,这段代码：

val evenColl = for { i <- collection if(Even) } yield i

翻译为：

val evenColl = collection.withFilter(i => Even).map(i => i)

所以,如果withFilter方法更改了集合类型,那么它将会做你想要的 – 在这种简单的情况下.在更复杂的情况下,这一点不行：

for {
  x <- xs
  y <- ys
  if cond
} yield (x,y)

翻译成

xs.flatMap(ys.withFilter(y => cond).map(y => (x,y)))

在这种情况下,flatMap正在决定要返回的类型.如果从返回的结果中获取提示,那么它可以工作.

现在,在Scala Collections中,withFilter不会更改集合的类型.然而,你可以编写自己的类,这样做.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!