C言語に関しての質問です。
以下のようなプログラムでは変数bをキャストした場合と
しない場合で条件式の判定結果が違います。
変数bはもともとunsiged char型なのでキャストは不要だと
思ったのですが、なぜ結果が違うのでしょうか?
(条件式if(a != ~b)の判定結果も偽になることを期待していました。)
unsigned char a;
unsigned char b;
a = ~0x98;
b = 0x98;
if(a != ~b)
{
printf("こっちは入る");
}
if(a != (unsigned char)(~b))
{
printf("こっちは入らない");
}
No.2ベストアンサー
- 回答日時:
C言語とのことなので、C++で検証しても、参考にはなっても結論にはたどりつけませんね。
今回のコードについては処理系によって振る舞いが変わります。
sizeof(char) < sizeof(int) の処理系であれば、unsigned char型のbに~演算子を適用する前に整数拡張が起こり、結果としてint型になります。
sizeof(char) == sizeof(int) の処理系であれば、整数拡張の結果 unsigned int型になりますが、unsigned charとunsigned intの表現範囲が同じなので、キャストしてもしなくても結果は同じになるはずです。
No.6
- 回答日時:
>sizeof(char) == sizeof(int) の処理系であれば
> こういう処理系は、あるのでしょうか?
使ったことがあります。
テキサスインスツルメンツのDSP用のCでは char が16ビットです。
sizof(char)もsizeof(int)も値は1でした。
sizof(char)が1なのは規格で決まっているからですね。
PIC用の CCS-Cでは intは8ビットです。
No.5
- 回答日時:
No.2の方のお話を参考にどういう動きが起こってるのか書いてみました。
int型を4バイトとして考えます。
unsigned char a;
unsigned char b;
a = ~0x98;
b = 0x98;
ここでは2進数で考えてみます。
aとbにはそれぞれ
a ← 01100111
b ← 10011000
が格納されます。
if(a != ~b)
この式でaとbが整数拡張されるので
a ← 00000000 00000000 00000000 01100111
b ← 00000000 00000000 00000000 10011000
更にbはビット反転しますので、
~b ← 11111111 11111111 11111111 01100111
となり、aと~bが異なるのでif文内の条件式が真となります。
if(a != (unsigned char)(~b))
ここでもaとbに整数拡張が起こり
a ← 00000000 00000000 00000000 01100111
b ← 00000000 00000000 00000000 10011000
~b ← 11111111 11111111 11111111 01100111
ここで~bがunsigned char型にキャストされますので、
上位24ビットがカットされ
(unsigned char)(~b) ← 01100111
この状態でaと~bを比較します。
値はaもbも同じになり、if文の条件式が偽となります。
こんな感じで合ってますかね。
No.1
- 回答日時:
んー、気にしたことありませんでしたがそうなんですね。
検証してみたVC++用適当ソース(gccならtypeof?)。C++だけどそこは気にしない方針で。
-------------------------------------------------------
#include <stdio.h>
#include <typeinfo>
int main() {
unsigned char a, b;
a = ~0x98;
b = 0x98;
printf("%d, %d\n", a, ~b); // 103, -153
printf("%s\n", typeid(~b).name()); // int
printf("%d, %d\n", a, unsigned char(~b)); // 103, 103
printf("%s\n", typeid(unsigned char(~b)).name()); // unsigned char
}
-------------------------------------------------------
つまり~bはint型になる=負値になっているわけですね。
しらなかった。
わざわざ検証していただきありがとうございますm(_ _)m
なるほど~、int型になっていたのですね。
そのような検証方法があることも勉強になりました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- C言語・C++・C# C言語のエラーについて 2 2022/07/11 13:56
- C言語・C++・C# C言語 共用体について コマンドライン引数で値を2つ入力したときに、argv[2]の値をUNI u1 4 2022/04/25 20:34
- C言語・C++・C# c言語配列の結合についてです。 なぜうまくいかないのでしょうか。 #include <stdio.h 4 2022/05/30 22:42
- C言語・C++・C# c言語の問題の説明、各所ごとに 5 2023/07/26 11:03
- C言語・C++・C# c言語 プログラムのエラー 1 2023/02/11 20:31
- C言語・C++・C# バイナリファイルをコピーするのにかかる時間を測りたいのですが実行するとFatel error:gli 2 2022/11/03 01:10
- C言語・C++・C# カードシャッフルのブログラムを使ってc言語でブラックジャックをしたい 2 2022/04/12 15:13
- C言語・C++・C# C言語初心者 構造体 課題について 2 2023/03/10 19:48
- C言語・C++・C# C言語 プログラミング 4 2022/05/22 11:53
- C言語・C++・C# c言語の問題です 3 2023/01/10 16:15
関連するカテゴリからQ&Aを探す
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
fgetsなどのときのstdinのバッ...
-
charでの計算?
-
atoi( ) の反対をやりたい
-
テキストデータをそのままバイ...
-
下記のプログラムがコンパイラ...
-
_TCHAR*での引数の読み込み
-
C言語のfor文です。 繰り返しの...
-
str系関数を使わずに二つの文字...
-
至急!C言語文字列置換
-
C言語の入力した文字を反転させ...
-
型変換
-
charからLPTSTRへの変換方法
-
strlen関数と同じ働きをする関...
-
'const char *' 型は 'char *' ...
-
C言語 ミリ秒を日付に変換には
-
文字列から空白を取り除きたい...
-
C言語 共用体について コマンド...
-
C言語 文字列操作
-
c言語プログラミング実行時エラ...
-
間接参照のレベルが異なっています
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
charからLPTSTRへの変換方法
-
charでの計算?
-
配列をnビットシフトする
-
'const char *' 型は 'char *' ...
-
型変換
-
テキストデータをそのままバイ...
-
文字列から空白を取り除きたい...
-
CStringをwchar_tに変換したい
-
絶対パスからのファイル名の切...
-
fgetsなどのときのstdinのバッ...
-
ネットワークにつながっている...
-
str系関数を使わずに二つの文字...
-
3桁区切(コンマ)記号をつけ...
-
atoi( ) の反対をやりたい
-
double型の値をchar配列に変換...
-
C言語のfor文です。 繰り返しの...
-
switch文で文字を比較すること...
-
ファイル名である文字列からbas...
-
c++ 文字列を入力して、一文字...
-
strncpyと_tcsncpy_sのヌルの扱...
おすすめ情報