Quatre boucles, laquelle tourne indéfiniment ?

# (a)
n = 10
while n > 0:
    print(n)

# (b)
n = 10
while n > 0:
    n = n - 3
print(n)

# (c)
n = 1
while n != 10:
    n = n + 3
print(n)

# (d)
n = 5
while n > 0:
    n = n - 1
    print(n)

(a) Boucle infinie. n n'est jamais modifié : la condition reste vraie pour toujours et 10 s'affiche sans fin. Correction : ajouter n = n - 1 dans le bloc.

(b) Se termine, et affiche -2. Les valeurs sont $10,7,4,1,-2$ ; le test $-2>0$ est faux. Noter que la boucle « saute » par-dessus $0$ : la condition n'est pas « atteindre zéro » mais « être encore positif ».

(c) Se termine, mais par chance. n prend les valeurs $1,4,7,10$ : elle atteint exactement $10$, s'arrête après $3$ tours et affiche 10. Changez la valeur initiale en n = 2 et la suite devient $2,5,8,11,14,\dots$ : elle saute par-dessus $10$ et la boucle ne s'arrête jamais.

(d) Se termine et affiche 4, 3, 2, 1, 0. Le print étant après la décrémentation, le premier nombre affiché est $4$ et non $5$.

La leçon est dans le cas (c) : une condition d'arrêt écrite avec != n'est sûre que si la variable atteint exactement la valeur visée. Avec < ou >, on est protégé du dépassement. C'est la même prudence qu'avec les flottants — mieux vaut un test d'inégalité qu'un test d'égalité.