C++: 条件分岐が正しく動かない

Question

vector<MyClass> data[6];
int input[6]={0,0,0,0,0,0};
for (i = 0; i < 6; i++) {
	if (data[i].size() == 0)continue;
	if (input[i] == 1) {
		do_something();
	}
}

上記のようなプログラムで、Visual Studio のデバッガで確認すると data[i].size()==0, input[i]==0 にもかかわらず、do_something() が実行されることがあります。まだ発生条件は分からない中の質問で申し訳ないのですが、原因として考えられうる物を教えてください。

Comments

[kazto]

VisualStudioのデバッガを使用しているのであれば、do_something()関数内でブレークを張っておいて、止まった時にバックトレースで呼び元に行って条件文の変数がどうなっているかを確認してみてはいかがでしょうか。

Answer 1

表示ソースだけ見るとあり得ないように見えますが、
その do_something();実行される場合の、iの値はいくつですか。

Comments

[stringthread]

5回ほど試したのですが、それぞれバラバラの値でした。

[ardin]

i=1～5でバラバラということですか。
その際input[i]はいくつだったのでしょうか。
記載以外でinput[i]に値を入れている可能性は全くありませんか？

[ardin]

data[i].size()==0
この条件がクリアされている時点で、記載外でdata[*]を弄っているでしょうし、
input[*]にも値が入るようになっているような。
またはどこかで変数がバッファオーバーして想定外のことになっている可能性

[stringthread]

dataとinputの値はこのループの前で設定していて、do_something()でも変更していないはずなので、data[i].size()==0とinput[i]==0は変わっていないと思います。

[ardin]

VS2013で試してみましたが発生しないですね。MyClassはintに置き換えましたが。
マルチスレッドでなにかしているのかな。

Answer 2

data[i].size()==0, input[i]==0 にもかかわらず、do_something() が実行される

この2つの前提を満たしている、と思ったけど実は違った、というのが可能性としては高いです。

Answer 3

こんにちは。

原因として考えられうる物を教えてください。

一見ありえない現象ですので、そのような時に考えられる原因は非常に多岐に渡ります。
思いつくものを上げて見ます。

1. ご提示されていないコードに原因がある（十中八九これです）
2. コンパイラのバグ
3. パソコンが壊れかけていてメモリが化けている

「ご提示されていないコードに原因がある」については、例えばループ内に他にも関数呼び出しがあり、それがスタックを破壊しているとか、そもそも提示されているコードとはポイントとなる構造が異なるコードで発生するなどですね。
この問題を回避するには、問題が再現する最小のコードを作って、それを提示されることです。
多くの場合そのようなコードを作っている最中に原因が判明します。判明しなければそれを提示されると良いです。きっと解決します。

Answer 4

paizaで試しましたが再現しませんね。
提示していないコードに要因があるのでは。

Answer 5

vector<MyClass> data[6];
int input[6]={0,0,0,0,0,0};
for (i = 0; i < 6; i++) {
if (data[i].size() == 0)continue;
if (input[i] == 1) {
std::cout<< "i=" << i << " data[i].size()=" << data[i].size() << " input[i]=" << input[i] << std::endl;//cout debug
do_something();
}
}
の結果はどうなりますか？　

他の場所でdo_something()と同等の処理をする関数、機能はないのですか？
他の部分を削っって実行してみても同じ出力ですか？

Answer 6

マルチスレッドの場合ならばありえそうですね