C 中的 Integer 算術溢出預防

Question

我認為以下代碼可能會導致溢出，因為a * 65535大於unsigned short int可以容納的值，但結果似乎是正確的。

C 中是否有一些內置機制將中間算術結果存儲在更大的數據類型中？ 或者它是一個意外？

unsigned char a = 30;
unsigned short int b = a * 65535 /100;
printf("%hu", b);

Answer 1

它之所以有效，是因為在默認提升下所有比int窄的類型都會 go 。 由於unsigned char和unsigned short在您的平台上都小於 int，因此它們將被提升為int並且如果int包含CHAR_BIT + 17位或更多位（這是a * 65535加號的結果），結果不會溢出22 位或更多（即30 * 65535加號中的位數）。 但是，如果int的位數較少，則會發生溢出並發生未定義的行為。 如果sizeof(unsigned short) == sizeof(int)也行不通

默認提升允許更快地完成操作（因為大多數 CPU 在其本機大小的值下工作得最好）並且還可以防止一些幼稚的溢出發生。 看

• 隱式類型提升規則
• char 和 short 在賦值表達式中被降級之前會被提升為 int 嗎？
• 為什么在 C 和 C++ 中的算術運算之前必須將 short 轉換為 int？