混合符号整数の計算は可変サイズに依存します

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; 
    } 

私はそれを実行すると、それはa+bが負の場合g1()が失敗したことを示しています

$ ./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の結果、g2の体の両方のaとbは、その機能が完璧にうまく機能する理由である、intに昇格されています。 intのそれよりも低いランクを持っていません（u）int32_tのでg1については

は、何のプロモーションは行われず、非常に最後の箇条書き（11.5.5）が適用されます。どちらのオペランドも、符号なしタイプに変換されます。aでは、アンダーフローが発生し、9よりもはるかに大きな値を生成します。したがって、g1は1（true）を返します。