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で質問しましょう!
似たような質問が見つかりました
- C言語・C++・C# C言語のエラーについて 2 2022/07/11 13:56
- C言語・C++・C# 10人分の生徒の英語の点数{32,34,41,38,40,26,14,46,42,50} と数学の点 2 2022/05/26 21:31
- C言語・C++・C# C言語プログラム変更 2 2022/12/21 15:03
- C言語・C++・C# C 言語の Gauss Jordan 法について 2 2022/12/28 11:16
- その他(プログラミング・Web制作) awkの文字列比較はPOSIXロケールまたはCロケールにおいてバイナリ値の比較に使えるか gawkな 1 2023/04/22 09:21
- C言語・C++・C# 至急教えてください! プログラミングの問題です! お願いします! 出力2と全く同じ出力をするように、 2 2022/06/22 23:10
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 前順序集合についての違和感なんですが、全順序と違ってすべての要素の間に順序があるわけではないですよね 3 2022/08/09 00:05
- gooポイント gooポイントをdポイントに交換できない。 3 2022/04/22 20:39
- C言語・C++・C# 3×3のラテン方陣をつくるプログラムを作成したのですが、(↓) #include <stdio.h> 5 2023/07/10 01:53
関連するカテゴリからQ&Aを探す
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
VisualC++6.0でhugeモデルを使...
-
構造体について
-
ソフトの開発言語を調べる方法
-
unsigned long long 型のフォー...
-
プログラミングって右脳よりの...
-
printfなど、標準関数のソース...
-
Visual Studio でmakefileを使...
-
Type name expected エラーがで...
-
python エラー
-
エクセルのエラーメッセージ「4...
-
アプリケーションのDLLファイル...
-
<unistd.h>をVisualStudioでつ...
-
1 つ以上の複数回定義されてい...
-
Excelのエラーで困ってます。
-
VBAを何回も作り直して、容量が...
-
ビープ音が鳴りません・・・
-
sys/time.hのインクルードがで...
-
visual studio2019でデバッグが...
-
eclipseでプログラムが実行でき...
-
error C3867 関数呼び出しには...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
unsigned long long 型のフォー...
-
ソフトの開発言語を調べる方法
-
cc と gcc の違い
-
printfなど、標準関数のソース...
-
パーサとコンパイラの違いって?
-
COBOLのALPHABET...
-
Visual Studio でmakefileを使...
-
組み込みソフト。ROM領域にデータ
-
リリースモードとデバッグモー...
-
C++Builder → Visual C++ 移植...
-
C++でデスクトップGUIアプリ開...
-
サイクルカウントの方法
-
VisualC++6.0でのProfessionalE...
-
COBOLの論理演算子について質問...
-
関数形式マクロ dtaは戻り値が...
-
C言語の2進数表記
-
POWERCOBOLのSQL...
-
Σの計算について
-
C言語の規格
-
COBOL計算式の中間ワーク桁数に...
おすすめ情報