scala – 具有上限的联合类型

隐含的“证据”

@implicitNotFound(msg="Only String,Array[Byte] and InputStream are supported")
  sealed class Input[T]
  object Input{
    implicit object ByteArrayWitness extends Input[Array[Byte]]
    implicit object StringWitness extends Input[String]
    implicit object InputStreamWitness extends Input[InputStream]
  }

API方法

def foo[T: Input](param: T) =
  param match {
    case x: String => //...
    case x: Array[Byte] => //...
    case x: InputStream => //...
    case _ => throw new UnsupportedOperationException(s"not implemented for type ${param.getClass}")
  }

问题

这个编译

foo("test")
foo(Array[Byte](123.toByte))

但这不是(因为它不是具体的InputStream)

foo(new ByteArrayInputStream("abc".getBytes("UTF-8")))

我必须将其强制转换为超级类型以使其工作(此编译)

foo(new ByteArrayInputStream("abc".getBytes("UTF-8")).asInstanceOf[InputStream])

有没有办法改变

implicit object InputStreamWitness extends Input[InputStream]

所以它是扩展InputStream的一切证据？我有一种感觉,有一些上限<：符号插在某处,我真的不知道在哪里...... 或者这是从上述问题的最高投票答案的“疯狂的lambda微积分”来拯救？