Перегрузка процедур

Узнаём, как в Nim можно дать нескольким процедурам одно и то же имя — и почему это не путаница, а удобство.

Перегрузка процедур (overloading) — возможность объявить несколько процедур с одинаковым именем, но разными типами или количеством параметров. Компилятор сам выбирает подходящую версию по аргументам вызова.

Зачем это нужно

Допустим, тебе нужна процедура describe, которая выводит описание значения на экран. Но значения бывают разные: целое число, дробное число, строка текста. Логика вывода для каждого типа немного отличается — например, для дробного числа хочется показать чуть иное сообщение, чем для целого. Без перегрузки пришлось бы придумывать разные имена: describeInt, describeFloat, describeString — и каждый раз вспоминать, какое имя использовать для какого типа.

Перегрузка решает эту проблему изящно: имя остаётся одно — describe, а компилятор Nim сам смотрит, какого типа значение ты передал, и вызывает подходящую версию процедуры. Тебе как автору кода становится проще: одно понятное имя действия, а не десяток вариаций.

Синтаксис: несколько proc с одним именем

proc describe(value: int) =
  echo "Целое число: " & $value

proc describe(value: float) =
  echo "Дробное число: " & $value

proc describe(value: string) =
  echo "Строка: " & value

describe(42)
describe(3.14)
describe("привет")

Вывод:

Целое число: 42
Дробное число: 3.14
Строка: привет

Построчный разбор

Мы объявили три отдельные процедуры, и у всех трёх одно и то же имя — describe. Nim не считает это ошибкой или переопределением: раз типы параметров разные (int, float, string), это три разные процедуры, которые просто удобно называть одинаково.
Символ $ перед value в первых двух процедурах — это оператор преобразования значения в строку (в Nim он называется $, аналог toString или str() в других языках). Он нужен, потому что оператор & (конкатенация, то есть склеивание строк) работает только со строками, а value здесь число.
Когда мы вызываем describe(42), компилятор смотрит: 42 — это целое число, значит, нужно использовать версию с параметром value: int. Для describe(3.14) и describe("привет") логика та же — компилятор сопоставляет тип аргумента с типом параметра подходящей процедуры.

Выбор версии по количеству параметров

Перегружать можно не только по типу, но и по количеству параметров. Вот процедура вычисления площади — для квадрата достаточно одной стороны, а для прямоугольника нужны две:

proc area(side: float): float =
  result = side * side

proc area(width: float, height: float): float =
  result = width * height

echo area(5.0)
echo area(4.0, 6.0)

Вывод:

25.0
24.0

Здесь компилятор ориентируется не на тип, а на то, сколько аргументов передано при вызове. area(5.0) — один аргумент, значит, вызывается версия для квадрата. area(4.0, 6.0) — два аргумента, вызывается версия для прямоугольника.

Мини-пример: перегрузка с разной логикой внутри

Важно понимать: перегруженные процедуры не обязаны делать «похожие» вещи — у каждой может быть своя логика, просто имя общее по смыслу действия:

proc maxValue(a: int, b: int): int =
  if a > b:
    result = a
  else:
    result = b

proc maxValue(a: int, b: int, c: int): int =
  result = maxValue(a, b)
  if c > result:
    result = c

echo maxValue(3, 7)
echo maxValue(3, 7, 5)

Вывод:

7
7

Обрати внимание на вторую процедуру: она вызывает первую перегруженную версию (maxValue(a, b) с двумя аргументами) внутри себя, чтобы не дублировать логику сравнения, а затем сравнивает результат с третьим числом. Это частый и полезный приём: более сложная перегрузка опирается на более простую.

Частые ошибки

Две процедуры с абсолютно одинаковой сигнатурой. Если объявить proc describe(value: int) дважды с одинаковыми типами параметров, компилятор выдаст ошибку неоднозначности — он не поймёт, какую из двух одинаковых версий вызывать.
Расчёт на перегрузку только по имени параметра. Перегрузка смотрит на тип и количество параметров, а не на их названия. proc greet(name: string) и proc greet(title: string) — это конфликт, а не две разные процедуры, потому что оба параметра — string.
Путаница при вызове с неоднозначным типом. Если передать значение, которое подходит сразу под несколько версий (такое случается при работе с числовыми типами, которые Nim может неявно преобразовывать), компилятор иногда просит уточнить тип явно, чтобы не гадать.
Забывают, что каждая перегрузка — это отдельная процедура целиком. Нельзя «дополнить» существующую процедуру новым типом параметра — нужно написать её заново с новой сигнатурой, тело не наследуется автоматически.

Итоги

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