Que se passe-t-il lorsque vous décalez vers la droite un entier non signé avec un nombre de décalages dépassant sa largeur ?

Comportement de décalage à droite avec dépassement du nombre

La question se pose concernant le comportement d'une opération de décalage à droite en C lorsque le nombre de décalages dépasse la largeur du type de données. Selon la norme C, le décalage vers la droite d'une valeur non signée avec un nombre non négatif devrait entraîner le quotient intégral de la valeur d'origine divisé par 2 ^ E2. Cependant, l'utilisateur a observé un comportement inattendu avec GCC sur la plateforme Intel.

Le problème vient du fait que la norme C indique que le comportement est indéfini si l'opérande de droite (nombre de décalages) est supérieur ou égal au largeur de l'opérande gauche promu (la valeur des données est décalée). Dans ce cas, puisque unsigned int est généralement de 32 bits ou moins, un nombre de décalages de 34 est considéré comme un comportement non défini.

L'avertissement de GCC « nombre de décalages à droite >= largeur du type » est révélateur de ce comportement non défini. La valeur résultante de 67108863 observée dans le code assembleur le corrobore également. Par conséquent, le problème ne réside pas dans la mise en œuvre de la norme par GCC, mais plutôt dans le comportement indéfini provoqué par le dépassement de la largeur du type de données lors de l'opération de décalage.

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!