Почему Math::Cartesian::Product возвращает благословенные объекты?

Question

Я заметил, что Math::Cartesian::Product возвращает массив благословенных объектов вместо простого массива. Я не мог понять, почему. Мне действительно нужно проделать некоторую дополнительную работу (небрежно), чтобы использовать результаты...

Answer 1

Одной из альтернатив является модуль Set:: CrossProduct, который будет выдавать обычные необъявленные ссылки на массивы:

use Set::CrossProduct;
my $iter = Set::CrossProduct->new([ \@foo, \@bar ]);

while (my $tuple = $iter->get){
    ...
}

Или получить все кортежи сразу:

my @tuples = $iter->combinations;

Answer 2

Я добавил cartesian функция List::Gen недавно:

• cartesian CODE LIST_of_ARRAYREF

  cartesian вычисляет декартово произведение любого числа ссылок на массивы, каждый из которых может быть любого размера. возвращает генератор

  use List::Gen 'cartesian';
  my $product = cartesian {$_[0] . $_[1]} [qw/a b/], [1, 2];
  print "@$product"; # 'a1 a2 b1 b2'
  

---

Возвращаемый "генератор" - это ленивый связанный массив, который будет генерировать значения при запросе их. Существуют также итерационные и другие методы доступа:

my $pairs = cartesian {@_} [qw/$ @ %/], ['a'..'z'], [1 .. 3];

while (my @tuple = $pairs->next) {  # $pairs->reset; #$pairs->index = 5; ...
    print @tuple, ', ';
}
# $a1, $a2, $a3, $b1, $b2, $b3, $c1, $c2, $c3, $d1, $d2, $d3, $e1 ...

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

my $digits = cartesian {join '' => @_} ([0..9]) x 10;

say for @$digits[10**9 - 3 .. 10**9 + 3];

#   0999999998
#   0999999999
#   1000000000
#   1000000001
#   1000000002
#   1000000003

который вычисляет только 6 элементов набора и ничего не хранит.

Как видно из примеров, возвращаемое значение cartesian сам по себе является объектом-генератором, но последующие возвращаемые значения этого объекта - это то, что передано в coderef cartesian возвращается. Так что если вы хотите ссылки на массивы, это так просто: cartesian {\@_} ...

---

Кроме того, какую дополнительную работу вы должны были сделать, чтобы справиться с благословенной ссылкой? Благословенный массив по-прежнему является массивом во всех смыслах, за исключением того, что ref вернусь. Если вы пишете логику переключения на основе ссылочного типа, Scalar::Util"s reftype это то, что вы должны использовать.

Answer 3

Благословляет массивы, возвращенные cartesian так что когда какой-то код, как показано ниже, выполняется

$b = $cartesian $a1, $a2;
$c = $cartesian $b, $a3;

... он может обнаружить, что $b является результатом предыдущего вызова модуля.

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

В любом случае, проверка исходного кода модуля показывает, что он не слишком хорош.