インクリメント、デクリメントの順序について

質問

式中にインクリメント、デクリメントがある場合、制御の順番はちゃんと定義されていないようですが

・これは、一度コンパイルされてしまったら、もう動作はその時置き換えられた形で固定される。

・同じコンパイラ、同じ環境で、同条件でコンパイルした場合は、まず間違いなく同じ結果が得られる。

・ただし、その順序はコンパイラ毎に違う可能性がある。

という事で正しいですか？

回答No.4

php504 · ベストアンサー

インクリメントした変数はその文中で1回しか使用したらいけないと言うことでいいと思いますよ。
正確には文ではなくて副作用完了点ですが
例えば
#include <stdio.h>
int main(void)
{
int i = 1;
if (i++ == 1 && i == 2) {
printf("OK");
}
return 0;
}
の場合は && で副作用完了点なのでOKになります

お礼

なるほど、そういうことですか！
ありがとうございました。

回答No.3

asuncion

＞*a++=*b++;

これは全く問題ありません。
１）*a = *b;
２）a++;
３）b++;

２）と３）は逆かもしれませんが、どちらが先でも問題ないですね。

＞a[i] = ++i;

これは未定義です。a[i]にアクセスするときのiが、
インクリメントする前なのかした後なのか、
処理系によって異なります。どちらかに決めつけることはできません。

お礼

えっと・・・つまりやはりインクリメントされたものが複数回含まれると・・・でいいのですか？
それともそれだけでは説明しきれないのでしょうか？

a[i] = i++;

の場合はどうなのでしょうか？

回答No.2

asuncion

＞式中にインクリメント、デクリメントがある場合、制御の順番はちゃんと定義されていないようですが

ちゃんと定義できる場合もあります。
具体的にどういうコードを想定されていますか？

お礼

ありがとうございます。
タイミングが行き違いましたね。
とりあえず、下記のような解釈でいいので問題ないのでしょうか？

補足

すみません
「でいいので問題ないのでしょうか」
は「でいいのでしょうか」
または
「で問題ないのでしょうか」
のいずれかです。

回答No.1

titokani

規格上は、実行するたびに異なるということもありえます。
というか、実行順が結果に影響を与えるようなケースは「未定義」とされていますので、鼻から悪魔が出てきてもかまいません。

ということを踏まえたうえで、
＞・これは、一度コンパイルされてしまったら、もう動作はその時置き換えられた形で固定される。

＞・同じコンパイラ、同じ環境で、同条件でコンパイルした場合は、まず間違いなく同じ結果が得られる。

＞・ただし、その順序はコンパイラ毎に違う可能性がある。

この世に存在するほぼすべての実装はこうなっているでしょう。
ただし、それに頼った書き方をするのは間違いです。

お礼

ありがとうございます。

では、具体的にはどういうのがまずくて
どういうのがいいのでしょうか？

例えば

*a++=*b++;

などと言った表記は本やネットで何度も見かけたことがありました。
つまりこのように、式中に一つだけしかなければOKで

a[i] = ++i;

や

Text = i++ +""+ i++;

などのように
式中に同一の変数が、一度でもインクリメント、デクリメントされている形で複数回あるとNG、ということでしょうか？