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

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

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

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

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

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

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

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

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

примечание

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

Синтаксис

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

ИмяМетода<ОбобщенныйТип_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, 7, 2, -1)

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

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

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

ИмяМетода<Тип1>

ИмяМетода <Тип1>

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

а.поле1 < б.поле2

а.поле1< б.поле2

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

Ссылки на методы указываются аналогично синтаксису вызова:

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

Пример использования в программном коде:

// Получаем метод по ссылке
пер НайтиМинимумДвухЧисел = &Мин<Число>(Число, Число)
// Вызов метода
пер Результат = НайтиМинимумДвухЧисел(10, 5)  // 5

См. также

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