在类型别名中使用上下文绑定 [英] Use context bound in type alias

问题描述

是否可以在 Scala 的类型别名中使用上下文边界?

Is it possible to use context bounds in type aliases in Scala?

例如

type U = A : B

推荐答案

不，因为上下文绑定实际上是额外隐式参数的简写.

No, because the context bound is actually a shorthand for an extra implicit parameter.

例如:

def sort[A : Ordering](xs: Seq[A])

是

def sort[A](xs: Seq[A])(implicit ordering: Ordering[A])

这不能在类型定义中表示.

and this cannot be represented in a type definition.

这篇关于在类型别名中使用上下文绑定的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！