Ответ.

История вопроса:

В Perl подпрограммы с самого начала реализованы весьма гибко: любой вызов подпрограммы может принимать неограниченное количество параметров, которые помещаются в массив @_. Такой подход подходит для задач разного уровня сложности и поддерживает динамичность Perl.

Проблема:

Многие разработчики, особенно новички, сталкиваются с путаницей при работе с @_ — неправильная деструктуризация параметров, случайное изменение входных данных (поскольку переменные передаются по значению, а сложные структуры по ссылке), несоответствие количества и типов аргументов. Проблемы возникают при возврате разных типов данных и при попытках реализовать прототипы функций.

Решение:

Для получения аргументов подпрограмма должна явно их деструктурировать из массива @_. Возврат значений производится оператором return, поведение зависит от контекста (скалярный или списочный). Чтобы избежать побочных эффектов, параметры часто принимаются по копии либо по ссылке, если требуется их изменение внутри подпрограммы. Для сложных структур используют передачу по ссылке.

Пример кода:

sub add {
    my ($a, $b) = @_;
    return $a + $b;
}

sub change_array {
    my ($arr_ref) = @_;
    push @$arr_ref, 100;
}

my @nums = (1, 2, 3);
my $sum = add(5, 10);
change_array(\@nums);
print join(", ", @nums); # 1, 2, 3, 100

Ключевые особенности:

Передача аргументов без типизации, через массив @_
Возврат разных типов в зависимости от контекста вызова
Передача по ссылке для изменения исходных данных

Вопросы с подвохом.

Изменяет ли функция параметры, переданные в неё, если работать с простыми скалярами?

Нет, скаляры копируются при передаче, их изменения не затрагивают оригинал. Однако если аргумент — ссылка, то оригинальные данные могут измениться.

Можно ли задать стандартные значения аргументов у подпрограмм, как в других языках?

Напрямую нет. В Perl необходимо самому реализовать обработку значений по умолчанию внутри тела функции, используя проверку defined или количество аргументов.

Пример кода:

sub foo {
    my ($arg1, $arg2) = @_;
    $arg2 //= 10;
    print "$arg1 $arg2
";
}
foo(5);    # 5 10

Что произойдет при прямом access к @_ без копирования — например, $a = $_[0]?

Такое присваивание создаёт алиас: изменение $a поменяет $[0], и наоборот. Рекомендуется создавать копии через my ($a) = @; чтобы избежать неожиданных изменений.

Типовые ошибки и анти-паттерны

Прямое манипулирование @_ внутри функции
Невнимание к скалярному или списочному контексту при return
Мутирование входных данных без передачи их по ссылке

Пример из жизни

** Негативный кейс

В функции для обработки массива забыли скопировать параметры из @_ в локальные переменные. В результате изменение локальной переменной привело к изменению оригинального массива, вызывая баги в других частях программы.

Плюсы:

Компактный код

Минусы:

Трудно отследить side-effect
Чтение кода становится сложнее

** Позитивный кейс

В команде внедрили практику обязательной деструктуризации @_ в начале каждой подпрограммы, а большие объекты передают только по ссылке.