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，并且在分配给unsigned之前观察到t3的环绕行为。

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);