uint64_t t3 = MAXDWORD +1 == 0？

Question

我真的不明白下面的代码是怎么回事。为什么t3为零？

uint64_t t1 = MAXDWORD;         // t1 contains 4294967295 - CORRECT
uint64_t t2 = t1 + 1;           // t2 contains 4294967296 - CORRECT
uint64_t t3 = MAXDWORD + 1;     // t3 contains 0 (zero)   - HUH??

Answer 1

decltype(MAXDWORD)是一个比uint64_t更窄的类型。因此，表达式MAXDWORD + 1也不是uint64_t，并且在分配给t3之前观察到了unsigned的环绕行为。

t1 + 1是在unsigned算法中使用更宽的uint64_t类型来执行的。

Answer 2

在这种情况下，我认为MAXDWORD是32位，而不是64位，因为4294967295是32位无符号整数的最大大小。因此，表达式MAXDWORD + 1是两个32位值的总和，该值仅在计算后才升级到64位。因此，它将溢出回零。

另一方面，t1 + 1是64位和32位表达式。32位常数被升级到64位，然后评估。因此，这不会溢出。

让下面的表达式试一试，看看你能不能找出哪一个会溢出.

uint64_t t4 = MAXDWORD + 1LL;
uint64_t t5 = (uint64_t)MAXDWORD + 1;
uint64_t t6 = MAXDWORD + (uint64_t)1;
uint64_t t7 = (uint64_t)(MAXDWORD + 1);