non puoi usare chiavi numeriche?

altrimenti credo che comunque questo sia + veloce (ma non ne sono sicuro):

codice:
 while( list($chiave, $valore) = each($array) ) {
ciao