C言語 条件文(int型==char型)

Question

前提・実現したいこと

条件文にint型とchar型の混在は可能でしょうか？
int型とchar型は共に整数型なので比較が可能と聞いたのですが、
一つ目のコードにおいて条件(a==b)が偽となってしまいます。
下記の２パターンのコードにおいて条件の真偽が異なる理由を知りたいです。

*一つ目のコードではaが入力されることを前提にしております。

該当のソースコード

#include<stdio.h>

int main(){
	int a;
	char b='a';

	scanf("%c",&a);
	printf("%c\n",a);
	printf("%c\n",b);
	if(a==b){
		printf("True\n");
	}



	return 0;
}

#include<stdio.h>

int main(){
	int a='a';
	char b='a';

	printf("%c\n",a);
	printf("%c\n",b);
	if(a==b){
		printf("True\n");
	}



	return 0;
}

補足情報（FW/ツールのバージョンなど）

gcc.exe (MinGW.org GCC-6.3.0-1) 6.3.0

Answer 1

"%c"は、引数のアドレスの指す1バイトに入力された文字を格納します。
なので、普通は（というか、正しくは）char型変数のアドレスを引数に渡します。

int型変数のアドレスを渡した場合、そのアドレス、つまり、複数バイトからなるint型変数の先頭バイトに入力された文字が格納されることになります。
x86、x64は、リトルエンディアン（変数の最下位バイトが先頭になる）なので、int型変数の最下位バイトに格納され、それ以外のバイトは不変です。
自動変数の初期値は不定ですので、不変だった最下位以外のバイトの中身は不定です。つまり、そのint型変数の数値としての値は不定です。

あらかじめint型変数(仮に4バイトとする)に0を代入しておけば、最下位バイトだけ書き換えられて、aを入力すると0x00000061になり、char型変数の0x61と数値として一致します。
そんなことをするくらいなら、scanf("%c",&a);じゃなくて、a = getchar();が良いです。

Comments

[kyho]

詳しく解答していただけて嬉しかったです。
ありがとうございました。

Answer 2

多分、0で初期化することでa == bが真になるでしょう。

#include<stdio.h>

int main(){
    int a = 0; // 初期化
    char b='a';

    scanf("%c",&a);
    printf("%c\n",a);
    printf("%c\n",b);
    if(a==b){
        printf("True\n");
    }



    return 0;
}

---

余談ですがif文は文ですが条件式は式です。

Comments

[asm]

ビッグエンディアン環境だとできないんだろうが、とりあえずmingw環境なら問題ない

Answer 3

int a;
scanf("%c",&a);

はい、この時点でおかしい。%cはchar*を要求します。

Answer 4

int と charは、比較可能ですが、数字として比較されます。

従って、'a' は、0x61(=97) として扱われます。
その結果は、

if(a==b){

と思ったのですが、

scanf("%c",&a);

は、引数に、char のポインタを期待するので、正しく動作したでしょうか?

printf("%c\n",a);

の結果が気になります。

Comments

[kyho]

printf("%c\n",a); の結果がaと表示されたため問題ないかと思ってしまいました。
int型の変数に対して文字を入力したい場合どうするのが望ましいでしょうか？

[pepperleaf]

... 更新してる間に、解決済みになって、更新がエラーになった --;
試しに、 a=0x420062;として printf("%c", a); としたら、出力は b のみ。ちょっと意外でした。