C语言常规算术转换及数据丢失警告不一致原因咨询

你对C标准整数提升规则的理解是完全准确的：按照C语言的类型转换要求，两处乘法运算前的(short)i操作数确实都会触发整数提升，转换为int类型参与运算，因此两次乘法的返回值类型都是int，两次赋值本质上都是int到short的窄化转换。C标准从来没有强制要求编译器必须对这类窄化转换给出警告，你看到的告警差异，本质是VS和GCC的启发式静态分析规则导致的——这套规则不会只盯着表达式最终的类型做判断，而是会结合操作数来源、显式转换标记，判断写代码的人是不是有意做窄化操作：

• 对于第一次赋值s = i * (short)i;：乘法的两个操作数里有一个是没做任何截断的原生int类型变量i，编译器做静态范围分析时，会判定这个操作数的取值覆盖int的完整可表示区间（32位环境下通常为-2^31 ~ 2^31-1），二者的乘积完全可能大幅超出short的可表示范围（16位short通常为-32768 ~ 32767），而且代码里没有给出“我明确知晓此处会发生窄化”的显式信号，因此会触发“可能存在数据丢失”的警告。
• 对于第二次赋值s = (short)i * (short)i;：两个操作数在参与乘法前，都被显式加上了(short)类型转换。编译器的启发式规则会把这种“两个操作数都显式转换为赋值目标的窄类型”的写法，识别为程序员主动选择短类型运算、已经知晓窄化截断风险的场景，因此不会重复抛出警告。

注意：这种启发式判定不代表第二个赋值真的没有数据丢失风险——哪怕两个操作数都落在short的取值范围内，乘积依然可能超出short的可表示区间，比如i取1000时，两个(short)i的乘积为1000000，远大于short的最大值32767，赋值时照样会发生截断丢数。只是编译器认为你已经通过双侧显式转short的写法，告知它你了解这个风险，所以不再做提示。

内容的提问来源于stack exchange，提问作者BenevolentDeity