[PHP 8.2] Redesign Arr::randomElement(), use Random\Randomizer::pickArrayKeys()

[aedart]

Description

The Arr::randomElement() differs slightly from Laravel's Arr::random() in that it can be seeded, using a specified seeding mode. However, from PHP v8.2, the Random\Randomizer::pickArrayKeys is available, and should be used instead.

Yet, the seeding process must be slightly changed. In order to seed the Randomizer, a different Random\Engine. So, perhaps a different set of methods should be designed to replace the Arr::randomElement().

Possible solution

The following could perhaps be better suitable method(s):

use Random\Engine;

// Single random value from array - replacement for Arr::randomElement()
public static randomValue(array $arr, Enging|null $random = null): mixed;

// Keys are not preserved - intended difference from Laravel's Arr::random()
public static randomValues(array $arr, int $amount, Enging|null $random = null): array;

// Single random array key
public static randomKey(array $arr, Enging|null $random = null): string|int;

// Uses Random\Randomizer::pickArrayKeys()
public static randomKeys(array $arr, int $amount, Enging|null $random = null): array

See also

• [PHP 8.2] Replace Math::randomInt() internals, use Random\Randomizer #150