C言語で非決定的計算 - sumiiのブログ

http://www.kmonos.net/wlog/96.html#_2319090427 今ある普通の言語の場合、「別に最左である必要はなくて、最大要素のインデックスならどれでもよかった」という実装をすることができません。 「普通の言語」どころか（書いた私が）頭のおかしいコードですが、 > cat max.c #include <stdio.h> #include <assert.h> #include <setjmp.h> void amb(int x, int y) { assert(0); } /* longjmpは返値型がvoidなのでint型に合わせる */ int mylongjmp(jmp_buf cont, int ans) { longjmp(cont, ans); assert(0); } /* arrの最大要素(の一つ)のインデックス+1を非決定的に返す */ v

[rawwell]

"追記２: http://d.hatena.ne.jp/ku-ma-me/20090427/p3 にまさに「破壊的代入による実装」がありました！　コメント感謝。そういう風に関数呼び出し（副作用完了点の一つ）を跨げば未定義動作にもならないと思います（多分）。"