Hi Michael,
why not simply use array_push with multiple arguments? Something like:
$a = [];
array_push($a, ...array_fill(0, 10, 'x'));
echo print_r($a, true);
Cheers, Enno
Am 29.03.2020 um 00:07 schrieb Michael Voříšek - ČVUT FEL:
Hi all PHP gurus!
This is a feature request / RFC for the following use-case:
$res = [];
foreach ($arr as $i) {
foreach (make_res($i) as $v) {
$res[] = $v;
}
}
Array_merge in loop is very sloop so it is not a solution.
which I propose to shorten to:
$res = [];
foreach ($arr as $i) {
$res[...] = make_res($i);
}
Appending multiple elements to an array is very common use-case.
With kind regards / Mit freundlichen Grüßen / S přátelským pozdravem,
Michael Voříšek
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
