static_assert是否合法，签名右移有两个补码行为？

Question

在C11，C ++ 11和C ++ 14中执行以下操作是否合法？

static_assert(((-4) >> 1) == -2, "my code assumes sign-extending right shift");

或等效的C：

_Static_assert(((-4) >> 1) == -2, "my code assumes sign-extending right shift");

我不知道关于是否可以使用如上所述的实现定义的操作的常量表达式的规则。

我知道，无论机器类型如何，相反的，带负数的左移符号都是未定义的。

Answer 1

是。 C ++ 11标准在[expr.shift] / 3中说：

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

并且在[expr.const] / 2中没有任何地方可以说这样的移位或具有实现定义值的表达式通常不是常量表达式。 因此，您将获得具有实现定义值的常量表达式。

Answer 2

这是合法的，因为它不会导致不确定的行为。

负值右移的行为是实现定义的 。 C和C ++标准不保证它是算术的还是逻辑的; 虽然据我所知，从来没有一个CPU没有选择其中一个。