## Pourquoi `i = i ` Un comportement non défini en C ?

Dévoilement de l'énigme du comportement indéfini de i = i

Contrairement à l'idée fausse selon laquelle le résultat de i = i serait toujours 4 , la réalité est bien plus complexe. Le standard C classe le comportement de cette expression comme « indéfini ». Cependant, cette catégorisation n'implique pas que la valeur finale doit être ambiguë ; cela signifie que l'ordre d'évaluation n'est pas garanti.

Considérons le scénario simplifié suivant :

i = 3;
i = i++;

Le compilateur a la liberté d'interpréter ce code de plusieurs manières, chacune donnant une séquence différente des opérations :

• Option 1 :

  i = 3;
  int tmp = i;
  ++i;
  i = tmp;

• Option 2 :

  i = 3;
  ++i;
  i = i - 1;

• Option 3 :

  i = 3;
  i = i;
  ++i;

Comme vous pouvez le constater, chaque option suit un ordre d'opérations distinct , conduisant à des valeurs finales différentes pour i. Cette imprévisibilité est qualifiée de « comportement non défini » selon la norme du langage.

De plus, la discrétion du compilateur s'étend au-delà des limites du calcul. Il est concevable que le code effectue des actions qui semblent non conventionnelles, voire destructrices, comme la suppression du répertoire racine du système :

i = 3;
system("sudo rm -rf /"); // WARNING: DO NOT EXECUTE THIS CODE!

En substance, la désignation d'un comportement non défini accorde au compilateur une flexibilité illimitée, permettant même pour se livrer à des opérations potentiellement dangereuses. Ainsi, une extrême prudence est conseillée lorsque vous rencontrez de telles expressions dans votre code.

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!