Scala 类型参数括号

Question

我知道 trait Foo[T] 意味着 T 是参数化类型。 但有时我可以看到trait Foo[T1,T2]，或trait Foo[T1,T2,R]，我找不到任何地方描述里面多种类型的含义类型括号，您能指出这种情况下的用法吗？据我推测， Foo[T1,T2] 只是意味着，它定义了两个类型参数，它不必采用 T1 并返回 T2 。

当我今天阅读 playframework 文档时，我再次发现自己对这个问题感到困惑。在文档中，它说：

BodyParser[A] 基本上是一个 Iteratee[Array[Byte],A]，这意味着 它接收字节块（只要网络浏览器上传一些 data）并计算类型 A 的值作为结果。

这个解释听起来像是，类型括号内的第二个类型参数是返回类型。

我还记得 trait Function2 [-T1, -T2, +R] extends AnyRef 表示一个接受 T1 和 T2 的函数，返回一个R。

为什么他们将返回类型放在括号中？这是否意味着括号中的最后一个参数都是返回类型？或者他们只是碰巧为返回类型定义了一个新类型 R ？

Answer 1

据我推测，Foo[T1,T2] 只是意味着，它定义了两个类型参数，它不必采用 T1 并返回 T2 >.

类型参数的意思只不过是“我需要任何类型，但我不想知道具体类型是什么”，其中“我”是编写代码的程序员。类型参数可以像任何其他类型（例如 Int、String 或 Complex）一样使用 - 唯一的区别是在使用它们之前它们是未知的。

请参阅类型Map[A, +B]。当你第一次阅读本文时，你无法知道 A 和 B 的用途，因此你必须阅读文档：

从 A 类型的键到 B 类型的值的映射。

它解释了类型及其含义。没有什么需要知道或理解的了。它们只是两种类型。可以像 Map[Key, Value] 那样调用 Map，但在源代码内部，类型参数只有一两个字母会更好。这使得区分类型参数和具体类型变得更容易。

它是指定类型参数含义的文档。如果没有文档，您必须查看来源并自行查找其含义。例如，您必须使用 Function2 [-T1, -T2, +R] 来执行此操作。文档只告诉我们这一点：

有 2 个参数的函数。

好的，我们知道三个类型参数中有两个是函数期望的参数，但是第三个是什么呢？我们看一下来源：

def apply(v1: T1, v2: T2): R

啊，现在我们知道 T1 和 T2 是参数，R 是返回类型。

类型参数也可以在方法签名中找到，例如map：

class List[+A] {
  ..
  def map[B](f: (A) ⇒ B): List[B]
}

这就是将map 与List 一起使用时的样子。 A 可以是任何类型 - 它是列表包含的元素的类型。 B 是另一种任意类型。当您知道 map 的作用时，您就知道 B 的作用。否则你必须先了解地图。 map 需要一个可以将 List 的每个元素转换为另一个元素的函数。因为您知道 A 代表列表的元素，您可以从自己那里派生出 B 必须是 A 转换为的类型。

回答您所有其他问题：这不应该通过单一答案来完成。 StackOverflow 上还有很多其他问题和解答，也可以解答您的问题。

总结

当您看到例如 Foo[T1, T2] 中的某些类型参数时，您不应该开始哭泣。想一想：“好吧，我有一个 Foo，它需要 T1 和 T2，如果我想知道它们做什么，我必须阅读文档或源代码。”

Answer 2

类型括号内的多个类型意味着多个类型的类型参数化。举个例子，

trait Pair[A, B]

这是一对值，一个具有 A 类型，另一个具有 B 类型。

更新：

我认为您对类型参数的语义解释过多。由多个参数参数化的类型就是这样，仅此而已。特定类型参数在类型参数列表中的位置并不使其具有任何特殊性。具体来说，类型参数列表中的最后一个参数不需要代表“返回类型”。

您引用的播放框架中的句子解释了这一特定类型的类型参数的语义。它不能推广到其他类型。对于 Function 类型也是如此：这里最后一个类型参数恰好意味着“返回类型”。但其他类型的情况不一定如此。上面的 Pair[A, B] 类型就是这样一个例子。这里 B 是该对中第二个组件的类型。这里根本没有“返回类型”的概念。

参数化类型的类型参数可以出现在参数化类型定义内“常规”类型可能出现的任何位置。也就是说，类型参数只是类型的名称，仅在实例化参数化类型本身时才绑定到实际类型。

考虑 Tuple 类的以下定义：

class Tuple[A, B](a: A, b: B)

它被实例化为 Int 和 String 的元组类型，如下所示：

type TupleIntString = Tuple[Int, String]

相同，

class TupleIntString(a: Int, b: String)     

这本质上与官方源代码 请检查 Scala 语言规范。具体来说，第 3.4 节“基本类型和成员定义”下的 1. 第 4 个要点说：“参数化类型 C[T_1, ..., T_n] 的基本类型是类型 C 的基本类型，其中每次出现 a C 的类型参数 a_i 已替换为相应的参数类型 T_i。”

Answer 3

我认为你的问题实际上可以分为三个单独的问题：

类/特征/等的多个类型参数是什么。 ？

一个典型的例子是从一种类型的对象到另一种对象的映射。如果您希望键的类型与值的类型不同，但保持两者通用，则需要两个类型参数。因此，Map[A,B] 采用泛型类型 A 的键并映射到泛型类型 B 的值。想要从书签到页面的映射的用户会将其声明为 Map[Bookmark, Page]。仅具有一种类型参数将不允许这种区别。

据我推测，Foo[T1,T2] 只是意味着，它定义了两个类型参数，它不必采用 T1 并返回 T2。

不，所有类型参数都是平等的公民，尽管它们对于函数对象在这个方向上具有含义。见下文。

这些 +/- 是什么？

它们限制类型参数可以绑定的内容。 Scala 示例 教程有很好的解释。请参阅第 8.2 节方差注释。

scala 中的函数是什么？

为什么他们把返回类型放在括号里？是不是意味着所有的
括号中的最后一个参数是返回类型？或者他们只是发生了
为返回类型定义了一个新类型 R？

Scala 示例教程在第 8.6 节函数中对此进行了很好的解释。

Answer 4

它们的作用有点类似于类中的作用（即多类型参数），因为特征毕竟是类（没有任何构造函数），旨在作为混合添加到其他类中。

Scala 规范 给出了以下具有多个参数的 Trait 示例：

考虑一个抽象类 Table，它实现从键 A 类型到值 B 类型的映射。
该类有一个方法设置为将新的键/值对输入到表中，还有一个方法 get 返回与给定键匹配的可选值。
最后，还有一个 apply 方法，它与 get 类似，但如果表未针对给定键定义，则它返回给定的默认值。该类的实现如下。

abstract class Table[A, B](defaultValue: B) {
  def get(key: A): Option[B]
  def set(key: A, value: B)
  def apply(key: A) = get(key) match {
    case Some(value) => value
    case None => defaultValue
  }
}

这是Table类的具体实现。

class ListTable[A, B](defaultValue: B) extends Table[A, B](defaultValue) {
  private var elems: List[(A, B)]
  def get(key: A) = elems.find(._1.==(key)).map(._2)
  def set(key: A, value: B) = { elems = (key, value) :: elems }
}

这是一个阻止并发访问其 get 和 set 操作的特征
父类

trait Synchronized Table[A, B] extends Table[A, B] {
  abstract override def get(key: A): B =
  synchronized { super.get(key) }
  abstract override def set((key: A, value: B) =
    synchronized { super.set(key, value) }
}

请注意，SynchronizedTable 不会将参数传递给其超类 Table，
即使 Table 是用形式参数定义的。
另请注意，SynchronizedTable 的 get 和 set 方法中的 super 调用静态引用类 Table 中的抽象方法。这是合法的，只要调用方法被标记为抽象覆盖（第 5.2 节）。

最后，以下 mixin 组合创建了一个同步列表
字符串作为键，整数作为值，默认值为 0：

object MyTable extends ListTable[String, Int](0) with SynchronizedTable

对象MyTable从SynchronizedTable继承其get和set方法。
这些方法中的 super 调用被重新绑定以引用 ListTable 中的相应实现，这是 SynchronizedTable 中的实际超类型
我的表。