Pourquoi -1 est-il supérieur à 0 lors de la comparaison d'entiers signés et non signés en C ?

Comprendre la comparaison d'entiers signés négatifs avec des entiers non signés

Dans le programme C fourni, il est déroutant d'observer le résultat « Plus grand » lors de la comparaison de b (-1) avec a.size() (0) bien que -1 soit arithmétiquement inférieur à 0. Ce comportement inattendu se produit des différences fondamentales entre les types entiers signés et non signés.

Dans ce cas, a.size() renvoie un entier non signé, indiquant la taille du vecteur. En revanche, b est un entier signé. Lors de la comparaison de ces deux valeurs, le b signé est automatiquement promu vers un type non signé. Cette promotion convertit -1 en une grande valeur non signée, qui dépasse 0.

Ce comportement ne se limite pas aux tailles vectorielles. L'extrait de code suivant illustre le même problème :

#include <iostream>
int main()
{
  std::cout << std::boolalpha;
  unsigned int a = 0;
  int b = -1;
  std::cout << (b < a) << "\n"; 
}

Lors de son exécution, ce code renvoie « false », indiquant que -1 est considéré comme supérieur à 0 dans le contexte d'un type non signé.

Pour éviter une telle confusion, il est important de se rappeler que les entiers signés et non signés ont des comportements distincts et ne doivent pas être mélangés sans soigneusement réfléchir à l'opération prévue.

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!