Scala：当类型参数是成员类型时，让集合的类型参数在"collect"中幸存下来

Question

通常，当收集与特定类型匹配的序列的所有元素时，生成的集合同时具有原始集合的类型以及为以下对象选择的类型：

trait Foo
trait Bar
trait Baz {
  // Works
  def def1(foo: Seq[Foo]): Seq[Foo with Bar] = 
    foo collect {case foobar: Bar => foobar}
}

当输入类型由有界成员类型参数化并且我想要返回的是由绑定类型（而不是成员类型）参数化的序列时，这甚至有效：

trait Baz {
  type memberType <: Foo
  // Works
  def2(foo: Seq[memberType]): Seq[Foo with Bar] =
    foo collect {case foobar: Bar => foobar}
}

但是，当我实际想要返回由成员类型参数化的序列时，这将失败：

trait Baz {
  type memberType <: Foo
  // Fails
  def def3(foo: Seq[memberType]): Seq[memberType with Bar] =
    foo collect {case foobar: Bar => foobar}
}

错误信息：

error: type mismatch;
 found   : Seq[this.Foo with this.Bar]
 required: Seq[Baz.this.memberType with this.Bar]
    foo collect {case foobar: Bar => foobar}

为了恢复功能，我可以在collect调用中包含成员类型，但这似乎是多余的，因为每个元素都必须与该类型匹配，因为签名：

trait Baz {
  type memberType <: Foo
  // Works
  def def4(foo: Seq[memberType]): Seq[memberType with Bar] =
    foo collect {case foobar: memberType with Bar => foobar}
}

有没有办法定义成员类型的序列，以便他们在collect编辑时记住其成员类型？

Answer 1

这不是答案，而只是一些观察。这有效：

trait Baz[A <: Foo] {
  def def3(foo: Seq[A]): Seq[A] =
    foo collect {case foobar => foobar}
}

但这不是：

trait Baz[A <: Foo] {
  def def3(foo: Seq[A]): Seq[A] =
    foo collect {case foobar: Bar => foobar}
}

这也不是：

trait Baz[A] {
  def def3(foo: Seq[A]): Seq[A] =
    foo collect {case foobar: Bar => foobar}
}

所以这似乎是模式匹配器的效果;我认为这与collect没有任何关系。不知何故，一旦您将类型添加到匹配案例中，它就会丢失信息：-/

但作为凯托，我实际上也很惊讶，你的前两个案例确实有效。类型推断算法必须在已知的稳定类型（Foo）和类型参数或类型成员之间产生差异，这必须是（并且似乎是合理的）。您可能需要在 scala 语言邮件列表中提问，让一些编译器大师回答这个问题......