为什么在 GenericTraversableTemplate 上声明 flatten 而不是在 TraversableLike 上声明？

Question

TraversableLike.flatMap 的签名如下：

def flatMap[B, Th](f : (A) => Traversable[B])(implicit bf : CanBuildFrom[Repr, B, Th]) : Th

GenericTraversableTemplate.flatten 的签名是：

def flatten[B](implicit asTraversable : (A) => Traversable[B]) : CC[B] 

为什么是后一种方法（在我看来与 flatMap< /code> 仅在变压器函数是隐式的意义上）不能在 TraversableLike 上定义为：

def flatten[B, Th](implicit asTraversable: (A) => Traversable[B], 
                   implicit bf : CanBuildFrom[Repr, B, Th]) : Th

是否有某种原因表明情况必须如此？

Answer 1

我认为答案就在源代码中：

def flatten[B](implicit asTraversable: A => /*<:<!!!*/ Traversable[B]): CC[B]

flatten 的隐式参数实际上应该是 A <:< Traversable[B] （即，GenericTraversableTemplate 的泛型参数本身就是 Traversable 的断言）。 （请参阅此邮件列表线程 讨论为什么它目前被注释掉。）我的理解是，这个特征中的所有方法过去都是在集合类的（一些）伴随对象上定义的，因为它们只适用于某些实例化（如果是这样的话）类型参数的正确单词）。这个 <:< 构造允许它们成为实例方法。