一元 - 运算符：实现已定义或未定义

Question

unsigned u = 1;
int i = -u;

第二个赋值是否在6.5.5之下：如果在表达式的求值期间发生异常情况（即，如果结果未在数学上定义或不在其类型的可表示值的范围内< / strong>），行为未定义。

或者它是否属于6.3.1.3： 1当整数类型的值转换为_Bool以外的另一个整数类型时，... ... 3否则，新类型已签名且该值无法在其中表示;无论是 结果是实现定义或引发实现定义的信号。

---

我写了这个问题，因为以下（感谢R ..澄清）在6.5.5下生成 undefined 行为：

int i = INT_MIN;
i = -i;

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

另一方面，对于：

unsigned u = 1;
int i = -u;

-u的类型为unsigned。正如在Is unsigned integer subtraction defined behavior?中所解释的那样，虽然无符号的范围名义上从0到UINT_MAX，但实际上没有超出范围的无符号值。所以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的带符号类型，然后会生成实现定义的转换或信号。