次の条件を満たすコードが、同じ入力に対して実行ごとに異なる出力を生成する可能性はありますか?
- コードはシングル スレッドですが、スレッド セーフなランタイム ライブラリにリンクしています。
- rand() または time() またはそれらの仲間への明示的な呼び出しはありません。
- いくつかのヒープ メモリ割り当てがあります。
- 未定義の動作を引き起こす (バグのある) コードが含まれている可能性があります。
次の条件を満たすコードが、同じ入力に対して実行ごとに異なる出力を生成する可能性はありますか?
「未定義の動作」とは、何でも起こり得ることを意味します。これには、プログラムの実行ごとに異なることが発生する可能性も含まれます。
たとえば、初期化されていないメモリを使用する場合、そのメモリに正確に何が含まれているかは、プログラムの実行ごとに異なる場合があります。
簡単な例:
int main() {
char s[1024];
s[1023] = '\0';
std::cout << s << std::endl;
}
これは通常、実行されるたびに異なる文字列を出力します。ヒープ割り当てを使用せず、未定義の動作でさえないと思うので、おそらくあなたの質問に対する意図した解決策ではありません。
別の例としてnew
、プログラムの実行ごとに異なるアドレスを返すことができます (ここでも UB はありません)。
int main(void) {
std::cout << new int << std::endl;
}
したがって、未定義の動作がなくても「ランダム性」の原因があります。したがって、未定義の動作でも、プログラムの実行ごとに異なることが発生する可能性があります。
「未定義の動作で何かが起こる可能性がある」という回答がたくさん得られるので、このトピックについては言いません。自分で書いていないプログラムがあり、決定論的である必要があり、それをデバッグする必要がある、またはそのようなプログラムがあると仮定します。
最新の OS にはアドレスのランダム化があるため、アドレスを整数として使用する未定義の動作は非決定論的である可能性があります
によって返されるメモリmalloc()
がゼロになることは保証されていませんが、OS は通常、ページを再利用する前にページをゼロにすることでプロセスの機密性を確保します。したがってmalloc()
、スタックを使用する場合は、ゼロ化されたページまたはプロセスが以前に埋めたページのいずれかを取得する必要があるため、非決定性が導入されないようにする必要があります。
今のところ思いつくのはこれくらいです。
他の人がすでに言ったことに加えて:
プログラムがユーザーと対話する場合、おそらく別のランダム性のソースが導入されます。ユーザーは、さまざまな順序で、またはさまざまなタイミングでさまざまなアクションを引き起こす可能性があります。これらのアクションが何であるかに応じて、プログラム内で微妙な違いが発生する可能性があります (メモリが異なる順序で割り当てられるなど)。
それをさまざまな形式の未定義の動作 (初期化されていないメモリの使用が良い例です) と組み合わせると、プログラムが実行されるたびに異なるように見える症状や、一見予測できない方法で終わる可能性があります。
未定義の動作が予期しない結果につながる理由について は、次の投稿をお読みください。
次のプログラムはあなたの要件を満たしています。
#include <time.h>
#include <iostream>
int main()
{
std::cout << time(NULL);
}
もちろん。
rand
またはを呼び出さなくても、多くのことが実行ごとに異なりますtime
。
例えば:
rand
か、またはtime
知らないうちに、そしてもちろん、あなたの最後のポイントはそれに答えます。コードに未知のバグが含まれている場合、それについて何も推測することはできません。それらのバグの 1 つが、呼び出さrand
ないと思っていたのに呼び出してしまう場合はどうすればよいでしょうか?
UB について賢くなろうとしないのが最善です。未定義の場合は未定義であり、「この場合はそれほど悪くない」と推論しようとすると、自分で穴を掘っているだけです。そうかもしれないから。
最後の条件がこの質問に対する答えのようです。これを除いて、たとえば、 time() 呼び出しとその結果を使用した計算について考えることができます。