Почему так происходит?
Так происходит потому, что в самом первом вызове функции вы передаёте в неё НЕпустой массив. В итоге условие внутри функции будет истинным и управление провалится внутрь if
'а. С этого момента уже не имеет значения, что произойдёт дальше и какая там рекурсия. Конструкция return
для первого вызова снаружи - недостижима.
Это можно увидеть, если добавить немного отладки, которая покажет стек вызовов. Будет ясно в каком месте какое значение у входных аргументов и какое у статичного массива с результатом внутри функции. Да, результат будет накапливаться и он даже вернётся с помощью return
наружу. Но по стеку вызовов он вернётся одному из рекурсивных вызовов, а не тому, что вы делаете снаружи функции в самом начале.
function getArr(array $in, int $level = 0)
{
static $out = [];
$indent = str_repeat(" ", $level);
echo "{$indent}" .
"getArr([" . implode(", ", $in) . "], {$level})\t" .
"out = [" . implode(", ", $out) . "]\n";
if (!empty($in)) {
for ($i = 0; $i < count($in); $i++) {
$out[] = $in[$i];
unset($in[count($in) - 1]);
getArr($in, $level + 1);
}
}
return $out;
}
echo "[" . implode(", ", getArr(['a', 'b', 'c'])) . "]\n";
Это почти целиком ваш оригинальный код с небольшими правками для отладки. Output
получается такой:
getArr([a, b, c], 0) out = []
getArr([a, b], 1) out = [a]
getArr([a], 2) out = [a, a]
getArr([], 3) out = [a, a, a]
getArr([a], 1) out = [a, a, a, b]
getArr([], 2) out = [a, a, a, b, a]
[a, a, a, b, a]
В самой первой строчке - ваш внешний первый вызов функции. Именно от него вы ожидаете возврата значения. Но, как видите, массив не пустой и функция вместо возврата накопившегося результата просто в цикле вызывает саму себя ещё дважды. А эти вызовы снова и снова.
Самые глубокие вызовы выполняются с пустым массивом на входе getArr([], ..
- вот они то как раз и выполнят return
внутри else
. Но вернут своё значение своим родителям уровнем выше, а те результат не принимают вовсе.
else
существует путь в логике (path of execution), не вызывaющийreturn
. Добавьтеreturn
передgetArr($arr);
внутриif
.if
return
-а нет, как он возвращать что будет, если доelse
не доходит?getArr
добавить, то вообще все сломается, ибо от цикла будет происходить только одна итерация.