我正在尝试理解有符号和无符号类型的按位运算符行为。根据ISO/IEC文档，以下是我的理解。
E1 << E2 的结果是将E1左移E2个位。
因为左移而空出来的位将会用0填充。
对于E1作为有符号非负数：如果该值可以被结果类型表示，则E1 << E2的结果是E1乘以2的E2次方。
Q1：那么对于有符号负数呢？
Q2：在以下情况中，“模减”的意思是什么？“如果E1具有无符号类型，则结果的值为E1× 2E2，对结果类型可表示的最大值进行模运算加一”。
E1 >> E2的结果是将E1右移E2个位。
对于E1作为有符号非负数/无符号数：结果的值是E1除以2的E2次方的整数部分。
Q3：对于有符号负整数，我看到一些书定义空出来的位置将用1填充。请详细说明有符号负整数上使用右移运算符的作用。
Q1：左移运算符在有符号整数类型的负值上的行为是未定义的，当有符号整数类型的正值结果 E1 * 2^E2 在类型中不可表示时，其行为也是未定义的。
这在标准（n1570草案）的第6.5.7节第4和5段中明确提到：
4
E1 << E2的结果是将E1左移E2位；空出的位用零填充。如果E1具有无符号类型，则结果的值为E1 × 2^E2，对结果类型中可表示的最大值再加一取模后的余数。如果E1具有有符号类型且非负值，且E1 × 2^E2可以在结果类型中表示，则该值为结果；否则，其行为是未定义的。
Q2：对于无符号整数类型中可表示的最大值加一取模的缩减意味着左移时左侧被移出的位被简单地丢弃。
从数学上讲，如果无符号类型的最大值为 2^n - 1（它总是这种形式），则将 E1 左移 E2 位的结果是范围在 0 到 2^n - 1 的值 V，使得差异为：
(E1 * 2^E2 - V)
可以被 2^n 整除，也就是说，它是当你将 E1 * 2^E2 除以 2^n 后得到的余数。
Q3: 对于有符号整型的负值进行右移操作的结果是由各个实现定义的。最常见的行为（至少在二进制补码机器上）是算术右移，即结果是商向下取整（朝负无穷方向）。
5 右移运算符
E1 >> E2的结果是将E1向右移动E2位。如果E1是无符号类型或者E1是有符号类型且值非负，则结果的值为E1 / 2^E2的整数部分。如果E1是有符号类型且值为负数，则结果的值是由各个实现定义的。
关于问题1：
如果E1是负数，那么行为是未定义的。
关于问题2：
无符号算术运算是“循环”的，即它会绕回到UINT_MAX + 1变成0。就好像每个计算都是在模UINT_MAX+1下进行的。另一种思考方式是，超出左边界的多余位被简单地舍弃了。
关于问题3：
如果E1是负数，结果是由实现定义的。也就是说，它取决于你的机器/编译器/选项，但是行为必须在某个地方有文档记录（“定义”），通常是编译器手册。两种流行的选择是用1填充左侧的传入位（算术移位）或用0填充（逻辑移位）。
For example lets take int i = 7;
i<<2
now i = 0000 0000 0000 0000 0000 0000 0000 0111
perform two left shits according to rule 1 would be:
0000 0000 0000 0000 0000 0000 0001 1100
这将给它一个值为28（E1 * 2E2 = 7 * 2 * 2 = 28），与比特模式所表示的相同。
现在让我解释一下“减少模数”的事情，如果你在移位一个大数字，那么左边的位将会丢失，“减少模数”补偿了这一点。因此，如果你的结果值大于数据类型可以容纳的最大值，左边的位将会丢失，然后： result = (E1*2*E2) % (最大值 + 1)。
对于其他各种情况，只需记住上述规则，你就会很好 :)