Cosa c'è di meglio da usare in PHP per aggiungere un membro dell'array,
$array[] = $value;
o
array_push($array, $value);
?
Sebbene il manuale dica che è meglio evitare una chiamata di funzione, ho anche letto che $array[]
è molto più lento di array_push()
. Quali sono alcuni chiarimenti o benchmark?