C语言中已声明类型的变量赋值为何还要做强制类型转换？

问题示例代码 #

volatile int a;
int b = 5;

a = (int)(5*b);

结论 #

这段代码里的(int)强转是完全冗余的无效写法，没有任何实际作用。

原因说明 #

• 表达式5*b的两个操作数都是int类型：字面量5默认是int类型，变量b也声明为int类型，C语言中同类型算术运算的结果自然和操作数类型一致，也就是5*b的结果本身就是int，不需要额外转换。
• 赋值操作中，右值结果会自动转换成左值的类型，这里左值a也是int类型，哪怕右值是其他类型，也会发生隐式转换，额外加的int强转没有改变任何执行逻辑。

这类冗余写法的常见来源 #

• 代码重构遗留：这是概率最高的情况。早期版本的代码里b可能是long、float、unsigned int等其他类型，当时加强转是为了明确类型转换意图、避免隐式转换的编译器告警，后续修改b类型为int时，开发者忘记删除已经失效的强转。
• 开发者的错误习惯：部分对C类型规则不熟悉的开发者，会错误认为赋值时必须手动把右值强转成和左值完全一致的类型才“严谨安全”，属于无意义的防御性写法。
• 适配老旧检查工具：极少数年代久远的静态代码检查工具、定制化编译器可能对volatile变量的赋值误报类型不匹配，开发者为了消除告警临时加强转，后续工具更新或者规则调整后也没有删掉冗余代码。

这种写法不会影响程序运行结果，但会额外增加阅读者的理解成本，代码评审时可以直接提出删除即可，不存在什么特殊的隐藏逻辑。

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