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
    ← previous next →

    Contributors to this page:

    Contents
    Problem with this page?
         Please help us fix it!