7 Standard conversions [conv]

7.8 Integral conversions [conv.integral]

Prvalue целочисленного типа может быть преобразовано в prvalue другого целочисленного типа. Prvalue типа перечисления с незаданной областью может быть преобразовано в prvalue целочисленного типа.

Если целевой тип беззнаковый, результирующее значение является наименьшим беззнаковым целым числом, совпадающим с исходным целым числом (по модулю, 2n где n - количество битов, используемых для представления беззнакового типа). [ Note: В представлении с дополнением до двух это преобразование является концептуальным, и битовый шаблон не изменяется (если нет усечения). ]end note

Если тип назначения подписан, значение не изменяется, если оно может быть представлено в типе назначения; в противном случае значение определяется реализацией.

Если тип назначения - boolсм [conv.bool]. Если исходный тип равен bool, значение false преобразуется в ноль, а значение true преобразуется в единицу.

Преобразования, разрешенные как интегральные продвижения, исключаются из набора интегральных преобразований.