Pourquoi GCC produit-il un comportement indéfini dans les opérations de décalage à droite avec un nombre de décalages excessif ?

Comportement non défini dans les opérations de décalage à droite avec un nombre de décalages excessif

Dans la norme C, le comportement des opérations de décalage à droite est bien défini pour les comptes de décalage non négatifs. Cependant, lorsque le nombre de décalages dépasse la largeur du type décalé, le comportement est considéré comme indéfini.

Considérez le code suivant :

<code class="cpp">unsigned int val = 0x0FFFFFFF;
unsigned int res = val >> 34; // res should be 0 by C++ standard</code>

Selon la norme C, puisque 34 est pas un nombre négatif, la valeur résultante res doit être 0. Cependant, GCC génère un avertissement pour cet extrait de code et produit un résultat différent de zéro. résultat.

Le comportement de GCC dans ce cas peut être expliqué par l'extrait suivant du projet de norme C, section 5.8 Opérateurs de décalage :

Le type du résultat est celui de l'opérande gauche promu. Le comportement est indéfini si l'opérande droit est négatif, ou supérieur ou égal à la longueur en bits de l'opérande gauche promu.

Dans ce cas, si unsigned int est de 32 bits ou moins, alors le nombre de décalages de 34 dépasse la largeur de l'opérande gauche promu. Par conséquent, le comportement est indéfini et l'avertissement de GCC est justifié.

Il est important de noter que le comportement indéfini dans ce contexte ne fait pas référence à des valeurs indéfinies. Au lieu de cela, cela signifie que le comportement est défini par l'implémentation et peut varier selon les différents compilateurs et plates-formes. Dans ce cas, le comportement de GCC sur les plateformes Intel n'est pas conforme aux attentes du standard C.

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!