Écrire contient(t, v), qui rend un booléen, à partir de recherche

Parcourir, trier, prouver · Dérouler, compter, vérifier · niveau 1 (application)

Énoncé

Écrire contient(t, v), qui rend un booléen, à partir de recherche. Pourquoi la convention « $- 1$ si absent » demande-t-elle de la prudence en Python ?

Corrigé


def contient(t, v):
    """Vrai si v figure dans t.

    Postcondition : équivaut à (v in t).
    """
    return recherche(t, v) != -1

Contrôle : contient([3, 1, 4], 4) vaut True, contient([3, 1, 4], 5) vaut False. L'équivalence avec v in t a été vérifiée sur $3000$ tableaux tirés au hasard.

Le danger du $- 1$ . En Python, $- 1$ est un indice valide : il désigne le dernier élément. Sur [3, 1, 4], t[-1] vaut $4$ , sans la moindre erreur. Donc le code suivant est faux, et silencieusement :


i = recherche(t, v)
print("trouve :", t[i])      # si v est ABSENTE, affiche le dernier element !

Il annonce avoir trouvé la valeur cherchée, et affiche autre chose. C'est le pire mode de panne : pas d'exception, pas de message, juste un résultat faux.

Les deux parades. Ou bien tester le $- 1$ avant tout usage de l'indice — ce que fait contient ; ou bien ne pas rendre d'indice du tout quand on ne veut qu'un booléen. La seconde est meilleure : une fonction qui rend un booléen ne peut pas être mal utilisée de cette façon. Le bon type de retour élimine la classe d'erreur entière.