Здравствуйте!
Есть массив вида
[1] => 3
[3] => 2
[5] => 1
[15] => 4
[17] => 6
[19] => 5
Из него надо получить массив вида
[0] => 3
[1] => 2
[2] => 1
[3] => 4
[4] => 6
[5] => 5
Есть ли какая-нибудь встроенная в PHP функция, которая вот так переиндексовывает массив? Что-то тут не нашел http://docs.php.net/manual/ru/ref.array.php.
Если такой функции нет, какая оптимальная последовательность действий? Я придумал пока только метод с созданием нового массива. Но массивы эти очень большие, расходовать память под дубль не хочется. Логику PHP-кодом писать тоже не хочется, будет медленно работать.
Может есть какая-то пара преобразований/команд, которые сделают то что нужно?