конструктор копирования для константного объекта
У меня есть следующий класс Foo
class foo
{
int *arr; // arr holds numbers
int sz; // size of array
public:
// Suppose I have made default and 1 parameter c'tor
foo(const foo &f)
{
sz = f.sz;
arr = new int[sz];
for(int i=0;i<sz;i++)
arr[i]=f.arr[i];
}
};
int main()
{
foo x(5); //5 is size of array
const foo y = x; //doesn't work as I haven't initialized in member-initialization list, but how to write for loop in member initialization list ?
}
Итак, как мне написать цикл в списке инициализации члена?
Решение
Вы могли бы просто использовать std::vector в этом случае … в любом случае.
Как правило, я создаю приватный статический метод, который будет выполнять выделение и копирование. Тогда список инициализации можно использовать:
static int* CloneInts(const foo& f) {
int* ints = new ...
...copy them from @a f.arr...
return ints;
}
Тогда ваш список инициализации будет выглядеть так:
foo(const foo& f) : arr(CloneInts(f)), sz(f.sz) {
Другие решения
Вы пытались создать его непосредственно с помощью конструктора копирования?
const foo y(x);
Вы должны уточнить свою проблему, потому что тот, который в вопросе на самом деле не существует.
const foo y = x; строка будет компилироваться и работать с этим конструктором копирования. Строящийся const-объект не является «const» до тех пор, пока конструктор не завершит работу. Поэтому телу конструктора разрешено изменять объект, даже если конструируемый объект является const.
Также обратите внимание, что цикл в примере даже не модифицирует ничего, что когда-либо было константным — так как массив выделяется динамически, эти элементы массива могут изменяться, даже если сам объект не изменяется. Например, arr указатель не может быть изменен после завершения ctor, но arr[0] все еще.
Попробуйте следующее, чтобы увидеть обе точки в действии:
#include <stdio.h>
#include <algorithm>
class foo
{
int *arr; // arr holds numbers
int sz; // size of array
public:
foo() : arr(0), sz(0) { puts("default ctor");}
foo(int x) : arr(0), sz(x) {
puts( "int ctor");
arr = new int[sz];
for(int i=0;i<sz;i++)
arr[i]=0;
}
foo(const foo &f)
{
puts("copy ctor");
sz = f.sz;
arr = new int[sz];
for(int i=0;i<sz;i++)
arr[i]=f.arr[i];
}
~foo() {
delete [] arr;
}
foo& operator=(const foo& rhs) {
if (this != &rhs) {
foo tmp(rhs);
std::swap( arr, tmp.arr);
std::swap( sz, tmp.sz);
}
return *this;
}
void update() const {
for(int i = 0; i < sz; i++) {
arr[i] = arr[i] + 1;
}
}
void dump() const {
for(int i = 0; i < sz; i++) {
printf("%d ", arr[i]);
}
puts("");
}
};
int main()
{
foo x(5); //5 is size of array
const foo y = x;
y.dump();
y.update(); // can still modify the int array, even though `y` is const
y.dump();
}
Я думаю, что вы можете путать конструирование const-объектов с конструированием объектов, которые имеют константные члены, поскольку эти члены должны быть инициализированы в списке инициализации.
detector