new int [] выбрасывает исключение 'Access Violation' - PullRequest
0 голосов
/ 17 апреля 2011

Я работаю над пользовательским классом Vector.Все прекрасно работает на компиляторе Microsoft, однако, когда я пробую его на Borland, я получаю действительно странную ошибку.

Borland вызывает исключение внутри функции вставки;Именно при вызове конструктора копирования "Vector temp (* this);"в

"array_ = new int [rhs.size_];"строка

void Vector::insert(int value, unsigned position) throw(SubscriptError)
{
    check_bounds(position);
    Vector temp(*this);
    int tmpSize= size_;
    temp.size_++;
    size_++;
    for (unsigned int i=tmpSize; i > position; i--)
    {
        temp[i] = temp[i-1];
    }
    temp[position] = value;

   //array_= temp.array_;
    for(unsigned int i = 0; i < size_; i++)
    {
        array_[i]= temp.array_[i];
    }
}

и вот мой конструктор копирования;

Vector::Vector(const Vector& rhs)
{
    array_ = new int[rhs.size_];
    size_ = rhs.size_;
    for(unsigned int i = 0; i < rhs.size_; i++)
    {
        array_[i] = rhs.array_[i];
    }
}

и, наконец, это main ();

 std::cout << "push_back 5 integers:\n";
 for (int i = 0; i < 5; i++)
 {
  a.push_back(i);
   Print(a);
 }

std::cout << "insert(99, 3):\n";
a.insert(99, 3);
Print(a);
std::cout << "insert(98, 0):\n";
a.insert(98, 0);
Print(a);
std::cout << "insert(97, 6):\n";
a.insert(97, 6);
Print(a);

Странная вещь - первая вставкаcall (a.insert (99, 3)) работает нормально, он падает, когда речь идет о втором вызове (a.insert (98, 0))

Вот полный заголовочный файл

namespace CS170
 {
    class SubscriptError
    {
     public:
       SubscriptError(int Subscript) : subscript_(Subscript) {};
       int GetSubscript(void) const { return subscript_; }

     private:
    int subscript_;
    };

class Vector
{
public:

    static const int NO_INDEX = -1;

    struct SortResult
    {
        unsigned compares;
        unsigned swaps;
    };

    // Default constructor
    Vector(void);

    // Destructor
    ~Vector();

    // Copy constructor
    Vector(const Vector& rhs);

    // Constructor to create a Vector from an array
    Vector(const int array[], unsigned size);

    // Adds a node to the front of the list
    void push_back(int value);

    // Adds a node to the end of the list
    void push_front(int value);

    // Removes the last element. Does nothing if empty.
    void pop_back(void);

    // Removes the first element. Does nothing if empty.
    void pop_front(void);

    // Inserts a new node at the specified position. Causes an
    // abort() if the position is invalid. (Calls check_bounds)
    void insert(int value, unsigned position) throw(SubscriptError);

    // Removes an element with the specified value (first occurrence)
    void remove(int value);

    // Deletes the underlying array and sets size_ to 0
    void clear(void);

    // Return true if the vector is empty, otherwise, false
    bool empty(void) const;

    // Assignment operator
    Vector& operator=(const Vector& rhs);

    // Concatenates a vector onto the end of this vector.
    Vector& operator+=(const Vector& rhs);

    // Concatenates two Vectors.
    Vector operator+(const Vector& rhs) const;

    // Subscript operators.
    int operator[](unsigned index) const throw(SubscriptError);
    int& operator[](unsigned index) throw(SubscriptError);

    // Returns the number of elements in the vector.
    unsigned size(void) const;

    // Returns the size of the underlying array
    unsigned capacity(void) const;

    // The number of memory allocations that have occurred
    unsigned allocations(void) const;

    // This searches the vector using a binary search instead
    // of a linear search. The data must be sorted. Returns
    // the index. If not found, returns CS170::Vector::NO_INDEX.
    // DO NOT SORT THE DATA IN THIS FUNCTION!!    
    int bsearch(int value) const;

    // Sorts the elements using a selection sort. 
    // Returns the number of swaps/comparisons that occurred.
    SortResult selection_sort(void);

    // Sorts the elements using a bubble_sort.
    // Returns the number of swaps/comparisons that occurred.
    SortResult bubble_sort(void);

    void swap(int &a, int& b);

    void swapv(Vector &other);

    void reverse(void);

    bool operator==(const Vector& rhs) const;

    void shrink_to_fit(void);

private:
    int *array_;        // The dynamically allocated array
    unsigned size_;     // The number of elements in the array
    unsigned capacity_; // The allocated size of the array
    unsigned allocs_;   // Number of allocations (resizes)

    // Private methods...
    void check_bounds(unsigned index) const throw(SubscriptError);
    void grow(void);

    // Other private methods...
};

   }// namespace CS170

        #endif // VECTOR_H

Ответы [ 3 ]

2 голосов
/ 17 апреля 2011

Вы не (заметно) изменяете размер array_ внутри insert().Это означает, что вы всегда будете писать один элемент после конца его выделенной памяти.

Копирование всего массива (дважды) делает очень дорогой вставку.Чего вы пытаетесь достичь, чего нельзя сделать в std::vector?

2 голосов
/ 17 апреля 2011

На мой взгляд, урон наносится при первом вызове insert(). Когда вы вставляете элемент, вы также должны увеличить выделенные байты для вашего члена array_. Вы просто увеличиваете size_, но как насчет увеличения размера фактического array_?

Например, что-то вроде ниже происходит в вашем insert():

int size = 5;
int *p = new int[size];
// ... populate p[i] (i = 0 to i = size - 1)
size ++;
p[size - 1] = VALUE; // oops ... incremented 'size' but before that reallocate to 'p'

После вызова сначала вставьте ваш стек будет уже поврежден. Так что 2-й раз он падает. Просто проверьте с соответствующими изменениями кода.

На боковой ноте

  • Я чувствую, что вы можете написать insert(), более оптимизированный. Я не чувствую необходимости копировать полную Vector<> во временную.
  • Кроме того, попытайтесь выделить большее количество байтов для array_, чем необходимо. Чтобы вам не приходилось много раз перераспределять
  • Попробуйте увидеть исходный код фактического vector из STL для повышения эффективности.
0 голосов
/ 17 апреля 2011

В вашей функции вставки вы не выделяете память для вновь вставленного элемента, и после первой вставки копия ctr пытается прочитать нераспределенную память в строке, в которой выдается исключение. Решение состоит в том, чтобы изначально выделить больше памяти (поэтому емкость используется для типичных векторных реализаций) или увеличить выделенный массив при каждой вставке. Необходимо реализовать перераспределение для обоих решений, но в первом оно будет вызываться реже.

...