我了解以下是scala中上限类型参数化的示例，其中T必须是Command的子类型。
def getSomeValue[T <: Command] = ...
但是，今天我发现了以下具有多种参数类型的类型参数化实现，并且由于我是 scala 的初学者，我完全无法理解它的实际作用。这是否意味着 T 必须是 Command、Foo 或 Bar 的子类型？
def getSomeValue[T <: Command : Foo : Bar] = ...
【问题讨论】：
标签： scala
类型参数规范中的独立冒号实际上是更长且相当复杂的参数调用的简写（语法糖）。
示例：def f[N: Numeric](n: N) = ...
真的是：def f[N](n: N)(implicit ev: Numeric[N]) = ...
这意味着当f(x) 被调用时，必须有一个与Numeric[x.type] 匹配的隐式范围。
因此，在您的示例代码片段中：def getSomeValue[T <: Command : Foo : Bar] = ...
编译器将其大致转换为以下内容：
def getSomeValue[T <: Command](implicit ev1: Foo[T], ev2: Bar[T]) = ...
我们可以通过提供足够的骨架代码来证明这一点，使其实际可编译。
class Command {}
class Foo[F] {}
class Bar[B] {}
class Cmd extends Command
def getSomeValue[T <: Command : Foo : Bar](t: T) = t
getSomeValue(new Cmd)(new Foo[Cmd], new Bar[Cmd])
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// implicit parameters supplied explicitly
【讨论】：
这是否意味着 T 必须是 Command、Foo 或 Bar 的子类型？
不，T 仍然需要上限。现在，当调用此方法时，您还必须在范围内拥有Foo[T] 和Bar[T] 的隐式 实例。这称为Context Bounds，它的语法糖是：
def getSomeValue[T <: Command](implicit f: Foo[T], b: Bar[T])
如果您不知道隐含的含义，请refer to the documentation 了解更多信息。
【讨论】：