c – 为什么static_cast是一个分布式表达的表达式？

我需要取2个无符号8位值并减去它们,然后将该值加到32位累加器中. 8位减法可能会下溢,这没关系(unsigned int underflow是定义的行为,因此没有问题).

我希望static_cast< uint32_t>(foo – bar)应该做我想要的(其中foo和bar都是uint8_t).但看起来这会先抛出它们然后执行32位减法,而我需要它作为8位变量下溢.我知道我可以只修改256,但我试图找出它为什么会这样工作.

示例：https://ideone.com/TwOmTO

uint8_t foo = 5;
uint8_t bar = 250;

uint8_t diff8bit = foo - bar;
uint32_t diff1 = static_cast<uint32_t>(diff8bit);

uint32_t diff2 = static_cast<uint32_t>(foo) - static_cast<uint32_t>(bar);

uint32_t diff3 = static_cast<uint32_t>(foo - bar);

printf("diff1 = %u\n",diff1);
printf("diff2 = %u\n",diff2);
printf("diff3 = %u\n",diff3);

输出：

diff1 = 11
diff2 = 4294967051
diff3 = 4294967051

我怀疑diff3会有与diff1相同的行为,但它实际上与diff2相同.

那么为什么会这样呢？据我所知,编译器应该减去两个8位值,然后转换为32位,但显然并非如此.这与static_cast在表达式上的行为规范有关吗？