Question

函数g1()和g2()具有相同的逻辑，但输入类型具有不同的大小。为什么他们会为负数返回不同的结果？

/*BINFMTCXX: -Wall -Werror -Wextra -std=c++11
*/

#include <stdio.h>
#include <stdint.h>

char g1( int32_t a, uint32_t b ) { return a+b<9; } // fails when a+b is negative
char g2( int16_t a, uint16_t b ) { return a+b<9; } // works if no overflow

int main()
   {

   for ( int a=-2, b=0; a<=2; a++ )
      {
      fprintf(stderr,"a=%+d, b=%d, g1=%+d, g2=%+d %s\n", a, b, g1(a,b), g2(a,b), g1(a,b)==g2(a,b)?"":"!" );
      }

   return 0;
   }

当我运行它时，它显示g1()在a+b为否定时失败：

$ ./mixed_sign_math_per_size.cpp
a=-2, b=0, g1=+0, g2=+1 !
a=-1, b=0, g1=+0, g2=+1 !
a=+0, b=0, g1=+1, g2=+1 
a=+1, b=0, g1=+1, g2=+1 
a=+2, b=0, g1=+1, g2=+1

C和C ++中的结果相同。

Answer 1

由于usual arithmetic conversions，a的正文中b和g2都被提升为int，这就是为什么该功能非常有效。

对于g1，因为（u）int32_t的排名不低于int的排名，所以不会进行促销，最后一个要点（11.5） .5）适用。两个操作数都转换为无符号类型，在a的情况下 - 导致下溢，产生远大于9的值。因此g1返回1（{ {1}}）。

混合符号整数数学取决于可变大小

1 个答案: