Scala 通配符用於遞歸泛型定義

Question

假設有以下特征定義：

trait MyTrait[A, B <: MyTrait[A, B]]有一個實現：

class MyClass extends MyTrait[Int, MyClass]

熱門編寫通用部分 function 的簽名來過濾MyTrait的任何實例？

def filterMyTrait: PartialFunction[MyTrait[_, _], Boolean] = {
  case myClass: MyClass => true
}

或者

def filterMyTrait: PartialFunction[MyTrait[_, _ <: MyTrait[_, _]], Boolean]  = {
  case myClass: MyClass => true
}

兩者都在編譯時失敗

type arguments [_$1,_$2] do not conform to trait MyTrait's type parameter bounds [A,B <: MyTrait[A,B]] def filterMyTrait: PartialFunction[MyTrait[_, _ <: MyTrait[_, _]], Boolean] = {

Answer 1

嘗試使您的方法通用

def filterMyTrait[A, B <: MyTrait[A, B]]: PartialFunction[MyTrait[A, B], Boolean] = {
  case myClass: MyClass => true
}

或使用存在類型

def filterMyTrait: PartialFunction[MyTrait[A, B] forSome {type A; type B <: MyTrait[A, B]}, Boolean] = {
  case myClass: MyClass => true
}