四则运算表达式中的类型提升如何决策

duanlin

简单情况：
赋值两边每个都一样宽，右边都是加减，这时随便做，不用扩充。
i16 = i16 + i16 + i16 - i16 + .. - ...;

赋值左边大，能撑下右边16位溢出后的数，这样就不能按16宽度算完再赋值，应该先扩充再算完后才赋值。
i32 = i16 + i16 - i16 ....;

复杂情况：
带有除法时，虽然最终结果等宽，但是类似加和乘都要扩充再计算保证进位的数值被保留，这样才可以除对。
i16 = (i16+i16) / i16 + i16*i16 / i16;

上述仅是整数，若其中掺有浮点，更为混乱。
这种问题在编译器领域有什么说法吗？有什么规律？有什么标准吗？

EricFisher

类型提升应该是C标准语法里进行规定，编译器只是照着标准进行实现。