ANSI C規格では
「式の評価順序は処理系により異なる」
とのことですが,次のプログラムがどのような評価順序で処理されたのか,どうしても分かりません.
C言語の細かいところまでご存知の方がいらっしゃいましたら教えてください.
#include <stdio.h>
main(){
int c;
c = 0; printf("%d\n", c + 1 == ++c);
c = 0; printf("%d\n", c + 0 == ++c);
}
私の処理系のccでコンパイルして実行すると
1
1
と出力されます.
上の二つの条件式が両方とも真であると解釈され得るような評価順序が存在するのでしょうか?
No.1ベストアンサー
- 回答日時:
コンパイラは何回か作ったことがあります.
OSF1の付属コンパイラ,IRIX6.5の付属コンパイラ,そして両方のgccで試してみました.
OSF1では「どうなるか分からないから止めた方が良いよ」という警告が出て,結果は1,0でした.
IRIXでは,今度は0,1でした.
gccでは,1,1でした.
で,gcc -Sでアセンブラコードを見てみたところ,gccでは上の式は変数cの値を保存しておいて,左辺と右辺の評価で同じコードで1を足していました.
下の式では,右辺を評価してcをインクリメントした後で左辺を評価する時にインクリメントされたcの値を読み出していました.
でも,カーニハン&リッチーには,そういうプログラムは書いてはいけません,と書いてありますね ;-P
ありがとうございました.こういう問題で一日悩んでいると,カーニハン・リッチーの教えを痛感してしまいますね.gcc -Sを見て自分で解決できるように,アセンブラの勉強を始めようと思います.
No.2
- 回答日時:
Windows系での結果です。
Microsoft Visual C++6.0(32bit)と1.51(16bit)で検証し両方で何の警告も無く「1を2つ」出力しました。
16bitコンパイラで生成されたコードは
上の式:
movWORD PTR -4[bp],OFFSET 0 ; c=0
movax,WORD PTR -4[bp] ;
addax,OFFSET 1 ; c+1→ax
addWORD PTR -4[bp],OFFSET 1
movcx,WORD PTR -4[bp] ; ++c→cx
cmpax,cx ; 比較
下の式:
movWORD PTR -4[bp],OFFSET 0 ; c=0
addWORD PTR -4[bp],OFFSET 1 ; ++c
movax,WORD PTR -4[bp] ; c→ax
cmpWORD PTR -4[bp],ax ; 比較
上の式と下の式では評価順が違うようです。
ご親切にありがとうございます.アセンブラは初心者なのですが右につけてくださった注釈のおかげで理解できました.今度は評価順がなぜ変わるのか研究しようと思ってます.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
関連するカテゴリからQ&Aを探す
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
unsigned long long 型のフォー...
-
ソフトの開発言語を調べる方法
-
printfなど、標準関数のソース...
-
組み込みソフト。ROM領域にデータ
-
VisualC++6.0でのProfessionalE...
-
Win32のIME制御について
-
COBOLの論理演算子について質問...
-
パーサとコンパイラの違いって?
-
Cの始め方(コンパイラ)
-
コンパイラ言語って
-
サイクルカウントの方法
-
Cobolのコンパイラ
-
PICSTART PlusをノートPCで使い...
-
PICでのI2C通信でのマスタ、ス...
-
gdbでFortranの名前つきcommon...
-
組込みC開発
-
C言語での四角形描写
-
g++でのユニコード文字列使用
-
変数の内容がコロコロ変わる、...
-
リリースモードとデバッグモー...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
unsigned long long 型のフォー...
-
ソフトの開発言語を調べる方法
-
プログラマーに向いている人の...
-
printfなど、標準関数のソース...
-
cc と gcc の違い
-
組み込みソフト。ROM領域にデータ
-
C++Builder → Visual C++ 移植...
-
COBOLの論理演算子について質問...
-
COBOLのALPHABET...
-
VC++の/Zm オプションについて
-
リリースモードとデバッグモー...
-
C++でデスクトップGUIアプリ開...
-
PICでのI2C通信でのマスタ、ス...
-
C言語の規格
-
パーサとコンパイラの違いって?
-
void型のポインタで構造体の参照
-
VisualC++6.0でのProfessionalE...
-
OpenMAXというものについて、簡...
-
#pragmaとは
-
<conio.h>?
おすすめ情報