模式匹配中方法的类型推断与类类型参数之间的区别

Question

bounty到期在6天内。该问题的答案有资格获得+ 200声望赏金。Luis Miguel Mejía Suárez想要引起更多关注对此问题。

为什么类型匹配来自封闭方法而不是封闭类时，模式匹配的工作方式不同？例如，

trait Base[T]
case class Derived(v: Int) extends Base[Int]

class Test[A] {
  def method(arg: Base[A]) = {
    arg match {
      case Derived(_) => 42
    }
  }
}

给出错误

constructor cannot be instantiated to expected type;
 found   : A$A87.this.Derived
 required: A$A87.this.Base[A]
      case Derived(_) => 42
           ^

[当A是方法类型参数时成功编译

class Test {
  def method[A](arg: Base[A]) = {
    arg match {
      case Derived(_) => 42
    }
  }
}

---

^{这个问题是基于丹尼尔的analysis，我曾试图向类似的问题提供answer。}

Answer 1

在后一种情况下，“ A”是自由类型变量，因此可以表示任何类型：

def method[A](arg: Base[A]) = ...

可以用A的任何兼容类型调用此方法。

在前一种情况下，“ A”绑定在方法之外，并且编译器无法看到一种方法来保证您的方法在所有情况下都可以使用。