представьте, что произойдет, если условие не будет пересчитано. тогда, если бы это было так с самого начала, оно никогда не изменится, и вы получите бесконечный цикл.
сказав, что в вашем случае условие всегда выполняется (поскольку длина строки не изменяется).