将 unsigned int 递减到 0 未定义行为以下吗?

Is decrementing an unsigned int below 0 undefined behavior?

这是未定义的行为吗?

unsigned int size = 0;
size -= 1;

无符号整数对所有算术运算都有明确定义的行为;具体来说,它们实现了 "artithmetic modulo 2N",其中 N 是类型中值位数。所以 -1 实际上是 2N − 1.