汎整数拡張
格上げをする際、変換後の値は、変換前と変換後の型および値の関係が以下のうちどれかである場合には、変換前の値が維持される。
「符号付き→符号付き」
「符号無し→符号付き」
「符号付き→符号無し」であり、かつ変換前の値が正の数である
「符号無し→符号無し」
ただし、
「符号付き→符号無し」であり、かつ変換前の値が負の数である
という条件の場合に限り、変換後の値は
となる。