Предопределено ли присвоение типу данных значения, не помещающегося в этот тип данных?

Question

[Никита]

Иными словами, если у нас есть такой вот код:

uint64_t a = 999999999999;
uint16_t b = (uint16_t)a;

Всегда ли в b будет одно и тоже значение или это зависит от каких-то факторов вроде компилятора, системы, содержимого ОЗУ и т.д.?

Answer 1

[res2001]

В стандарте С11 п.6.5.4 пишут, что лишние байты будут отброшены ("removes any extra range and precision").
Какой результат будет, если типы знаковые и значение а отрицательное и не влазит в диапазон целевого типа не уточняется.
В плюсовом стандарте я что-то ничего не нашел на эту тему, но по факту поведение аналогично Си.

Answer 2

[Василий Банников]

Да, если исходное значение не помещается в новый тип - поведение будет зависеть от реализации.

Где-то может отбросить байты, а где-то может упасть с ошибкой