为什么 -LLONG_MIN 会导致未定义的行为？

如何从导致未定义行为的引用文本中推断出来-LLONG_MIN？

仅从引用的文本中无法推断出这一点。然而，这一连串的推理就足够了：

• C 标准允许LLONG_MIN为 -9,223,372,036,854,775,808，而LLONG_MAX为 9,223,372,036,854,775,807 (C 2018 5.2.4.2.1 1)。
• 存在（在数学意义上）一个 C 实现，其中LLONG_MIN和LLONG_MAX具有这些值。（我假设读者熟悉二进制补码，并且该标准允许二进制补码。）
• 在这样的 C 实现中，指定的标称结果-LLONG_MIN将为 9,223,372,036,854,775,808 (C 2018 6.5.3.3 3)。
• 的类型LLONG_MIN为long long int(C 2018 5.2.4.2.1 1)，结果的类型-LLONG_MIN为long long int(C 2018 6.5.3.3 3 and 6.3.1.1)。
• 在所述 C 实现中，该值不能用（由于和long long int的含义）表示。LLONG_MINLLONG_MAX
• C 6.5 5 说：

如果在计算表达式期间出现异常情况（即，如果结果未在数学上定义或不在其类型的可表示值范围内），则行为未定义。

如何从引用的文本中推断出 -LLONG_MIN 会导致未定义的行为？

从引用的文本中不可能推断出它。您还需要此文本https://port70.net/~nsz/c/c11/n1570.html#6.5p5：

如果在计算表达式期间出现异常情况（即，如果结果未在数学上定义或不在其类型的可表示值范围内），则行为未定义。

在 的数学结果-LLONG_MIN无法用long long类型表示的实现中，会触发此规则并且行为未定义。

正如其他答案所指出的，这种情况由第 6.5-5 段涵盖，其中表示如果结果不能用其类型表示，则行为是未定义的。

一般来说，未定义的行为可能是在 C 标准中根本没有定义（提及）该行为的情况，但在这种情况下，标准是相当明确的。

当涉及到有符号整数类型时，C18 标准（及更早版本）允许 3 种表示形式（第 6.2.6.2-2 段）

• 符号和幅度
• 二进制补码
• 一个人的补语

使用“补码”表示时，最小可表示值的负值是不可表示的（它将比最大可表示值大一）。

通过“符号和大小”和“补码”，最小可表示值的负值是可表示的（它将等于最大可表示值）。

因此，-LLONG_MIN当且仅当实现使用“二进制补码”表示时，才是未定义的行为。

由于标准因此允许未定义行为的实现，因此该行为在标准方面是未定义的。

在标准未定义行为的情况下，始终允许实现定义行为，但在这种情况下，标准明确描述了一组具有已定义行为的实现-LLONG_MIN（不使用带符号整数的补码表示形式） 。

可以通过静态断言来检查实现是否具有-LLONG_MAX==LLONG_MIN，但它几乎没有实际用途，因为二进制补码表示是迄今为止最常见的。

即将推出的 C2x 标准将仅允许二进制补码表示（第 6.2.6.2-2 段）。因此，对于 C2x，-LLONG_MIN根据标准而言，始终是未定义的行为。