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

我希望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 = %un",diff1);
printf("diff2 = %un",diff2);
printf("diff3 = %un",diff3);

输出：

diff1 = 11
diff2 = 4294967051
diff3 = 4294967051

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

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