Перейти к основному содержимому

Обобщенные методы

Обобщенные методы — это методы, которые используют обобщенные типы для параметров и возвращаемого значения. Они позволяют повторно использовать одно и то же описание метода для различных типов, делая методы более универсальными и, таким образом, позволяя избежать дублирования кода. Кроме того, так как обобщенные типы указываются сразу же во время вызова, это позволяет избежать ошибок типизации еще на этапе компиляции.

В общем случае обобщенный тип указывается в угловых скобках после названия метода и дублируется в местах указания типов параметров и возвращаемого значения. Так, например, в программном коде выглядит сигнатура обобщенного метода ПолучитьИлиУмолчание для объекта Товары типа ЧитаемоеСоответствие<Число, Товары.Ссылка>:

Товары.ПолучитьИлиУмолчание<ТипУмолчания>(Ключ: Число, ВычислительУмолчания: () -> ТипУмолчания): Товары.Ссылка|ТипУмолчания // ТипУмолчания — обобщенный тип

По указанному коду данный метод находит и возвращает соответствующий товар типа Товары.Ссылка. Если же искомый товар по коду не найден, будет использоваться умолчание типа Строка:

Товары.ПолучитьИлиУмолчание<Строка>(Ключ: Число, ВычислительУмолчания: () -> Строка): Товары.Ссылка|Строка // Строка — обобщенный тип

Так будет выглядеть вызов метода:

пер КодТовара = 0120300
Товары.ПолучитьИлиУмолчание<Строка>(КодТовара, () -> "Товар с кодом %{КодТовара} не найден!") // Результат: Товар с кодом 0120300 не найден!

Таким образом, ТипУмолчания можно рассматривать как переменную типа, вместо которой при вызове подставляется необходимый тип, например Товары.Ссылка или Строка в примере выше.

примечание

В текущей версии системы обобщенными могут быть только системные методы — у пользователей нет возможности создавать свои обобщенные методы.

Синтаксис​

При описании системного обобщенного метода используется следующий синтаксис (сигнатура):

ИмяМетода<ОбобщенныйТип_1, …, ОбобщенныйТип_n>(Параметр_1, …, Параметр_n: ОбобщенныйТип_1, …, ОбобщенныйТип_n): ОбобщенныйТип

Например:

  • Минимум<Т это Сравнимое>(Т, Т)
  • ЧитаемоеСоответствие<ТипКлюча, ТипЗначения>.ПолучитьИлиУмолчание<Т>(Ключ: ТипКлюча, ВычислительУмолчания: () -> ТипЗначения|Т): ТипЗначения|Т
  • ЗапланированныеЗадания.Создать<Т1, Т2>(Обработчик: (Т1, Т2)->Объект?, Параметр1: Т1, Параметр2: Т2)
  • ФоновыеЗадания.Выполнить<Т1, Т2>(Обработчик: (Т1, Т2)->Объект?, Параметр1: Т1, Параметр2: Т2)

Вызов​

В общем случае вызов обобщенного метода отличается от вызова обычного метода только указанием желаемого типа в угловых скобках после имени метода:

ИмяМетода<ОбобщенныйТип_1, ..., ОбобщенныйТип_n>([Параметр_1, ..., Параметр _n])

Например:

Макс<Число>(1, 7, 2, -1)

Если тип может быть выведен из контекста (по типу параметров), то явно этот тип указывать не требуется:

Макс(1, 7, 2, -1) // Запись равносильна предыдущей

Ограничения в синтаксисе​

Существуют следующие ограничения в синтаксисе:

  • При указании обобщенного типа в треугольных скобках не должно быть пробела перед открывающей скобкой:

    Правильно
    ИмяМетода<Тип1>
    Неправильно
    ИмяМетода <Тип1>

  • Перед оператором сравнения Меньше должен быть пробел:

    Правильно
    а.поле1 < б.поле2
    Неправильно
    а.поле1< б.поле2

Ссылки на методы​

По аналогии с синтаксисом вызова:

&Метод<Тип>
&Тип.Метод<Тип>

См. также​

Последнее обновление