c - 分配给 uint8_t 的 uint32_t 行为总是一样的吗？

Question

uint32_t var32;
uint8_t var8;
var32 = 0xFEEDABCD;
var8 = 0;
var8 = var32;

上面的代码是否总是(意味着依赖于平台，例如 Windows 与 Linux 等)具有以下值:

var32 = 0xFEEDABCD

var8 = 0xCD

Answer 1

是的，会的。无符号整数溢出由标准明确定义，需要遵循模-2^n 语义。