Для строительных контейнеров вы, очевидно, хотите использовать один из стандартных контейнеров (например, std :: vector). Но это прекрасный пример того, что вам нужно учитывать, когда ваш объект содержит указатели RAW.
Если у вашего объекта есть указатель RAW, вам необходимо запомнить правило 3 (теперь это правило 5 в C++ 11).
- Конструктор
- Destructor
- Конструктор копирования
- Оператор присваивания
- Move Конструктор (C++ 11)
- Move Assignment (C++ 11)
Это потому что, если не определено, компилятор будет генерировать собственную версию этих методов (см. ниже). Сгенерированные версии компилятора не всегда полезны при работе с указателями RAW.
Конструктор копирования является твердым, чтобы получить правильное (это нетривиально, если вы хотите обеспечить надежную гарантию исключения). Оператор присваивания может быть определен в терминах Copy Constructor, так как вы можете использовать внутреннюю копию и своп.
См. Ниже полную информацию об абсолютном минимуме для класса, содержащего указатель на массив целых чисел.
Зная, что это не так, чтобы это было правильно, вы должны использовать 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 указатели в игре вам нужно обратить внимание. В вашем случае это вызывает проблему из-за проблемы неглубокой копии. Вы получили два объекта, которые содержат указатели на одну и ту же часть памяти. Когда 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;
}
}
Самый отличный ответ! Upvoted! Мне просто жаль, что я не смог бы это сделать снова! –
Есть ли у вас некоторые статьи о проблеме с исключениями, о которой вы говорите? – shoosh
Почему вы используете «raw»? Разумеется, это не аббревиатура ни для чего, а просто означает «сырой», как в немодифицированном, обычном, не в умном указателе, так и в другом виде обертки. – jalf