类型类的scala存在类型

Question

我想定义一个这样的功能

def showList(items: Seq[_ : Show]) = {...} Seq type参数是任何具有上下文绑定Show

因此，我可以调用showList(Seq(1, "abc")) 。

应该如何声明该方法？

Answer 1

def showList[A: Show](items: Seq[A]) = { ... }

或更明确地（具有直接使用类型类实例的优势）

def showList[A](items: Seq[A])(implicit ev: Show[A]) = { ... }

对于特定情况，由于scala集合是单态的，因此需要Show[Any]实例。