是一个>> ((sizeof a) * CHAR_BIT) 已定义，UB 还是 IDB？

Question

1. 考虑以下问题：

unsigned int a, b;

b = a >> ((sizeof a) * CHAR_BIT);

/* or 2nd operand greater than ((sizeof a) * CHAR_BIT) */

这是已定义的、未定义的行为还是依赖于实现的行为？

2. 还有另一个子问题：

如果a是signed int并且它的移位小于其位长度，则有符号移位实现是定义的还是未定义的行为。在这两种情况下：

1. 右移时： a >>> 5
2. 左移时：a << 5

编辑问题已编辑

Answer 1

1.

来自 C99 标准，第 6.5.7 节：

对每个操作数执行整数提升。结果的类型是
提升后的左操作数。 如果右操作数的值为负数或
大于或等于提升的左操作数的宽度，行为未定义。

因此它是未定义的。

2.

来自同一部分：

E1 << 的结果E2 是 E1 左移 E2 位位置；空出的位用零填充。如果 E1 为无符号类型，则结果值为 E1 x 2^E2，再模 1 减少大于结果类型中可表示的最大值。 如果 E1 具有带符号类型和非负值，并且 E1 x 2^E2 可以表示为result类型，那么就是结果值；否则，行为未定义。

E1>>的结果E2 是 E1 右移的 E2 位位置。如果E1具有无符号类型或如果E1具有有符号类型和非负值，则结果的值是商的整数部分>E1 / 2^E2。 如果 E1 具有带符号类型和负值，则结果值由实现定义。

因此，对于左移，如果 a 有符号并且为正，那么它是明确定义的。如果 a 有符号并且为负，则它是未定义的。

对于右移，a 是否有符号且为正值是明确定义的。如果 a 有符号并且为负，则它是实现定义的。