C++配列の値が1だけランダムに増加する

Question

MultipleStackは、複数のスタックをサポートするクラスですが、すべての値を単一の1次元配列に格納します。 push(item, k)はitemをkスタックにプッシュします。これを正しく行うために、クラスはすべてのスタックの一番上の要素のインデックスを格納する配列topを格納します。 pushは、itemを押した後にtop[k - 1]を1つ増やして、次の項目が正しくプッシュされるようになっています。しかし、ときどき、pushがtop[k - 1]を2つ増やしてしまい、その理由を理解できません。

#include <cassert> 

class MultipleStack { 
    int * _s; 
    size_t * _top; 
    size_t _nStacks, _size; 

public: 
    MultipleStack(size_t nStacks, size_t size) { 
     _nStacks = nStacks; 
     _size = size * nStacks; 
     _s = new int[size]; 
     _top = new size_t[nStacks]; 
     //Simply sets top = {0, 10, 20, ...} no error here 
     for (size_t i = 0; i < nStacks; i++) { 
      _top[i] = (_size/_nStacks) * i; 
     } 
    } 

    //This is the buggy method 
    void push(int item, size_t k) { 
     size_t beforeSet = _top[k - 1]; 
     _s[_top[k - 1]] = item; 
     size_t afterSet = _top[k - 1]; 
     assert(beforeSet == afterSet); // Fails when beforeSet = 14 
     _top[k - 1] = _top[k - 1] + 1; 
    } 

    static void testImplementation() { 
     //Both, nStacks and size, must be >= 9 
     int nStacks = 10; 
     int size = 10; 
     MultipleStack ms(nStacks, size); 
     for (int i = 1; i <= nStacks; i++) { 
      for (int j = 0; j < size; j++) { 
       ms.push(1, i); 
      } 
     } 
    } 
}; 

int main(int argc, const char * argv[]) { 
    MultipleStack::testImplementation(); 
    return 0; 
} 

長いコードサンプルについてお詫び申し上げます。私はできる限り多くを取り除きましたが、私はそれ以上のことはできませんでした。

Answer 1

私はC-TORでこの行に1個のバグを参照してください。私が正しく理解していれば

_s = new int[size]; 

、_sは、すべてのスタック用のメモリブロックを表し、それ」のサイズは次のようになります。size * nStacks代わりに。これは、後続のデータを上書きする割り当てられたメモリの外部への書き込みにつながる可能性があります（_topアレイはそれらのデータの1つです）。 _sの割り当てを修正してください。

次に、より慎重に変数の名前を付けてみてください。sizeと_sizeを間違えないようにしてください。 _size - >_sizeOfAllStacksなどの名前を変更した場合、これは問題にはなりません。