Ответ.

Perl является языком с выраженной контекстной зависимостью: результат выражения зависит от того, каким образом используется его результат. Исторически это сделало язык необычайно гибким, однако даже опытные разработчики могут ошибаться, если не учитывают особенности работы скалярного и списочного контекстов.

Вопрос возник с первых версий Perl, когда предполагалось, что одна и та же операция может выдавать массив или отдельное значение — например, вызов функции localtime может возвращать либо список, либо строку в зависимости от ситуации.

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

Решение — всегда явно понимать, в каком контексте вызывается функция или выражение, использовать встроенную функцию wantarray в своих подпрограммах и не допускать неявного смешения контекстов.

Пример кода:

sub may_return {
    return wantarray ? (1, 2, 3) : "scalar result";
}

my @arr = may_return();  # вернёт (1,2,3)
my $val = may_return();  # вернёт "scalar result"

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

Контекст влияет на поведение большинства функций.
Контекст может быть скалярным, списочным или void (отсутствующим).
Для написания корректных функций используется wantarray.

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

Можно ли определить, используется ли выражение в void-контексте, в самой функции?

Ответ: Нет, только скалярный или списочный. В Perl 5 нет функции, определяющей void-контекст внутри подпрограммы — функция wantarray возвращает undef в этом случае, но для другого поведения.

Пример кода:

sub example {
    return wantarray ? (1,2) : wantarray ? undef : "scalar"; # некорректно
}

Может ли функция возвращать разные типы данных в зависимости от контекста?

Ответ: Да, полностью допустимо и часто используется.

Зависит ли поведение операторов (например, shift, pop) от контекста?

Ответ: Да. Например, when shift вызывается внутри функции — зависит, используется ли @_ (глобально или лексически), и будет ли результат передан как скаляр или как список.

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

Пренебрежение использованием wantarray
Неявное ожидание одного типа результата, когда вызывается функция в "не том" контексте
Возврат неправильного типа в void-контексте

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

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

Разработчик написал функцию, которая всегда возвращает список, не учитывая скалярный контекст. Если эту функцию вызвать в скалярном контексте, получится только последний элемент списка.

Плюсы:

Простота реализации

Минусы:

Некорректный результат в половине случаев
Трудности в диагностике багов

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

В функции используется wantarray и возвращается либо список, либо осмысленный скаляр или undef.