Pourquoi la soustraction de 1 à la taille d'un vecteur vide en C donne-t-elle un grand nombre positif au lieu de -1 ?

Différence de taille de vecteur avec un vecteur vide en C

Considérez le code suivant :

#include <vector>
#include <iostream>
using namespace std;
int main() {
    vector<int> value;
    cout << value.size() << endl;  // output 0
    cout << value.size() - 1 << endl;  // output 18446744073709551615
}

Le code imprime 0 pour le premier cout, indiquant un vecteur vide comme prévu. Cependant, le deuxième calcul imprime un grand nombre positif (18446744073709551615). Pourquoi n'est-il pas -1, comme on pourrait s'y attendre intuitivement ?

Comprendre les types non signés

Pour comprendre ce comportement, nous devons considérer le type de taille du vecteur fonction. vector::size() renvoie une valeur size_t, qui est un type de données non signé. Les types de données non signés ne peuvent représenter que des nombres positifs et 0. Les nombres négatifs ne peuvent pas être représentés avec ces types.

Lorsque nous soustrayons 1 de la taille d'un vecteur vide, nous obtenons la valeur -1 comme prévu. Cependant, comme size_t n'est pas signé, la valeur -1 déborde vers la plus grande valeur positive que ce type de données peut représenter, qui est 18446744073709551615 dans ce cas.

Par conséquent, la deuxième instruction cout affiche le résultat de ce débordement, plutôt que la valeur -1 attendue.

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!