Scala：F-有界多态性困境

Question

假设存在以下类型和方法：

trait X[A <: X[A]]

case class C extends X[C]

def m(x: PartialFunction[X[_], Boolean])

我希望能够创建一个要传递给m的PartialFunction。

第一次尝试就是写作

val f: PartialFunction[X[_], Boolean] = { 
  case c: C => true
}

m(f)

这种type arguments [_$1] do not conform to trait X's type parameter bounds [A <: X[A]]失败type arguments [_$1] do not conform to trait X's type parameter bounds [A <: X[A]] 。 所以，似乎我们必须约束X的类型参数。

第二次尝试：

val f: PartialFunction[{type A <: X[A]}, Boolean] = { 
  case c: C => true
}

m(f)

由于PartialFunction[AnyRef{type A <: X[this.A]},Boolean] <: PartialFunction[X[_],Boolean]为false PartialFunction[AnyRef{type A <: X[this.A]},Boolean] <: PartialFunction[X[_],Boolean]因此无法应用m 。

有没有任何方法不涉及在部分函数的定义和m的应用上实际满足编译器的转换？

Answer 1

不确定这是否是你想要实现的，但这是工作顺序：

trait X[A <: X[A]]
case class C extends X[C]
def m[T<:X[T]](x: PartialFunction[X[T], Boolean]) = print("yahoo!")

scala> def f[T<:X[T]]:PartialFunction[X[T], Boolean] = {
     | case c: C => true
     | }
f: [T <: X[T]]=> PartialFunction[X[T],Boolean]

scala> m(f)
yahoo!

Answer 2

我不确定你究竟想要什么，但由于你使用的是存在类型（以伪装的_语法），这就是你如何做到这一点：

val f: PartialFunction[X[A] forSome {type A <: X[A]}, Boolean] = {
  case c : C => true
}

这里的_语法不够好，因为你需要给存在类型赋予正确的上限。 只有使用更明确的forSome语法才能实现这一点。

但令我惊讶的是，Scala接受了声明

def m(x: PartialFunction[X[_], Boolean])

首先。 它甚至认为X[_]是一个结构良好的类型似乎很奇怪。 这是X[A] forSome {type A <: Any} ，它不应该是X的有效应用程序，因为它不符合参数边界。