什么是List [String~Int]？

Question

在浏览play框架的scala文档（ Play Docs ）时，我看到了一种我从未见过的语法。

val populations:List[String~Int] = {
  SQL("select * from Country").as( str("name") ~ int("population") * ) 
}

请问有人请告诉我List[String~Int]中的“〜”是什么意思？

Answer 1

可能是这个帮助：

scala> class ~[A, B]
defined class $tilde

scala> List.empty[String~Int]
res1: List[~[String,Int]] = List()

实际上， ~不是标准库的一部分，这是一个来自play框架的泛型类，它允许使用中缀表示法。 在scala中，任何带有2个泛型参数的泛型类都可以使用中缀表示法。 例如，以下也有效：

scala> class X[A, B]
defined class X

scala> List.empty[String X Int]
res1: List[X[String,Int]] = List()

在您的情况下，您将在Play框架API中找到~的定义。