|
1 | 1 | --- |
2 | 2 | layout: tour |
3 | | -title: Неявные Параметры |
| 3 | +title: Контекстные параметры, также известные, как неявные параметры |
4 | 4 | partof: scala-tour |
5 | 5 | num: 26 |
6 | 6 | language: ru |
7 | 7 | next-page: implicit-conversions |
8 | 8 | previous-page: self-types |
9 | 9 | --- |
10 | 10 |
|
11 | | -Метод может иметь список _неявных_ параметров, помеченный ключевым словом _implicit_ в начале списка параметров. Если параметры в этом списке не передаются как обычно, то Scala будет искать, где можно получить неявное значение требуемого типа, и если найдет, то передаст его автоматически. |
| 11 | +Метод может иметь список _контекстных параметров_ (_contextual parameters_), |
| 12 | +также называемых _неявными параметрами_ (_implicit parameters_) или, точнее, _имплицитами_ (_implicits_). |
| 13 | +Списки параметров, начинающиеся с ключевого слова `using` (или `implicit` в Scala 2), задают контекстные параметры. |
| 14 | +Если сторона вызова явно не предоставляет аргументы для таких параметров, |
| 15 | +Scala будет искать неявно доступные `given` (или `implicit` в Scala 2) значения правильного типа. |
| 16 | +Если можно найти подходящие значения, то они автоматически передаются. |
12 | 17 |
|
13 | | -Места, где Scala будет искать эти параметры, делятся на две категории: |
14 | | - |
15 | | -* Скала сначала будет искать неявные параметры, доступ к которым можно получить напрямую (без префикса) в месте вызова метода в котором запрошены неявные параметры. |
16 | | -* Затем он ищет членов, помеченных как implicit во всех объектах компаньонах, связанных с типом неявного параметра. |
| 18 | +Лучше всего вначале показать это на небольшом примере. |
| 19 | +Мы определяем интерфейс `Comparator[A]`, который может сравнивать элементы типа `A`, |
| 20 | +и предоставляем две реализации для `Int`-ов и `String`-ов. |
| 21 | +Затем мы определяем метод `max[A](x: A, y: A)`, который возвращает больший из двух аргументов. |
| 22 | +Так как `x` и `y` имеют абстрактный тип, в общем случае мы не знаем, как их сравнивать, но можем запросить соответствующий компаратор. |
| 23 | +Поскольку обычно для любого заданного типа существует канонический компаратор `A`, |
| 24 | +то мы можем объявить их как _заданные_ (_given_) или _неявно_ (_implicitly_) доступные. |
17 | 25 |
|
18 | | -Более подробное руководство, о том где scala ищет неявные значения можно найти в [FAQ](/tutorials/FAQ/finding-implicits.html) |
| 26 | +{% tabs implicits-comparator class=tabs-scala-version %} |
19 | 27 |
|
20 | | -В следующем примере мы определяем метод `sum`, который вычисляет сумму элементов списка, используя операции `add` и `unit` моноида. Обратите внимание, что неявные значения не могут находится выше уровнем. |
| 28 | +{% tab 'Scala 2' for=implicits-comparator %} |
21 | 29 |
|
22 | 30 | ```scala mdoc |
23 | | -abstract class Monoid[A] { |
24 | | - def add(x: A, y: A): A |
25 | | - def unit: A |
| 31 | +trait Comparator[A] { |
| 32 | + def compare(x: A, y: A): Int |
26 | 33 | } |
27 | 34 |
|
28 | | -object ImplicitTest { |
29 | | - implicit val stringMonoid: Monoid[String] = new Monoid[String] { |
30 | | - def add(x: String, y: String): String = x concat y |
31 | | - def unit: String = "" |
| 35 | +object Comparator { |
| 36 | + implicit object IntComparator extends Comparator[Int] { |
| 37 | + def compare(x: Int, y: Int): Int = Integer.compare(x, y) |
32 | 38 | } |
33 | | - |
34 | | - implicit val intMonoid: Monoid[Int] = new Monoid[Int] { |
35 | | - def add(x: Int, y: Int): Int = x + y |
36 | | - def unit: Int = 0 |
37 | | - } |
38 | | - |
39 | | - def sum[A](xs: List[A])(implicit m: Monoid[A]): A = |
40 | | - if (xs.isEmpty) m.unit |
41 | | - else m.add(xs.head, sum(xs.tail)) |
42 | | - |
43 | | - def main(args: Array[String]): Unit = { |
44 | | - println(sum(List(1, 2, 3))) // использует intMonoid неявно |
45 | | - println(sum(List("a", "b", "c"))) // использует stringMonoid неявно |
| 39 | + |
| 40 | + implicit object StringComparator extends Comparator[String] { |
| 41 | + def compare(x: String, y: String): Int = x.compareTo(y) |
46 | 42 | } |
47 | 43 | } |
| 44 | + |
| 45 | +def max[A](x: A, y: A)(implicit comparator: Comparator[A]): A = |
| 46 | + if (comparator.compare(x, y) >= 0) x |
| 47 | + else y |
| 48 | + |
| 49 | +println(max(10, 6)) // 10 |
| 50 | +println(max("hello", "world")) // world |
| 51 | +``` |
| 52 | + |
| 53 | +```scala mdoc:fail |
| 54 | +// не компилируется: |
| 55 | +println(max(false, true)) |
| 56 | +// ^ |
| 57 | +// error: could not find implicit value for parameter comparator: Comparator[Boolean] |
48 | 58 | ``` |
49 | 59 |
|
50 | | -`Monoid` определяет здесь операцию под названием `add`, которая сочетает два элемента типа `A` и возвращает сумму типа `A`, операция `unit` позволяет вернуть отдельный (специфичный) элемент типа `A`. |
| 60 | +Параметр `comparator` автоматически заполняется значением `Comparator.IntComparator` для `max(10, 6)` |
| 61 | +и `Comparator.StringComparator` для `max("hello", "world")`. |
| 62 | +Поскольку нельзя найти неявный `Comparator[Boolean]`, вызов `max(false, true)` не компилируется. |
51 | 63 |
|
52 | | -Чтобы показать, как работают неявные параметры, сначала определим моноиды `stringMonoid` и `intMonoid` для строк и целых чисел, соответственно. Ключевое слово `implicit` указывает на то, что этот объект может быть использован неявно. |
| 64 | +{% endtab %} |
53 | 65 |
|
54 | | -Метод `sum` принимает `List[A]` и возвращает `A`, который берет начальное `A` из `unit` и объединяет каждое следующее `A` в списке используя `add` метод. Указание параметра `m` в качестве неявного параметра подразумевает, что `xs` параметр будет обеспечен тогда, когда при вызове параметра метода Scala сможет найти неявный `Monoid[A]` чтоб его передать в качестве параметра `m`. |
| 66 | +{% tab 'Scala 3' for=implicits-comparator %} |
55 | 67 |
|
56 | | -В нашем `main` методе мы вызываем `sum` дважды и предоставляем только `xs` параметр. Теперь Scala будет искать неявное значение в указанных ранее областях видимости. Первый вызов `sum` проходит с использованием `List[Int]` в качестве `xs`, это означает, что элемент `A` имеет тип `Int`. Неявный список параметров с `m` опущен, поэтому Scala будет искать неявное значение типа `Monoid[Int]`. Первое правило поиска гласит |
| 68 | +```scala |
| 69 | +trait Comparator[A]: |
| 70 | +def compare(x: A, y: A): Int |
57 | 71 |
|
58 | | -> Скала сначала будет искать неявные параметры, доступ к которым можно получить напрямую (без префикса) в месте вызова метода в котором запрошены неявные параметры. |
| 72 | +object Comparator: |
| 73 | +given Comparator[Int] with |
| 74 | +def compare(x: Int, y: Int): Int = Integer.compare(x, y) |
59 | 75 |
|
60 | | -`intMonoid` - это задание неявного значения, доступ к которому можно получить непосредственно в `main`. Оно имеет подходящий тип, поэтому передается методу `sum` автоматически. |
| 76 | +given Comparator[String] with |
| 77 | +def compare(x: String, y: String): Int = x.compareTo(y) |
| 78 | +end Comparator |
61 | 79 |
|
62 | | -Второй вызов `sum` проходит используя `List[String]`, что означает, что `A` - это `String`. Неявный поиск будет идти так же, как и в случае с `Int`, но на этот раз будет найден `stringMonoid`, и передан автоматически в качестве `m`. |
| 80 | +def max[A](x: A, y: A)(using comparator: Comparator[A]): A = |
| 81 | + if comparator.compare(x, y) >= 0 then x |
| 82 | + else y |
63 | 83 |
|
64 | | -Программа выведет на экран |
| 84 | +println(max(10, 6)) // 10 |
| 85 | +println(max("hello", "world")) // world |
65 | 86 | ``` |
66 | | -6 |
67 | | -abc |
| 87 | + |
| 88 | +```scala |
| 89 | +// не компилируется: |
| 90 | +println(max(false, true)) |
| 91 | +-- Error: ---------------------------------------------------------------------- |
| 92 | +1 |println(max(false, true)) |
| 93 | + | ^ |
| 94 | + |no given instance of type Comparator[Boolean] was found for parameter comparator of method max |
68 | 95 | ``` |
| 96 | + |
| 97 | +Параметр `comparator` автоматически заполняется значением `given Comparator[Int]` для `max(10, 6)` |
| 98 | +и `given Comparator[String]` для `max("hello", "world")`. |
| 99 | +Поскольку нельзя найти `given Comparator[Boolean]`, вызов `max(false, true)` не компилируется. |
| 100 | + |
| 101 | +{% endtab %} |
| 102 | + |
| 103 | +{% endtabs %} |
| 104 | + |
| 105 | +Места, где Scala будет искать эти параметры, делятся на две категории: |
| 106 | + |
| 107 | +- Вначале Scala будет искать `given` параметры, доступ к которым можно получить напрямую (без префикса) в месте вызова `max`. |
| 108 | +- Затем он ищет членов, помеченных как given/implicit во всех объектах компаньонах, |
| 109 | + связанных с типом неявного параметра (например: `object Comparator` для типа-кандидата `Comparator[Int]`). |
| 110 | + |
| 111 | +Более подробное руководство, о том где scala ищет неявные значения можно найти в [FAQ](/tutorials/FAQ/finding-implicits.html) |
0 commit comments