From 7aebbd2d8633f4d298e983de138684d02f305447 Mon Sep 17 00:00:00 2001 From: Ben Luo Date: Sat, 27 May 2023 15:24:32 +0800 Subject: [PATCH 1/6] modified Chinese ca-context-bounds.md --- .../scala3-book/ca-context-bounds.md | 90 +++++++++++++++---- 1 file changed, 75 insertions(+), 15 deletions(-) diff --git a/_zh-cn/overviews/scala3-book/ca-context-bounds.md b/_zh-cn/overviews/scala3-book/ca-context-bounds.md index c7b81b6d1..d39a367ca 100644 --- a/_zh-cn/overviews/scala3-book/ca-context-bounds.md +++ b/_zh-cn/overviews/scala3-book/ca-context-bounds.md @@ -14,41 +14,101 @@ permalink: "/zh-cn/scala3/book/:title.html" --- -{% comment %} -- TODO: define "context parameter" -- TODO: define "synthesized" and "synthesized arguments" -{% endcomment %} - - -在许多情况下，_上下文参数_的名称不必明确提及，因为它仅由编译器在其他上下文参数的合成参数中使用。 +在许多情况下，[上下文参数]({% link _overviews/scala3-book/ca-context-parameters.md %}#context-parameters) 的名称不必明确提及，因为它仅由编译器在其他上下文参数的合成参数中使用。 在这种情况下，您不必定义参数名称，只需提供参数类型即可。 ## 背景 -例如，这个 `maximum` 方法接受 `Ord` 类型的_上下文参数_，只是将它作为参数传递给 `max`： +例如，假设一个 `maxElement` 方法返回一个集合里的最大值： +{% tabs context-bounds-max-named-param class=tabs-scala-version %} +{% tab 'Scala 2' %} ```scala -def maximum[A](xs: List[A])(using ord: Ord[A]): A = - xs.reduceLeft(max(ord)) +def maxElement[A](as: List[A])(implicit ord: Ord[A]): A = + as.reduceLeft(max(_, _)(ord)) ``` +{% endtab %} +{% tab 'Scala 3' %} +```scala +def maxElement[A](as: List[A])(using ord: Ord[A]): A = + as.reduceLeft(max(_, _)(using ord)) +``` +{% endtab %} +{% endtabs %} + +`maxElement` 方法把一个 `Ord[A]` 类的 _上下文参数_ 当作参数只传给 `max` 方法。 -在该代码中，参数名称 `ord` 实际上不是必需的；它可以作为推断参数传递给 `max`，因此您只需声明 `maximum` 使用的类型 `Ord[A]` 而不必给它命名： +为了完整起见，以下是 `max` 和 `Ord` 的定义（请注意，在实践中我们会在 `List` 上使用现有的方法 `max`， +但我们为了说明目的而编造了这个例子）： +{% tabs context-bounds-max-ord class=tabs-scala-version %} +{% tab 'Scala 2' %} ```scala -def maximum[A](xs: List[A])(using Ord[A]): A = - xs.reduceLeft(max) +/** Defines how to compare values of type `A` */ +trait Ord[A] { + def greaterThan(a1: A, a2: A): Boolean +} + +/** Returns the maximum of two values */ +def max[A](a1: A, a2: A)(implicit ord: Ord[A]): A = + if (ord.greaterThan(a1, a2)) a1 else a2 ``` +{% endtab %} + +{% tab 'Scala 3' %} +```scala +/** Defines how to compare values of type `A` */ +trait Ord[A]: + def greaterThan(a1: A, a2: A): Boolean + +/** Returns the maximum of two values */ +def max[A](a1: A, a2: A)(using ord: Ord[A]): A = + if ord.greaterThan(a1, a2) then a1 else a2 +``` +{% endtab %} +{% endtabs %} + +`max` 方法用了类 `Ord[A]` 的上下文参数, 就像 `maxElement` 方法。 + +## 省略上下文参数 + +因为 `ord` 是 `max` 方法的上下文参数，当我们调用方法 `max` 时， 编译器可以在 `maxElement` 的实现中为我们提供它： + +{% tabs context-bounds-context class=tabs-scala-version %} +{% tab 'Scala 2' %} +```scala +def maxElement[A](as: List[A])(implicit ord: Ord[A]): A = + as.reduceLeft(max(_, _)) +``` +{% endtab %} + +{% tab 'Scala 3' %} +```scala +def maxElement[A](as: List[A])(using Ord[A]): A = + as.reduceLeft(max(_, _)) +``` + +注意，因为我们不用显示传递给 `max` 方法，我们可以在 `maxElement` 定义里不命名。 +这是 _匿名上下文参数_ 。 +{% endtab %} +{% endtabs %} ## 上下文绑定 -鉴于此背景，_上下文绑定_是一种简写语法，用于表达“依赖于类型参数的上下文参数”模式。 +鉴于此背景，_上下文绑定_ 是一种简写语法，用于表达“依赖于类型参数的上下文参数”模式。 使用上下文绑定，`maximum` 方法可以这样写： +{% tabs context-bounds-max-rewritten %} +{% tab 'Scala 2 and 3' %} ```scala -def maximum[A: Ord](xs: List[A]): A = xs.reduceLeft(max) +def maxElement[A: Ord](as: List[A]): A = + as.reduceLeft(max(_, _)) ``` +{% endtab %} +{% endtabs %} 方法或类的类型参数 `A`，有类似 `:Ord` 的绑定，它表示有 `Ord[A]` 的上下文参数。 +在后台，编译器将此语法转换为“背景”部分中显示的语法。 有关上下文绑定的更多信息，请参阅 Scala 常见问题解答的 [“什么是上下文绑定？”](https://docs.scala-lang.org/tutorials/FAQ/context-bounds.html) 部分。 From 7225c5ff2336b4a3a85788fdc017b640e926e860 Mon Sep 17 00:00:00 2001 From: Ben Luo Date: Fri, 15 Sep 2023 21:44:30 +0800 Subject: [PATCH 2/6] Update _zh-cn/overviews/scala3-book/ca-context-bounds.md Co-authored-by: Dongxu Wang --- _zh-cn/overviews/scala3-book/ca-context-bounds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_zh-cn/overviews/scala3-book/ca-context-bounds.md b/_zh-cn/overviews/scala3-book/ca-context-bounds.md index d39a367ca..d2725a637 100644 --- a/_zh-cn/overviews/scala3-book/ca-context-bounds.md +++ b/_zh-cn/overviews/scala3-book/ca-context-bounds.md @@ -14,7 +14,7 @@ permalink: "/zh-cn/scala3/book/:title.html" --- -在许多情况下，[上下文参数]({% link _overviews/scala3-book/ca-context-parameters.md %}#context-parameters) 的名称不必明确提及，因为它仅由编译器在其他上下文参数的合成参数中使用。 +在许多情况下，[上下文参数]({% link _overviews/scala3-book/ca-context-parameters.md %}#context-parameters) 的名称不必显式提及，因为它仅在编译器为其他上下文参数合成实参的时候用到。 在这种情况下，您不必定义参数名称，只需提供参数类型即可。 ## 背景 From 72eccab0c9a3f3179e605c801f103e3551b2e51e Mon Sep 17 00:00:00 2001 From: Ben Luo Date: Fri, 15 Sep 2023 21:46:53 +0800 Subject: [PATCH 3/6] Update _zh-cn/overviews/scala3-book/ca-context-bounds.md Co-authored-by: Dongxu Wang --- _zh-cn/overviews/scala3-book/ca-context-bounds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_zh-cn/overviews/scala3-book/ca-context-bounds.md b/_zh-cn/overviews/scala3-book/ca-context-bounds.md index d2725a637..97ff401a6 100644 --- a/_zh-cn/overviews/scala3-book/ca-context-bounds.md +++ b/_zh-cn/overviews/scala3-book/ca-context-bounds.md @@ -36,7 +36,7 @@ def maxElement[A](as: List[A])(using ord: Ord[A]): A = {% endtab %} {% endtabs %} -`maxElement` 方法把一个 `Ord[A]` 类的 _上下文参数_ 当作参数只传给 `max` 方法。 +上面这个 `maxElement` 方法只接受一个类型为 `Ord[A]` 的 _上下文参数_ 并将其作为实参传给 `max` 方法。 为了完整起见，以下是 `max` 和 `Ord` 的定义（请注意，在实践中我们会在 `List` 上使用现有的方法 `max`， 但我们为了说明目的而编造了这个例子）： From f99e9e0793d0bc27b110c2cee6045f46a68b9fb8 Mon Sep 17 00:00:00 2001 From: Ben Luo Date: Fri, 15 Sep 2023 21:47:17 +0800 Subject: [PATCH 4/6] Update _zh-cn/overviews/scala3-book/ca-context-bounds.md Co-authored-by: Dongxu Wang --- _zh-cn/overviews/scala3-book/ca-context-bounds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_zh-cn/overviews/scala3-book/ca-context-bounds.md b/_zh-cn/overviews/scala3-book/ca-context-bounds.md index 97ff401a6..9f5e2e73c 100644 --- a/_zh-cn/overviews/scala3-book/ca-context-bounds.md +++ b/_zh-cn/overviews/scala3-book/ca-context-bounds.md @@ -38,7 +38,7 @@ def maxElement[A](as: List[A])(using ord: Ord[A]): A = 上面这个 `maxElement` 方法只接受一个类型为 `Ord[A]` 的 _上下文参数_ 并将其作为实参传给 `max` 方法。 -为了完整起见，以下是 `max` 和 `Ord` 的定义（请注意，在实践中我们会在 `List` 上使用现有的方法 `max`， +完整起见，以下是 `max` 和 `Ord` 的定义（注意，在实践中我们会使用 `List` 中已有的 `max` 方法 ， 但我们为了说明目的而编造了这个例子）： {% tabs context-bounds-max-ord class=tabs-scala-version %} From 2cfb6fd4c06b6f780739a84872d9230826a45668 Mon Sep 17 00:00:00 2001 From: Ben Luo Date: Fri, 15 Sep 2023 21:47:26 +0800 Subject: [PATCH 5/6] Update _zh-cn/overviews/scala3-book/ca-context-bounds.md Co-authored-by: Dongxu Wang --- _zh-cn/overviews/scala3-book/ca-context-bounds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_zh-cn/overviews/scala3-book/ca-context-bounds.md b/_zh-cn/overviews/scala3-book/ca-context-bounds.md index 9f5e2e73c..0478a8303 100644 --- a/_zh-cn/overviews/scala3-book/ca-context-bounds.md +++ b/_zh-cn/overviews/scala3-book/ca-context-bounds.md @@ -68,7 +68,7 @@ def max[A](a1: A, a2: A)(using ord: Ord[A]): A = {% endtab %} {% endtabs %} -`max` 方法用了类 `Ord[A]` 的上下文参数, 就像 `maxElement` 方法。 +`max` 方法用了类型为 `Ord[A]` 的上下文参数, 就像 `maxElement` 方法一样。 ## 省略上下文参数 From b76d864dbb6eb46d5ae5c2e266df31be651c777f Mon Sep 17 00:00:00 2001 From: Ben Luo Date: Fri, 15 Sep 2023 21:47:37 +0800 Subject: [PATCH 6/6] Update _zh-cn/overviews/scala3-book/ca-context-bounds.md Co-authored-by: Dongxu Wang --- _zh-cn/overviews/scala3-book/ca-context-bounds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_zh-cn/overviews/scala3-book/ca-context-bounds.md b/_zh-cn/overviews/scala3-book/ca-context-bounds.md index 0478a8303..9e12eb219 100644 --- a/_zh-cn/overviews/scala3-book/ca-context-bounds.md +++ b/_zh-cn/overviews/scala3-book/ca-context-bounds.md @@ -97,7 +97,7 @@ def maxElement[A](as: List[A])(using Ord[A]): A = 鉴于此背景，_上下文绑定_ 是一种简写语法，用于表达“依赖于类型参数的上下文参数”模式。 -使用上下文绑定，`maximum` 方法可以这样写： +使用上下文绑定，`maxElement` 方法可以这样写： {% tabs context-bounds-max-rewritten %} {% tab 'Scala 2 and 3' %}