c - 一元运算符 : implementation defined or undefined

Question

unsigned u = 1;
int i = -u;

第二个赋值是否符合 6.5.5:如果在计算表达式期间出现异常情况(即，如果结果未在数学上定义或不在其类型的可表示值范围内)，该行为是未定义。

还是属于6.3.1.3:1 当整数类型的值转换为除_Bool 之外的另一种整数类型时，......3 否则，新类型被签名并且值不能在其中表示；无论是结果是实现定义的或引发了实现定义的信号。

---

我写这个问题是因为以下内容(感谢 R.. 的澄清)在 6.5.5 下生成了未定义行为:

int i = INT_MIN;
i = -i;

上面的问题是表达式 -i 是类型 int 和 -INT_MIN 对于 2 的补码平台可能大于INT_MAX。在这种情况下，它会产生未定义的行为。

另一方面，对于:

unsigned u = 1;
int i = -u;

-u 是无符号类型。如 Is unsigned integer subtraction defined behavior? 中所述尽管 unsigned 的范围名义上是从 0 到 UINT_MAX，但实际上不存在超出范围的 unsigned 值。所以 6.5.5 不适用于 -u。但是我们仍然有赋值表达式 i=-u 在这种情况下 6.3.1.3 适用。

或者换句话说，如果我可以改写 6.5.5，那就是:如果在计算表达式期间出现异常情况(即，如果结果未在数学上定义或不在其类型的可表示值范围内)，如果表达式类型不是标准或扩展类型之一无符号类型，行为未定义。 如果表达式类型是标准或扩展无符号类型之一，并且结果小于0或大于最大可表示值，结果应按6.3.1.3/2调整。

Answer 1

它属于 6.3.1.3。 -u 表达式没有什么特别之处。它等于 UINT_MAX。将结果分配给无法表示值 UINT_MAX 的有符号类型，然后会导致实现定义的转换或信号。