关于 C++20 补码提案 R4 的问题

Question

我正在阅读the two's-complement proposal 的修订版 4（由 C++20 采用），我有一些问题。

在介绍中，它说：

• 现状有符号整数算术通常保持不可交换（尽管某些实现可能保证它是）。

它真的意味着“不可交换”吗，例如 a + b 与 b + a？还是应该读作“非关联”？

它还说：

• 更改从有符号到无符号的转换始终是明确定义的：结果是目标类型的唯一值，它与源整数模 2^N 一致。

有符号到无符号的转换不是从一开始就以这种方式明确定义的吗？应该读作“从无符号转换为有符号”吗？

更改列表中是否还有其他遗漏或错误陈述的内容？

Answer 1

请注意，采用的不是 P0907，而是 P1236。

---

还是应该读作“非关联”？

是的。

应该读作“从无符号转换为有符号”吗？

是的。如果你查看P1236R1，你可以看到规则从：

如果目标类型是无符号的，则结果值是与源整数一致的最小无符号整数（模 2ⁿ 其中 n 是用于表示无符号类型的位数）。

如果目标类型是有符号的，如果可以在目标类型中表示，则值不变；否则，该值是实现定义的。

到：

否则，结果是与源整数模 2 一致的目标类型的唯一值^N，其中 N 是目标类型的范围指数。