Для построения контейнеров вы, очевидно, хотите использовать один из стандартных контейнеров (например, std :: vector). Но это прекрасный пример того, что нужно учитывать, когда ваш объект содержит указатели RAW.
Если у вашего объекта есть указатель RAW, вам нужно запомнить правило 3 (теперь правило 5 в C ++ 11).
- Конструктор
- Destructor
- Конструктор копирования
- Оператор присваивания
- Конструктор Move (C ++ 11)
- Назначение перемещения (C ++ 11)
Это потому, что если не определено, компилятор сгенерирует свою собственную версию этих методов (см. Ниже). Версии, сгенерированные компилятором, не всегда полезны при работе с указателями RAW.
Конструктор копирования сложен для корректности (нетривиален, если вы хотите предоставить гарантию сильных исключений). Оператор присваивания может быть определен в терминах конструктора копирования, так как вы можете использовать идиому копирования и замены для внутреннего использования.
Подробную информацию об абсолютном минимуме для класса, содержащего указатель на массив целых чисел, см. Ниже.
Зная, что исправить его нетривиально, вы должны рассмотреть использование std :: vector, а не указатель на массив целых чисел. Вектор прост в использовании (и расширяется) и охватывает все проблемы, связанные с исключениями. Сравните следующий класс с определением A ниже.
class A
{
std::vector<int> mArray;
public:
A(){}
A(size_t s) :mArray(s) {}
};
Глядя на вашу проблему:
A* arrayOfAs = new A[5];
for (int i = 0; i < 5; ++i)
{
// As you surmised the problem is on this line.
arrayOfAs[i] = A(3);
// What is happening:
// 1) A(3) Build your A object (fine)
// 2) A::operator=(A const&) is called to assign the value
// onto the result of the array access. Because you did
// not define this operator the compiler generated one is
// used.
}
Оператор присваивания, сгенерированный компилятором, подходит почти для всех ситуаций, но когда в игре используются RAW-указатели, вам следует обратить внимание В вашем случае это вызывает проблему из-за проблемы shallow copy . Вы получили два объекта, которые содержат указатели на один и тот же фрагмент памяти. Когда A (3) выходит из области видимости в конце цикла, он вызывает delete [] для своего указателя. Таким образом, другой объект (в массиве) теперь содержит указатель на память, которая была возвращена системе.
Сгенерированный компилятором конструктор копирования ; копирует каждую переменную-член, используя конструктор копирования этих членов. Для указателей это просто означает, что значение указателя копируется из исходного объекта в целевой объект (следовательно, поверхностное копирование).
Сгенерированный компилятором оператор присваивания ; копирует каждую переменную-член, используя этот оператор присваивания. Для указателей это просто означает, что значение указателя копируется из исходного объекта в целевой объект (следовательно, поверхностное копирование).
Итак, минимум для класса, который содержит указатель:
class A
{
size_t mSize;
int* mArray;
public:
// Simple constructor/destructor are obvious.
A(size_t s = 0) {mSize=s;mArray = new int[mSize];}
~A() {delete [] mArray;}
// Copy constructor needs more work
A(A const& copy)
{
mSize = copy.mSize;
mArray = new int[copy.mSize];
// Don't need to worry about copying integers.
// But if the object has a copy constructor then
// it would also need to worry about throws from the copy constructor.
std::copy(©.mArray[0],©.mArray[c.mSize],mArray);
}
// Define assignment operator in terms of the copy constructor
// Modified: There is a slight twist to the copy swap idiom, that you can
// Remove the manual copy made by passing the rhs by value thus
// providing an implicit copy generated by the compiler.
A& operator=(A rhs) // Pass by value (thus generating a copy)
{
rhs.swap(*this); // Now swap data with the copy.
// The rhs parameter will delete the array when it
// goes out of scope at the end of the function
return *this;
}
void swap(A& s) noexcept
{
using std::swap;
swap(this.mArray,s.mArray);
swap(this.mSize ,s.mSize);
}
// C++11
A(A&& src) noexcept
: mSize(0)
, mArray(NULL)
{
src.swap(*this);
}
A& operator=(A&& src) noexcept
{
src.swap(*this); // You are moving the state of the src object
// into this one. The state of the src object
// after the move must be valid but indeterminate.
//
// The easiest way to do this is to swap the states
// of the two objects.
//
// Note: Doing any operation on src after a move
// is risky (apart from destroy) until you put it
// into a specific state. Your object should have
// appropriate methods for this.
//
// Example: Assignment (operator = should work).
// std::vector() has clear() which sets
// a specific state without needing to
// know the current state.
return *this;
}
}