移动 std::bitset<N> 是否超过 N 个位置未定义行为？

Question

如Is right shift undefined behavior if the count is larger than the width of the type? 中所述，如果移位次数超过有效操作数大小，则移位值未定义。

因此，在下面，bar 的值是未定义的：

uint32_t foo = 123;
uint32_t bar = (foo >> 33);

这种移位操作是否为std::bitset 定义得很好？如：

std::bitset<32> foo(123);
std::bitset<32> bar(foo >> 33);

在哪个官方文档中可以找到这些信息？

cppreference (https://en.cppreference.com/w/cpp/utility/bitset/operator_ltltgtgt) 上没有明确说明这种情况。

Answer 1

结果被标准定义为0，[bitset.members]/9：

bitset& 运算符>>=(size_t pos) noexcept;

9 效果：将 *this 中位置 I 的每个位替换为一个值 确定如下：

(9.1) 如果pos >= N - I，则新值为零；

(9.2) 如果 pos