構造体のvectorをpush_backする過程で問題が生じている？

Question

前提・実現したいこと

要素数が6のベクトルを代入したいのですが, デバッグで見ていくと, 代入されていたり, 要素数が0になっていたりする.

発生している問題・エラーメッセージ

ベクトルを代入する関数が2つあるのですが, 片方はうまく代入できているのですが, もう一方の関数できちんと代入されていなく, 要素数が0になっている.

//うまく行った場合
a = size=6 {
      [0] = 85
      [1] = 52.500147820000002
      [2] = 0.70422535200000003
      [3] = 60
      [4] = 78.157357930000003
      [5] = 40.270996089999997
    }
//失敗している場合
a = size=0 {}

該当のソースコード

//構造体の中身
typedef struct {
    vector<double> a;
    double p;
    double e;
    double k;
    double F;
    int exp;
    double as;
    int ts;
    int MS;
    int AS;
} Classifier;
//途中部分は省略...

void CSAddset(vector<Classifier>& CS) {
    int i;
    CS.push_back(CS[0]);
    i = CS.size() - 1;
    //RNN
    FirstCS_RNN(CS, i);
    CS[i].p = 0.1;
    CS[i].e = 0.1;
    CS[i].F = 0.1;
    CS[i].exp = 0;
    CS[i].as = 0;
    CS[i].ts = 0;
    CS[i].MS = 0;
    CS[i].AS = 0;
}

//この関数内のAddsetで問題が生じる.
void covering(vector<Classifier>& CS, const vector<double>& data, vector< vector<double> >& valuepattern, const int t, const string Func) {
    int i, j, k, n;
    int nownumber;
    vector <vector<double> > notvalue;
    vector<double> action;
    int counter = 0;
    //マッチセットの中の行動をカウント
    for(i = 0; i < valuepattern.size(); i++) {
        for(j = 0; j < CS.size(); j++)  {
            if(CS[j].MS == 1) {
                if(CS[j].a == valuepattern[i]) {
                    counter++;
                    break;
                }
                else {
                    notvalue.push_back(valuepattern[i]);
                }
            }
        }
    }
    //10種類の行動があればカバーリングを行わずに終了
    if(counter >= 10)
        return;
    
    //行動が10種類なければカバーリングを行う
    nownumber = CS.size();
    if(counter > 0) {
        for(i = 0; i < notvalue.size() - counter; i++) {
            //rm_cs_of_MAX(CS, n);
            CSAddset(CS);
            for(j = 0; j < CS.size(); j++) {
                if(CS[j].a.size() == 0) {
                    cout << i+1 << "回目" << "Addsetおかしいぞ" << endl;
                    abort();
                }
            }
            k = CS.size() - 1;
            CS[k].a = notvalue[i];
            do {
                CS_propagation(CS, data, t, k, Func);
                CS_BPTT(CS, data, t, k, Func);
            }   while(CS[k].RNN.o.n[0] <= CS[k].RNN.o.n[1]);
            CS[k].MS = 1;
            k++;
        }
    }
    else {
        for(i = 0; i < valuepattern.size(); i++) {
            //rm_cs_of_MAX(CS, n);
            CSAddset(CS);
            for(j = 0; j < CS.size(); j++) {
                if(CS[j].a.size() == 0) {
                    cout << i+1 << "回目" << "Addsetおかしいぞ" << endl;
                    abort();
                }
            }
            k = CS.size() - 1;
            CS[k].a = valuepattern[i];
            do {
                CS_propagation(CS, data, t, k, Func);
                CS_BPTT(CS, data, t, k, Func);
            }   while(CS[k].RNN.o.n[0] <= CS[k].RNN.o.n[1]);
            CS[k].MS = 1;
            k++;
        }
    }
    rm_cs_of_add(CS);
}

やってみたこと

vectorの構造体を追加したあとにいろいろとメンバ変数に代入しているのですが, その過程で問題が生じているみたいです.
追記*
デバッグで追ったところ, 関数covering内のAddsetを実行後に要素が0になっていることがわかりました.
合わせて, Addsetも追記しておきます.
コメント文では, "2回目Addsetおかしいぞ"と出力されるので, 2回目の実行からおかしくなっているものと思われます.
よろしくお願いします.

補足情報（FW/ツールのバージョンなど）

環境はMacです.

Answer 1

CS[j].a が空の配列なのが意図どおりではないということですよね。
代入している valuepattern[i] が空の配列でないということは確認してあるのでしょうか？

CS[j].a = valuepattern[i];

---

std::vector の代入は各要素の値コピーが行われます。
代入元の配列が空でなければ、代入先の配列も空にはなりません。

#include <iostream>
#include <vector>

int main()
{
    std::vector<int> array1 = {1, 2, 3, 4, 5};
    for (const auto &v : array1)
        std::cout << v << " ";
    std::cout << std::endl;

    std::vector<int> array2;
    std::cout << "array2.size(): " << array2.size() << std::endl;

    array2 = array1;  // コピーコンストラクタ
    for (const auto &v : array2)
        std::cout << v << " ";
    std::cout << std::endl;
}

1 2 3 4 5 
array2.size(): 0
1 2 3 4 5 

Comments

[rosbergf1]

デバッグでvaluepatternについては確認していて, 空の配列はひとつもなかったので, valuepatternに起因する問題ではないことは確認しています.
なんか関数coveringの中の関数AddCSsetでp, e, fに(0, 1)の乱数を代入しているのですが, それに関しても0になってしまっているんですよね.
vector自体が使い始めてまだ日が浅いので仕組みをあまり理解できてないのですが, segmentation faultがでてないってことはメモリリークではないとは思うんですが, どうなんでしょう...

[tiitoi]

代入の直前で valuepattern の中身を確認して、代入の直後で `CS[j].a` を確認してください。
回答に追記しましたが、std::vector の代入はコピー元の各値がコピーされますので、コピー元が空でなければ、空にならないはずです。
segmentation fault が起こらなくても、メモリの不正アクセスなどは起きている可能性があります。(segmentation fault が起こらないから大丈夫ということにはなりません。)

[rosbergf1]

valuepatternは空じゃなかったので, メモリの関係ですかね...
vectorの数を増やしすぎると, エラーを吐かずにおかしな挙動を示すみたいなことってあるんでしょうか？

[tiitoi]

自分は vector の代入でおかしなことになった経験はないです。
ただ代入時に値コピーが行われる以上、メモリは追加で確保されます。メモリが逼迫するほど巨大なデータを扱っているのでしょうか？
あと可能性としてですが、別のスレッドからこの関数で使われている変数にアクセスしたりしていないですよね？

[rosbergf1]

回答有り難うございます.
実は, CS_BPTTという関数でものすごい量のvectorを扱っています.
試しに, CS_BPTTのところだけコメントアウトして実行してみたところ, おかしなことになることはなくなりました.
この関数をできるだけメモリを使わないように動作するように改良したいと思います.
ありがとうございました.