Règles de promotion pour les opérateurs binaires signés et non signés

Considérez les extraits de code suivants :

// Snippet 1
int max = std::numeric_limits::max();
unsigned int one = 1;
unsigned int result = max   one;

// Snippet 2
unsigned int us = 42;
int neg = -43;
int result = us   neg;

Comment l'opérateur " " détermine-t-il le type de résultat correct dans ces cas, étant donné la signature différente des opérandes ?

L'opérateur suit les "conversions arithmétiques habituelles" règle, qui dicte les étapes de conversion de type en fonction des types d'opérandes. Selon cette règle, si l'un des opérandes est :

• long double, les deux opérandes sont convertis en long double.
• double, les deux opérandes sont convertis en double.
• float, les deux opérandes sont convertis en float.
• unsigned long, l'autre opérande est converti en unsigned long.
• long int et l'autre opérande unsigned int, les deux opérandes sont convertis en unsigned long int si la valeur de l'unsigned int peut être représentée dans un long int ; sinon, les deux sont convertis en long.
• long, l'autre opérande est converti en long.
• unsigned, l'autre opérande est converti en non signé.

Depuis int et unsigned int sont interchangeables dans la règle, l'opérande avec le type le plus large (unsigned int) est choisi comme type de résultat.

Cela explique pourquoi dans Extrait 1, le résultat est unsigned int (2147483648) et dans l'extrait 2, le résultat est int (-1). L'opérande signé (neg) est implicitement converti en unsigned int, ce qui donne une valeur indéfinie dans ce dernier cas.