к чему приыедет отсутствие конструктора коирования

[Svetik001]

В чём опасность отсутствия конструктора копирования для приведённой ниже структуры:
struct MyStruct{
int x;
double eps;
double* values;
MyStruct()
{
x = 0;
eps = 0.0;
values = NULL;
return;
}
~MyStruct()
{
delete [] values;
return;
}
};

[mMAg]

ИМХО, ни в чем.

[Granus]

Ну, если будет использоваться встроенное банальное копирование всех полей, то double *values скопируется как указатель, т.е. в двух структурах будет два указателя на один и тот же массив. Одна структура удалится, удалится и массив, а во второй останется указатель на уже не существующий массив. Следствие: ошибки во время выполнения при попытке доступа или удаления второй структуры (если первая уже удалена).

Еще, если Вы просто создадите структуру и потом удалите ее, то тоже будет ошибка, так как удаляется массив, а указатель равен NULL. Поставьте что-то типа флага, что массив был создан, и только если флаг стоит удаляйте массив. - соврал, проверил.

[pproger]

2Granus
не соврал, проверка перед удалением нужна. а флаг есть - это null

~MyStruct()
{
    if (values)
        delete [] values;
}

пс. к той же самой проблеме приведет отсутствие своего оператора присваивания

[Granus]

проверка перед удалением нужна

Кхм. Опять gcc за меня все сделал, что ли? Проверил, delete [] (int *)0; ошибки не вызывает)
Updated:
codepad.org, известный своей прихотливостью, тоже нормально обработал. Видимо, все-таки то ли компилятор вставляет нужный код сам, то ли delete [] так работает.

[pproger]

2Granus
хех, походу действительно delete (type *)0 не приводит к неопределенному поведению. не знал)
точно, страутсруп пишет, применение delete к нулю не дает какого-либо эффекта. все таки полезно бумажные книги иметь

[Granus]

И я не знал)
А ведь удобно-таки, можно и не проверять, значит

[Svetik001]

спасибо, выручили)

[Smitt&Wesson]

Сообщение от Granus

Видимо, все-таки то ли компилятор вставляет нужный код сам, то ли delete [] так работает.

Я уже писал где-то. delete - перегруженный оператор.
В классическом С было три типа new и два типа delete.
new type
new type(args)
new type[size]
Удалялись они так:
delete pointer
delete pointer
delete [] pointer
Допускалась запись и через разыменование типа к двум первым new.
delete (type *)0
В связи с этим возникало много путаницы.
В С++, за счёт расширенной политики полиморфизма, было реализовано следующее: для всех типов new - использовать оператор delete pointer.
Так, что не парьтесь, все приведённые примеры будут работать одинаково. Никакой утечки памяти не будет.

[Гром]

Насчет delete к нулю учтем.
Кстати, по теме еще - если не сделать конструктор копирования/перегруженный operator=, то в ситуации типа

double *d1, *d2;
//...
MyStruct x, y;
x.SetValue(d1);   //Некая функция установки значений элементов x.Values
y = x;
x.SetValue(d2);

В y будет то же новое значение d2, что и в d1. И наоборот, если в y менять значения, в x они тоже изменятся.