C++相談室 part166 (569ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
407(1): デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sate] 2025/06/20(金) 19:12:09.11 ID:ykKOKnwYM(1/7) AAS
>>406406(1): デフォルトの名無しさん [sage] 2025/06/20(金) 18:21:03.44 ID:4xHX9xY70(2/2) AAS
>>398
そんなことは知ってるのさ
「実行ごとに演算結果が変わる（可能性がある）」から最適化されない、と言うのは良いんだけど
最初からその前提の話をしていたはずなのに「演算をやらない可能性がある」と言い出しただろ？
375 整数型の変数を〜（略）〜この計算が最適化とかで除かれない保証ってあるの
381 それだと取り除けるケースがあるので保証はされない
382 いや、そんなことない。最適化では結果は変わらない事が保証される。
388 （略）〜演算をやらない可能性があるってこと
この流れじゃ『整数型の変数（実行時に結果が変わる）の場合でも最適化によって「演算をやらない可能性がある」』ってニュアンスになっているって気づかんの？
それに対してのどういう状況だ？という>>390だよ
まあ言いたいことは分かったから別にいいけどさ
回答者にも正しいことを言っている人と間違っていることを言っている人が
いるというだけ。
正しいのは、仕様に明示されている動作については、
最適化してもしなくても結果が変わらないという事だ。
なぜなら、それが仕様なのだから。
409(1): デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sage] 2025/06/20(金) 20:44:54.01 ID:ykKOKnwYM(2/7) AAS
保証されます。
414: デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sage] 2025/06/20(金) 21:43:49.77 ID:ykKOKnwYM(3/7) AAS
>>412それは、ユーザープログラムのバグではなく、コンパイラのバグだ。
コンパイラにバグが無ければ、四則演算や&,|,~,^,&&,||などと
括弧の組み合わせた結果は、最適化しても変わらない。
0除算に関しては話が別。
415(1): デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sage] 2025/06/20(金) 21:48:47.56 ID:ykKOKnwYM(4/7) AAS
最適化されて変わる可能性があるのは、今思い出せるのは、
・初期化してない変数の中身
・変数のアドレス
・結果を利用せず、副作用も伴わない式の存在。
整数に対する四則演算を含めた「計算」は、仕様が決められているので、
同じコンパイラと同じターゲット(OS、環境)だと最適化しても
結果は変わらない。
浮動小数点に対する計算は誤差の範囲で結果が変化する可能性はある。
416(2): デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sage] 2025/06/20(金) 22:25:10.37 ID:ykKOKnwYM(5/7) AAS
>>415
1. 整数の計算途中に「桁あふれ」が起きる場合はこの限りではないかも知れない。
例えば、整数型 a に対して、a * 100 / 5 は、a * 20 と最適化できる
可能性がある。しかし a がとても大きい場合には結果は同じにはならない可能性がある。このことに
関して仕様がどうなっているかは知らない。
2. 浮動小数点型の変数 a に対して、(a * 100.0) / 5.0 は、
a * 20.0 と最適化できる可能性があるが、浮動小数点型には計算誤差があるので、
誤差の範囲内で異なる結果になる可能性があるかもしれない。
これに対して仕様上、最適化していいかどうか走らない。
3. しかし、整数型
417: デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [] 2025/06/20(金) 22:25:52.67 ID:ykKOKnwYM(6/7) AAS
>>416
3. しかし、整数型変数 a に対して、(a / 100) * 100 は、
明らかに
418: デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sage] 2025/06/20(金) 22:26:34.77 ID:ykKOKnwYM(7/7) AAS
>>416
3. しかし、整数型変数 a に対して、(a / 100) * 100 は、
明らかに a とは、結果が異なる。だから a と最適化される事は無い。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s