scala – foreach中泛型类型的要点是什么？

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

导读：我很好奇 – 通用类型U在宣称Traversable的foreach方法是什么意义？ def foreach[U](f: A = U): Unit 由于Function1的返回类型是协变的，为什么不能这样呢？ def foreach(f: A = Any): Unit ？解决方法不是Martin Odersky，我只能猜到:-)看看foreach的Scal

我很好奇 – 通用类型U在宣称Traversable的foreach方法是什么意义？

def foreach[U](f: A => U): Unit

由于Function1的返回类型是协变的，为什么不能这样呢？

def foreach(f: A => Any): Unit

？

解决方法

不是Martin Odersky，我只能猜到:-)看看foreach的Scaladoc，我看到：

/** Applies a function `f` to all elements of this $coll.
   *
   *  @param  f   the function that is applied for its side-effect to every element.
   *              The result of function `f` is discarded.
   *              
   *  @tparam  U  the type parameter describing the result of function `f`. 
   *              This result will always be ignored. Typically `U` is `Unit`,*              but this is not necessary.
   *
   *  @usecase def foreach(f: A => Unit): Unit
   */

所以f的返回类型并不重要，其结果总是被丢弃。这对我来说，建议在这里使用通用类型参数来标记返回类型只是一个文档的微妙，说“返回类型可以是任何东西，任何你喜欢的东西”。而Any的返回类型可能会向(某些)读者建议对这里适用的功能类型的某种限制。

另一个方面是，Scala非常有意识地设计为从头开始是通用的。所以 – 对我来说 – 使用通用类型参数与语言的一般哲学是一致的，而使用Any – 虽然技术上可用 – 将是绝对非通用的方法，这与其余的语言是不一致的。

（编辑：李大同）

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