Pourquoi ma boucle C s'exécute-t-elle indéfiniment lors de l'accès à un tableau hors limites ?

Comportement non défini dans la compilation C

Dans le code donné, le comportement attendu est de parcourir le tableau mc de l'index 0 à 3 et afficher les valeurs, ce qui donne une séquence de nombres "0, 1, 2, 3". Cependant, le comportement observé est une boucle sans fin qui génère une série infinie de "0, 1, 2, 3, ....".

La racine du problème réside dans l'instruction d'affectation delta = mc[ di]. Cette opération tente d'accéder au tableau mc au-delà de ses indices valides, notamment à l'indice 4 (hors limites). En C , un tel accès invoque un comportement non défini, permettant au compilateur de se comporter de manière imprévisible.

Dans ce cas, le compilateur avec l'optimisation activée (par exemple, en utilisant l'indicateur -O2) suppose qu'aucun comportement non défini ne se produit. Plus précisément, cela déduit que di < 4 est toujours vrai, car accéder à mc[di] hors des limites serait autrement indéfini.

Cette hypothèse conduit à des optimisations de boucle agressives. Dans le code optimisé, le di < La vérification 4 est supprimée et une instruction de saut inconditionnel est ajoutée. Cela élimine efficacement la condition de fin de boucle prévue et entraîne une boucle sans fin.

La désactivation des optimisations de boucle agressives à l'aide de l'indicateur -fno-aggressive-loop-optimizations entraîne le compilateur à se comporter comme prévu. Il reconnaît le potentiel d'un comportement indéfini et empêche l'optimisation problématique.

Il est important de noter qu'un comportement indéfini en C peut avoir des conséquences imprévisibles et potentiellement néfastes. Il est recommandé d'éviter de s'appuyer sur un comportement indéfini et d'écrire du code conforme aux spécifications du langage.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!