Perl 6 и умное соответствие

в 21:39, , рубрики: perl, perl 6, rakudo, smartmatching, Программирование

Помните ли вы статью про оператор последовательностей в Perl 6?

Последним аргументом он принимает ограничение, которое останавливает генерацию последовательности. К примеру

    1, 2, 4 ... 32;         # 1 2 4 8 16 32
    1, 2, 4 ... * > 10;     # 1 2 4 8 16

В первом случае используется числовое сравнение. Во втором запись * > 10 интерпретируется как замыкание -> $x { $x > 10 }.

Оператор последовательностей выполняет «волшебное» сравнение в зависимости от типа соответствия. Это сравнение называется «умным соответствием» («smartmatching»), и эта концепция появляется во многих местах Perl 6. Примеры:

    # после ключевого слова 'when':
    given $age {
        when 100    { say "Поздравляю!"      }
        when * < 18 { say "Молодой ещё" }
    }

    # после 'where':
    subset Even of Int where * %% 2;

    # непосредственно с оператором smartmatch:
    if $input ~~ m/^d+$/ {
        say "$input – целое число";
    }

    # аргументы для grep(), first() и т.д.:
    my @even = @numbers.grep: Even;

С правой стороны от ~~ и после when и where сравниваемое значение берётся из $_. Это позволяет нам создавать конструкции, работающие с $_, такие, как регулярки, созданные через m/.../ и .method_call.

Примеры использования оператора:

    # равен ли тип переменной Str?
    $foo ~~ Str
    # равно ли это 6?
    $foo ~~ 6
    # или это "bar"?
    $foo ~~ "bar"
    # соответствует ли шаблону?
    $foo ~~ / w+ '-' d+ /
    # Находится ли между 15 и 25?
    $foo ~~ (15..25)
    # вызов замыкания
    $foo ~~ -> $x { say 'ok' if 5 < $x < 25 }
    # Является ли это массивом из 6 элементов, у которого каждый нечётный элемент равен 1?
    $foo ~~ [1, *, 1, *, 1, *]

Подробная таблица для оператора.

Заметьте, что в отличие от Perl 5, в Perl 6 smartmatching – единственный способ сравнить что-то с регуляркой, особого оператора для этого нет. Кроме того, хотя большинство операций smartmatching возвращает Bool, сравнение с регуляркой возвращает объект Match. Который, при этом, правильно ведёт себя в булевом контексте.

Ладненько, а как это использовать не со встроенными типами, а со своими собственными классами? Для этого надо написать особый метод, ACCEPTS. Допустим, есть у нас старый добрый класс Point:

    class Point {
        has $.x;
        has $.y;
        method ACCEPTS(Positional $p2) {
            return $.x == $p2[0] and $.y == $p2[1]
        }
    }

Понятно? Посмотрим, как это работает:

    my $a = Point.new(x => 7, y => 9);
    say [3, 5] ~~ $a; # Bool::False
    say (7, 9) ~~ $a; # Bool::True

Теперь Perl 6 может выполнять именно то, что вы имели в виду, даже с вашими собственными классами.

Автор: SLY_G

Источник


* - обязательные к заполнению поля


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js