Feature request - allow to append multiple elements to an array
| From: | Michael Voříšek - ČVUT FEL | Date: | Sat, 28 Mar 2020 23:07:34 +0000 |
| Subject: | Feature request - allow to append multiple elements to an array | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-109407@lists.php.net to get a copy of this message | ||
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