Werberegeln für binäre Operatoren mit und ohne Vorzeichen

Beachten Sie die folgenden Codeausschnitte:

// 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;

Wie bestimmt der „ “-Operator in diesen Fällen angesichts der unterschiedlichen Vorzeichen der Operanden den richtigen Ergebnistyp?

Der Operator folgt den „üblichen arithmetischen Konvertierungen“ Regel, die die Typkonvertierungsschritte basierend auf den Operandentypen vorschreibt. Wenn gemäß dieser Regel einer der Operanden ist:

• long double, werden beide Operanden in long double konvertiert.
• double, beide Operanden werden in double konvertiert.
• float, beide Operanden werden in float konvertiert.
• unsigned long, der andere Operand wird in unsigned konvertiert long.
• long int und der andere Operand unsigned int, beide Operanden werden in unsigned long int konvertiert, wenn der Wert des unsigned int in einem long int dargestellt werden kann; andernfalls werden beide in long konvertiert.
• long, der andere Operand wird in long.
• unsigned konvertiert, der andere Operand wird in unsigned konvertiert.

Since int und unsigned int sind in der Regel austauschbar, als Ergebnis wird der Operand mit dem breiteren Typ (unsigned int) gewählt type.

Dies erklärt, warum in Snippet 1 das Ergebnis unsigned int (2147483648) und in Snippet 2 das Ergebnis int (-1) ist. Der vorzeichenbehaftete Operand (neg) wird implizit in vorzeichenloses int konvertiert, was im letzteren Fall zu einem undefinierten Wert führt.