四則運算表達式中的類型提升如何決策

duanlin

簡單情況：
賦值兩邊每個都一樣寬，右邊都是加減，這時隨便做，不用擴充。
i16 = i16 + i16 + i16 - i16 + .. - ...;

賦值左邊大，能撐下右邊16位溢出后的數，這樣就不能按16寬度算完再賦值，應該先擴充再算完后才賦值。
i32 = i16 + i16 - i16 ....;

復雜情況：
帶有除法時，雖然最終結果等寬，但是類似加和乘都要擴充再計算保證進位的數值被保留，這樣才可以除對。
i16 = (i16+i16) / i16 + i16*i16 / i16;

上述僅是整數，若其中摻有浮點，更為混亂。
這種問題在編譯器領域有什么說法嗎？有什么規(guī)律？有什么標準嗎？

EricFisher

類型提升應該是C標準語法里進行規(guī)定，編譯器只是照著標準進行實現。