Scala 3 — Book

Given 实例和 Using 语句

Language
使用上下文抽象仅限Scala 3

Scala 3 提供了两个重要的上下文抽象特性:

  • Using 语句 允许你指定参数,这些参数程序员可以在调用时省略,这些参数由上下文自动提供。
  • Given 实例 让您定义 Scala 编译器可以用来填充缺失参数的术语。

Using 语句

在设计系统时,通常需要向系统的不同组件提供上下文信息,如_配置_或设置。 实现此目的的一种常见方法是将配置作为附加参数传递给您的方法。

在下面的示例中,我们定义了一个样例类 Config 来模拟一些网站配置并在不同的方法中传递它。

case class Config(port: Int, baseUrl: String)

def renderWebsite(path: String, c: Config): String =
    "<html>" + renderWidget(List("cart"), c)  + "</html>"

def renderWidget(items: List[String], c: Config): String = ???

val config = Config(8080, "docs.scala-lang.org")
renderWebsite("/home", config)

让我们假设配置在我们的大部分代码库中都没有改变。 将 c 传递给每个方法调用(如 renderWidget)变得非常乏味并且使我们的程序更难阅读,因为我们需要忽略 c 参数。

使用 using 将参数标记为上下文

在 Scala 3 中,我们可以将方法的一些参数标记为_上下文_。

def renderWebsite(path: String)(using c: Config): String =
    "<html>" + renderWidget(List("cart"))    + "</html>"
    //                                   ^^^
    //                   no argument c required anymore

def renderWidget(items: List[String])(using c: Config): String = ???

通过使用关键字 using 开始参数部分,我们告诉 Scala 编译器它应该在调用处自动找到具有正确类型的参数。 因此,Scala 编译器执行术语推断

在我们对 renderWidget(List("cart")) 的调用中,Scala 编译器将看到作用域(c)中有一个类型为 Config 的术语,并自动将其提供给 renderWidget。 所以程序等同于上面的程序。

事实上,由于我们不再需要在 renderWebsite 的实现中引用 c,我们甚至可以在签名中省略它的名字:

//        no need to come up with a parameter name
//                             vvvvvvvvvvvvv
def renderWebsite(path: String)(using Config): String =
    "<html>" + renderWidget(List("cart")) + "</html>"

明确提供上下文参数

我们已经了解了如何_抽象_上下文参数,并且 Scala 编译器可以自动为我们提供参数。 但是我们如何指定调用 renderWebsite 时使用的配置呢?

就像我们使用 using 指定参数部分一样,我们也可以使用 using 显式提供上下文参数:

renderWebsite("/home")(using config)

如果我们在范围内有多个有意义的不同值,并且我们希望确保将正确的值传递给函数,则显式提供上下文参数可能很有用。

对于所有其他情况,正如我们将在下一节中看到的,还有另一种方法可以将上下文值引入范围。

Give 实例

我们已经看到,我们可以通过使用 using 标记 调用_的参数部分来显式地将参数作为上下文参数传递。 但是,如果某个特定类型有一个_单一的规范值,则还有另一种首选方法可以使其对 Scala 编译器可用:将其标记为 given

val config = Config(8080, "docs.scala-lang.org")
//  this is the type that we want to provide the
//  canonical value for
//    vvvvvv
given Config = config
//             ^^^^^^
// this is the value the Scala compiler will infer
// as argument to contextual parameters of type Config

在上面的示例中,我们指定每当在当前范围内省略 Config 类型的上下文参数时,编译器应该将 config 推断为参数。

Config 定义了 given,我们可以简单地调用 renderWebsite

renderWebsite("/home")
//                    ^^^^^
//   again  no argument

Contributors to this page: