| title | type | description | language | num | previous-page | next-page | partof | overview-name | layout | permalink |
|---|---|---|---|---|---|---|---|---|---|---|
Given 实例和 Using 语句 |
section |
This page demonstrates how to use 'given' instances and 'using' clauses in Scala 3. |
zh-cn |
61 |
ca-extension-methods |
ca-context-bounds |
scala3-book |
Scala 3 — Book |
multipage-overview |
/zh-cn/scala3/book/:title.html |
Scala 3 提供了两个重要的上下文抽象特性：
- Using 语句 允许你指定参数，这些参数程序员可以在调用时省略，这些参数由上下文自动提供。
- Given 实例 让您定义 Scala 编译器可以用来填充缺失参数的术语。
在设计系统时，通常需要向系统的不同组件提供上下文信息，如_配置_或设置。 实现此目的的一种常见方法是将配置作为附加参数传递给您的方法。
在下面的示例中，我们定义了一个样例类 Config 来模拟一些网站配置并在不同的方法中传递它。
{% tabs nonusing %} {% tab 'Scala 2 and 3' %}
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){% endtab %} {% endtabs %}
让我们假设配置在我们的大部分代码库中都没有改变。
将 c 传递给每个方法调用（如 renderWidget）变得非常乏味并且使我们的程序更难阅读，因为我们需要忽略 c 参数。
在 Scala 3 中，我们可以将方法的一些参数标记为_上下文_。
{% tabs using1 %} {% tab 'Scala 3 Only' %}
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 = ???{% endtab %} {% endtabs %}
通过使用关键字 using 开始参数部分，我们告诉 Scala 编译器它应该在调用处自动找到具有正确类型的参数。
因此，Scala 编译器执行术语推断。
在我们对 renderWidget(List("cart")) 的调用中，Scala 编译器将看到作用域（c）中有一个类型为 Config 的术语，并自动将其提供给 renderWidget。
所以程序等同于上面的程序。
事实上，由于我们不再需要在 renderWebsite 的实现中引用 c，我们甚至可以在签名中省略它的名字：
{% tabs using2 %} {% tab 'Scala 3 Only' %}
// no need to come up with a parameter name
// vvvvvvvvvvvvv
def renderWebsite(path: String)(using Config): String =
"<html>" + renderWidget(List("cart")) + "</html>"{% endtab %} {% endtabs %}
我们已经了解了如何_抽象_上下文参数，并且 Scala 编译器可以自动为我们提供参数。
但是我们如何指定调用 renderWebsite 时使用的配置呢？
就像我们使用 using 指定参数部分一样，我们也可以使用 using 显式提供上下文参数：
{% tabs using3 %} {% tab 'Scala 3 Only' %}
renderWebsite("/home")(using config){% endtab %} {% endtabs %}
如果我们在范围内有多个有意义的不同值，并且我们希望确保将正确的值传递给函数，则显式提供上下文参数可能很有用。
对于所有其他情况，正如我们将在下一节中看到的，还有另一种方法可以将上下文值引入范围。
我们已经看到，我们可以通过使用 using 标记 调用_的参数部分来显式地将参数作为上下文参数传递。
但是，如果某个特定类型有一个_单一的规范值，则还有另一种首选方法可以使其对 Scala 编译器可用：将其标记为 given。
{% tabs given1 %} {% tab 'Scala 3 Only' %}
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{% endtab %} {% endtabs %}
在上面的示例中，我们指定每当在当前范围内省略 Config 类型的上下文参数时，编译器应该将 config 推断为参数。
为 Config 定义了 given，我们可以简单地调用 renderWebsite：
{% tabs given2 %} {% tab 'Scala 3 Only' %}
renderWebsite("/home")
// ^^^^^
// again no argument{% endtab %} {% endtabs %}
[reference]: {{ site.scala3ref }}/overview.html [blog-post]: /2020/11/06/explicit-term-inference-in-scala-3.html