char型＋char型ってint型？ if(char型==int型）？
Ｃ言語の「汎整数拡張（インテグラルプロモーション）」というものに関するものだと思います。
char型とchar型を加えた結果は、char型でしょうか。それともint型でしょうか。
（下のプログラムの
printf("sizeof(a[0]+a[1])は%d\n", sizeof(a[0]+a[1])); /* char型＋char型 */
という部分の結果は4なので、int型と考えるべきなのかな。）
私は、char型とint型の加算の結果はint型だと思っていましたが、
char型とchar型の加算の結果はやはりchar型だと思っていました。
（それが間違えているのでしょうか。）
if(a[0]==i) /* char型とint型の比較(?) */
の部分では、左辺はchar型、右辺はint型ですが、このように型の違う変数を比較しても文法上構わないのでしょうか。
（私は、「比較は必ず型の同じもの同士でしかできない」と思っていました。）
左辺はchar型のように見えて、じつはint型ですか。
#include <stdio.h>
int main(void)
{
char a[4];
int i=77;
printf("sizeof(int)は%d\n", sizeof(int));
printf("sizeof(char)は%d\n", sizeof(char));
printf("sizeof('M')は%d\n", sizeof('M'));
printf("sizeof(a[0])は%d\n", sizeof(a[0]));
a[0]='M';
a[1]=7+6;
a[2]=a[0]+a[1];
printf("sizeof(a[0]+a[1])は%d\n", sizeof(a[0]+a[1])); /* char型＋char型 */
printf("sizeof(+a[0])=%d\n", sizeof(+a[0]));
if(a[0]==i) /* char型とint型の比較(?) */
puts("a[0]==i");
else
puts("a[0]!=i");
return(0);
}
ちなみにワーニングもエラーもなんにもでません。
