最近遇到一个问题,一个int16_t类型变量与一个uint8_t类型变量相加,在c++中值为-1,移植到c中值为65535,导致程序错误执行,如下:
int16_t a=-2;
uint8_t b=1;
if(a+b>0)
两者和应该为-1,if判断为假,c++中也确实为假,但移植到c语言中if判断为真,且值为65535。
原因是在c与c++中的类型提升规则不同。
在c++中,类型提升规则为“值保留”,即提升后的值一定与提升前的值相同。当一个int16_t(有符号16位整数)和一个uint8_t(无符号8位整数)进行运算时,uint8_t会被提升为int16_t。这是因为int16_t的范围大于uint8_t。如果将int16_t转换为uint8_t,可能会导致数据丢失,因此在上面计算过程中,将b提升为uint16_t类型,a+b结果为-1
在c中,当一个int16_t和一个uint8_t进行运算时,由于C语言的类型提升规则,int16_t会被提升为uint16_t。a+b结果为-1,那么它会被转换为uint16_t类型,即65535,因此if判断为真,导致程序错误执行。
c中类型提升参考文章:C/C++数据类型转换详解