C++ uint64_t t3=最大值+；1 == 0?

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

t3

0

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??

decltype（MAXDWORD）

是比

uint64\u t

更窄的类型。因此表达式

MAXDWORD+1

也不是

uint64\u t

，并且

在分配给
t3
之前观察到了无符号的
环绕行为

t1+1
使用更宽的
uint64\u t
类型在
unsigned
算法中执行。
在这种情况下，我认为
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);

literal
1
不一定是32位表达式，但我知道你在说什么。真的。我想我只是习惯于这样假设。“在这种情况下，我认为
MAXDWORD
是32位，而不是64位，因为4294967295是32位无符号整数的最大大小”-
MAXDWORD
只是一个定义：
define MAXDWORD 0xffffff
的宏。如您所见，没有指定类型后缀，32位无符号整数是
0xffffffff
适合的最小允许类型，因此编译器使用该类型。