符号付きおよび符号なし二項演算子のプロモーション ルール

次のコード スニペットを検討してください:

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

オペランドの符号が異なる場合、「 」演算子はどのようにして正しい結果の型を決定しますか?

演算子は「通常の算術変換」に従います。ルールは、オペランドの型に基づいて型変換ステップを指示します。この規則によると、どちらかのオペランドが

• long double の場合、両方のオペランドは long double に変換されます。
• double、両方のオペランドは double に変換されます。
• float、両方のオペランドは float に変換されます。
• unsigned long、他のオペランドは unsigned に変換されますlong.
• long int と他のオペランド unsigned int の場合、unsigned int の値が long int で表現できる場合、両方のオペランドは unsigned long int に変換されます。それ以外の場合、両方ともlong.
• longに変換され、他のオペランドはlong.
• unsignedに変換され、他のオペランドはunsignedに変換されます。

int と unsigned int はルール内で交換可能であり、より広い型 (unsigned int) のオペランドが結果の型として選択されます。

これスニペット 1 では結果が unsigned int (2147483648) であり、スニペット 2 では結果が int (-1) である理由を説明します。符号付きオペランド (neg) は暗黙的に unsigned int に変換され、後者の場合は値が未定義になります。