Операторы

В случае, если два оператора имеют одинаковый приоритет, ситуацию разрешают другие факторы, такие как ассоциативность (Ассоциативность) и фиксность (Фиксность).

Ассоциативность

    # вероятно ошибочный код
    say ( 1 + 2 + 3 ) * 4;

…которое выводит значение 6 и (вероятно) в целом возвращает 4 (возвращаемое значение say, умноженное на 4). Парсер Perl успешно интерпретирует скобки как постциркумфиксные (Фиксность) операторы, обозначающие аргументы say, а не циркумфиксные скобки, группирующие выражение для изменения приоритета.

Фиксность

Оперторы Perl предоставляют контекст значения (Числовой, строковый и булев контекст) своим операндам. Чтобы выбрать подходящий оператор, нужно понимание значения предоставляемых вами операндов, а так же значения, которое вы ожидаете получить.

Числовые операторы

Оператор автоинкремента имеет специальное строковое поведение (Специальные операторы).

Некоторые операторы сравнения налагают числовой контекст на свои операнды. Это числовое равенство (==), числовое неравенство (!=), больше чем (>), меньше чем (<), больше или равно (>=), меньше или равно (<=) и оператор сравнения (<=>).

Строковые операторы

Строковые операторы налагают строковый контекст на свои операнды. Это положительная и отрицательная привязка регулярных выражений (=~ and !~ соответственно) и конкатенация (.).

Некоторые операторы сравнения налагают строковый контекст на свои операнды. Это строковое равенство (eq), строковое неравенство (ne), больше чем (gt), меньше чем (lt), больше или равно (ge), меньше или равно (le) и оператор строкового сравнения (cmp).

Логические операторы

Логические операторы налагают булев контекст на свои операнды. Это операторы &&, and, || и or. Все они инфиксные и проявляют поведение короткого замыкания (Короткое замыкание). Словесные варианты имеют более низкий приоритет, чем их пунктуационные формы.

Оператор определено-или, //, проверяет определённость своего операнда. В отличие от ||, который проверяет истинность своего операнда, // возвращает истинное значение даже если его операнд вычисляется в числовой ноль или пустую строку. Это особенно полезно для установки параметров по умолчанию:

    sub name_pet
    {
        my $name = shift // 'Fluffy';
        ...
    }

Тернарный условный оператор (?:) принимает три операнда. Он вычисляет первый операнд в булевом контексте и возвращает второй операнд, если первый — истина, или третий — в противном случае:

    my $truthiness = $value ? 'true' : 'false';

Префиксные операторы ! и not возвращают логическую противоположность булева значения своих операндов. not — низкоприоритетная версия !.

Оператор xor — инфиксный оператор, вычисляющий исключающее или своих операндов.

Побитовые операторы

Побитовые операторы обрабатывают свои операнды численно на битовом уровне. Эти операторы не очень распространены. Они включают левый сдвиг (<<), правый сдвиг (>>), побитовое и (&), побитовое или (|) и побитовое исключающее или (^), а также их варианты (<<=, >>=, &=, |= и ^=).

Специальные операторы

Оператор автоинкремента имеет специальное поведение. При использовании на значении с числовым компонентом (Кешированное преобразование типов), оператор инкрементирует этот числовой компонент. Если значение очевидно строка (и не имеет числового компонента), оператор инкрементирует это строковое значение так, что a становится b, zz становится aaa и a9 становится b0.

    my $num = 1;
    my $str = 'a';

    $num++;
    $str++;
    is( $num,   2, 'numeric autoincrement' );
    is( $str, 'b', 'string autoincrement'  );

    no warnings 'numeric';
    $num += $str;
    $str++;

    is( $num, 2, 'numeric addition with $str'    );
    is( $str, 1, '... gives $str a numeric part' );

Оператор повторения (x) — инфиксный оператор со сложным поведением. В списочном контексте, когда передан список, он возвращает этот список, повторённый количество раз, определяемое вторым операндом. В списочном контексте если передан скаляр, он выдаёт строку, состояющую из строкового значения его первого операнда, конкатенированного с собой количество раз, определяемое вторым операндом.

В скалярном контексте оператор всегда выдаёт конкатенированную строку, соответствующим образом повторённую. Например:

    my @scheherazade = ('nights') x 1001;
    my $calendar     =  'nights'  x 1001;
    my $cal_length   =  length $calendar;

    is( @scheherazade, 1001, 'list repeated' );
    is( $cal_length,   1001 * length 'nights',
                       'word repeated' );

    my @schenolist   =  'nights'  x 1001;
    my $calscalar    = ('nights') x 1001;

    is( @schenolist, 1, 'no lvalue list' );
    is( length $calscalar,
        1001 * length 'nights', 'word still repeated' );

Инфиксный оператор диапазона (..) генерирует список элементов в списочном контексте:

    my @cards = ( 2 .. 10, 'J', 'Q', 'K', 'A' );

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

В булевом контексте оператор диапазона становится оператором триггера. Этот оператор выдаёт ложное значение до тех пор, пока его левый операнд — истина. Это значение остаётся истинным, пока правый оператор — истина, после чего вновь становится ложным, пока левый операнд снова не станет истинным. Представьте разбор текста формального письма следующим образом:

    while (/Hello, $user/ .. /Sincerely,/)
    {
        say "> $_";
    }

Оператор запятая (,) — инфиксный оператор. В скалярном контексте он вычисляет свой левый операнд, а затем возвращает значение, полученное при вычислении правого операнда. В списочном контексте он вычисляет оба операнда в порядке слева направо.

Оператор толстой запятой (=>) кроме того автоматически заключает в кавычки любое голое слово, использованное как его левый операнд (Хеши).