array_push() vs. $ array [] = .... En hızlı hangisi?

Question

MySQL'den alınan değerleri bir diziye eklemem gerekiyor [PHP], elimde ne var:

$players = array(); 

while ($homePlayerRow = mysql_fetch_array($homePlayerResult)) { 
    $players[] = $homePlayerRow['player_id']; 
} 

Bunu yapmanın tek yolu bu mu? Ayrıca, aşağıdaki daha hızlı/daha iyi mi?

$players = array(); 

while ($homePlayerRow = mysql_fetch_array($homePlayerResult)) { 
    array_push($players, $homePlayerRow['player_id']); 
} 

Şimdiden teşekkürler

Answer 1

u çalıştırmak ve bu array_push kodunuzu çalıştırmak bazı durumlarda

http://snipplr.com/view/759/speed-test-arraypush-vs-array/

daha yavaş görebilirsiniz.

Answer 2

bağlıdır önceden

$players = array(); 

while ($homePlayerRow = mysql_fetch_array($homePlayerResult)) { 
    array_push($players, $homePlayerRow['player_id']); 
} 

Teşekkür ...

Belgeler diyor

"Eğer array_push kullanırsanız() o daha iyidir diziye bir öğe eklemenin $ array [] = kullanın çünkü bu şekilde bir işlevi çağırmanın bir yükü yoktur. "

Kaynak: http://us2.php.net/array_push

Yani bu herhangi bir anda bu diziye tıkmak istiyorum ne kadar veri aşağı kaynar. Ayrıca, array_push kullanarak adlandırdığınızda dizinin başvurusu yapılmıyorsa bir düşüş söz konusudur. $ Dizi [] kullanırsanız, dizi sizin için oluşturulacaktır.