unsigned int类型的变量赋值负数的结果

今天看到有一个博主写（给unsigned int类型的变量赋值负数会怎么样？）：

在c++中，如果赋值给无符号类型一个超过它表示范围的值（如负数），结果是初始值对无符号类型表示数值最大值取模后的余数，而unsigned int在大部分编译器中该类型占4个字节，则最大值是2的32次方，为4294967296。所以会出现这样的输出。

并贴出如下代码：

include<iostream>
using namespace std;
 
int main()
{
    unsigned int a = -1;
    cout << a << endl;
    return 0;    
} 
 
// a=-1,输出为：4294967295
 
// a=-2,输出为：4294967294

其实这是不对的：

1. 错误：unsigned int 32的最大值是2^32。实际上：最大值是2^32-1。

2. 错误：机器对初始值取模再赋值。实际上：该操作由于未定义，有些编译器会报错，有一些会直接把初始值机器码赋值给unsigned int，并且不会检验是否超出左值表达范围。由于负数是从高位往低位映射，即f(-1)=FFFFFFFF，f(-2)=FFFFFFFE，...，补码转换符合取模规则，因此我们可以数学上认为“机器对初始值取模再赋值”。但实际上机器没有进行取模运算，甚至有些机器会检测出溢出错误并