Re: Array spread append

On 6-4-2023 0:12, Vorisek, Michael wrote:

Hello, I would like to open a discussion for https://github.com/php/php-src/issues/10791 . [https://opengraph.githubassets.com/a23cb565cc8acac6a33ecab5d9ee68a46f046a1ffe215501673156e506695430/php/php-src/issues/10791]<https://github.com/php/php-src/issues/10791> Array spread append · Issue #10791 · php/php-src<https://github.com/php/php-src/issues/10791> Description Currently spread operator can be used for almost anything. But not for array append. I propose the following to be supported: <?php $arr = [1, 2]; $arr2 = [3, 4]; $arr[...] = $arr2; // ... github.com Appending N elements to an array is quite common language usage pattern and I belive it should be supported natively for shorter syntax, language consistency and performance. I am unable to implement it, but I am ready to help with RFC. Michael Vorisek

I have the feeling I'm missing something, but how would this compare to array join (which is already available and is actually shorter than this) ? $arr += $arr2; Smile, Juliette