与えられたコードでは未定義の動作ですか？

Question

呼び出し前にpの値が が5に初期化されている場合、f（p、p）の戻り値は何ですか？最初のパラメータは であり、2番目のパラメータは値渡しであることに注意してください。

int f (int &x, int c) { 
     c = c - 1; 
     if (c==0) return 1; 
     x = x + 1; 
     return f(x,c) * x; 
} 

オプションは次のとおりです。

---

私が説明しよう：このコードで

---

、4つの再帰的なパラメータを持つコール（6,4）、（7,3）、（8,2）と（9,1）が存在します。最後の呼び出しは1を返します。しかし、参照渡しにより、前のすべての関数のxは9になります。したがって、f（p、p）によって返される値は9 * 9 * 9 * 9 * 1 = 6561になります。

---

この質問は競争試験GATE（see Q.no.-42）からのものです。答えキーはGATEの "すべてにマークする"（正しいオプションがないことを意味します）key set-C, Q.no.-42です。どこかに説明されています：

GATE 2013では、C/C++の同じコードがすべて未定義の動作を生成するため、マークが付けられました。これは、*がC/C++のシーケンスポイントではないためです。正しいコードは

res = f(x,c); 
return res * x; 

---

で

return f(x,c) * x; 

を交換する必要がありますが、与えられたコードが正常に動作します。ゲートの鍵は間違っていますか？それとも本当に間違いですか？

Answer 1

return f(x,c) * x; 

この操作の結果は、2つのものが評価される順序によって異なります。あなたが評価される順序を予測することはできないので、この操作の結果を予測することはできません。

Answer 2

C++ 03章5：

指摘し、個々の事業者との個別 表現の部分式のオペランドの評価、および副作用が行われる順番の順序は、指定されていない場合を除き。

のでf(x,c) * xの場合には、オペランドの評価順序は、左または右のオペランドが最初に評価を取得するかどうか、あなたが知ることができないことを意味し、指定されていません。

コードにの指定されていない動作があります。これはコンパイラにのみ知られている特定の定義された方法で動作することを意味します。プログラマは、コードが何をするのかを知ることはできません。最初に左のオペランドを最初に評価するか、最初に右のオペランドを評価するだけです。コンパイラは、最適化のためにケースバイケースで評価の順序を変更することさえ可能です。

評価の順序が重要な場合は、コードを書き直す必要があります。不特定の動作に依存するコードは、常にバグであり、おそらく非常に微妙なものであり、直ちに現れません。

未定義の振る舞いは未定義の振る舞いとは異なります。これは、予定外の振る舞いやクラッシュなど、何かが起こる可能性があることを意味します。