C:简单算术输出的确认

Question

我可以确认以下 C 代码为 b 给出了未定义的结果吗:

unsigned a = 0;
int b = a - 1;

Answer 1

(§6.3.1.3/3):“...要么结果是实现定义的，要么引发了实现定义的信号。”

在典型的二进制补码硬件上，我希望结果为 -1。

请注意，结果是实现定义的，而不是未定义的。