*n = n++; [#dfc58ac0]
** まえおき [#w51c240c]
__'n = n++;'__ という代入文の話をM先生から聞いて、気になったので調べてみた。
実はM先生が言っておられたのは以下のようなコードのことで、これなら別に問題ない。（少なくとも解釈には困らない。）
class Some {
int n;
void foo(int n) {
this.n = n++;
}
}
** 本題 [#h7334e70]
文字通り __'n = n++;'__ という代入文だとどうなるの? というのが今回の問題。つまり、
int n = 0;
n = n++;
というコードを考えると、
+ 式 __'n++'__ の値は 0 なので、代入演算によって n に 0 が代入される。
+ ++演算子により、n がインクリメントされる。
という2つの処理が行われるはずだけれども、順序次第で結果は変わる。1→2なら実行後の n は1になるし、2→1なら n は0になる。
__'n = n + 1;'__ という書き方と __'n++;'__ という書き方を習った人が、こんがらがって(?) __'n = n++;'__ と書いた、という例は何回か見たことある。そのとき使ってた Microsoft C/C++ Compiler だと、特に警告はなく、結果は __'n++;'__ と書いたのと同じ（n がインクリメントされる）だった。（書いた人たちもインクリメントのつもりで書いているので、間違いに気づかなかった。）
*** K&R [#i5685b96]
K&R((カーニハン, リッチー: プログラミング言語C, 第2版, 石田訳, p.66, 共立出版, 1989.))には、悪い例として __'a[i] = i++;'__ が出てくる（__'a[i]'__ の __'i'__ の値は処理系依存）。なら、__'n = n++;'__ も悪い例なんでしょうね? たぶん。
*** GCC [#m221ee18]
GCCだとどうか? というと、結果 n がインクリメントされるのは同じ（試したのは powerpc-apple-darwin8-gcc-4.0.1 と i386-redhat-linux-gcc-4.1.2）。
で、__'-Wsequence-point'__オプションを付けると、
warning: operation on 'n' may be undefined
という警告が出るようになる（カシコイ）。
manページの __'-Wsequence-point'__ の項を見ると、
>(略)
>Examples of code with undefined behavior are "a = a++;", "a[n] = b[n++]" and "a[i++] = i;". Some more complicated cases are not diagnosed by this option, and it may give an occasional false positive result, but in general it has been found fairly effective at detecting this sort of problem in programs.
>(略)
ということで、__'n = n++;'__ は undefined behavior なコードとのこと。
** Java [#zf3cfd23]
じゃあ Java は? というと、これがエラーじゃないのだな。（意外じゃない? そう?）
int n = 0;
n = n++;
System.out.println("n = " + n);
というコードはちゃんとコンパイルできる。で、結果は __'n = 0'__ と表示される。つまり、上のほうに書いた2→1の順、ということに。
*** 言語仕様 [#z7f8d4ae]
[[Java言語仕様>http://java.sun.com/docs/books/jls/third_edition/html/j3TOC.html]]((The Java Language Specification, Third Edition, http://java.sun.com/docs/books/jls/))ではどうなってんの? と見てみると、「評価順序」という節([[§15.7>http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.7]])にごちゃごちゃ書いてある。
__'n = n++;'__ の解釈は「Evaluate Operands before Operation」([[§15.7.2>http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.7.2]])の原則に従えばよいのでしょうね? つまり、代入演算より先に右辺が完全に評価される(fully evaluated)、と。「完全に評価される」って何? と言うと、[[§15.7.1>http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.7.1]]の本文から察するに、副作用も全部実行される、という意味みたい。
「__'n = a++;'__ はよくて __'n = n++;'__ はだめ」とか言い出すと規則が複雑になるし、代わりに意味論の自由度をなくしとけば（run anywhere的には）不都合ないでしょ? てことか。
*** と言うことは [#c4d58fec]
じゃあ __' a[i] = i++;'__ や __'a[i++] = i;'__ もokなわけね? ということで実験。
int[] a = new int[] { 0, 0, 0, 0, 0 };
int i = 1;
a[i] = i++; // (*1)
a[i++] = i; // (*2)
for (int j = 0; j < a.length; j++) {
System.out.print(a[j] + " ");
}
System.out.println();
問題なくコンパイルできる。結果は __'0 1 3 0 0'__。
__'='__ についても「Evaluate Left-Hand Operand First」([[§15.7.1>http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.7.1]])の原則で、左辺を先に評価するわけですな? 上のコードの(*1)では a[1] に 1 が代入され、i は 2 になる。(*2)では a[2] にインクリメント後の i が代入される。
*** おまけの実験 [#zc960952]
この言語仕様書とか“The Java Programming Language((K.Arnold, J.Gosling, and D.Holmes: The Java Programming Language, Fourth Edition, Addison-Wesley, 2006.))”とかよく見ると、__'n = n++;'__ よりえげつない例もいろいろと…。
下記はThe Java Programming Languageの§9.2.1の例。
int i = 16;
System.out.println(++i + " " + i++ + " " + i);
…はいはい、Java的にはokなんでしょ? よくわかりマシタ。__'(-.-)'__
ちなみに __'17 17 18'__ と表示されるのが正解。
もちろん C では処理系依存のはず…、ということで試してみる。文字列連結演算子がないのでそっくりにはできないが、下のようなコードだと…。
int i = 16;
printf("%d %d %d\n", ++i, i++, i);
K&Rにも似た例が「悪い例」として挙がっている（引数の評価順序は処理系依存）。実行結果は以下の通り。
| powerpc-apple-darwin8-gcc-4.0.1 | __'18 17 18'__ |
| i386-redhat-linux-gcc-4.1.2 | __'18 16 18'__ |
2番目だけ小さい値になるのがちょっと意外。
今度は __'sprintf'__ と __'strcat'__ を組み合わせて文字列連結演算を模倣してみると…（下のコード）。
#include <stdio.h>
#include <string.h>
char *tostr(int i) {
static char buf[3][256];
static int bufc = 0;
sprintf(buf[bufc], "%d ", i);
return buf[bufc++];
}
int main() {
int n = 16;
printf("%s\n", strcat(strcat(tostr(++n), tostr(n++)), tostr(n)));
return 0;
}
結果は以下の通り。powerpcは左引数優先、i386は右引数優先、のような結果。
| powerpc-apple-darwin8-gcc-4.0.1 | __'17 17 18'__ |
| i386-redhat-linux-gcc-4.1.2 | __'18 16 16'__ |
** 結論 [#x6dddc3d]
__'n = n++;'__ という文は、
- Javaでは正しい文（でも n の値は変化しないので無意味）
- Cでは振る舞いは処理系依存（でもインクリメントされる場合が多い?）
- GCC 4 で __'-Wall'__ をつければ警告が表示される
