Вне области до возврата

Question

Следующий фрагмент кода - это упрощенная версия проблемы, которую я имею в визуальной студии.

Код ввода деструктор во

return temp; 

отладки пошагового.

Код:

class point2d 
{ 
    public: 
    int x, y; 
}; 
class poly2d 
{ 
    public: 

    void operator=(const poly2d& temp) 
    { 
     for (cnt = 0; cnt < pointNum; ++ cnt) 
     { 
      p[cnt].x = temp.x; 
      p[cnt].y = temp.y; 
     } 
    } 


    poly2d(int size); 
    ~poly2d(); 

    point2d* p; 
    int pointNum; 
}; 

poly2d::poly2d(int size) 
{ 
    pointNum = size; 
    p = new point2d[size]; 
} 

poly2d::~poly2d() 
{ 
    if (p) 
    { 
     delete[] p; 
     p = 0; 
    } 
} 

poly2d copy(); 

int main() 
{ 
    poly2d myPoly(5); 

    myPoly = copy(); 

    return 1; 
} 

poly2d copy() 
{ 
    poly2d temp(5); 

    return temp; 
} 

Я знаю, эта часть не имеет никакого смысла, но это упрощено и из контекста, но в то же время подчеркивает мою проблему. Деструктор выполняется перед оператором return. Затем следует конструктор копирования, затем деструктор снова. Он дважды удаляется и вызывает ошибки. Это первый раз, когда я столкнулся с этой проблемой в течение 6 лет.

Спасибо.

Answer 1

Вы не определили конструктор назначения копирования для своего класса poly2d. В этом случае ваш компилятор создаст для вас конструктор по умолчанию. Весь этот конструктор делает копию каждого поля вашего класса.

Это означает, в частности, что копирует указатель point2d * p, а не базовую точку.

Так что происходит, когда вы вызываете copy()?

Вы создаете новый poly2d, то есть вызывается конструктор poly2d. Это создает новый point2d. Теперь ваш вызов для копирования() завершен. То, что фактически назначено для вашего poly2d myPoly, является копией вашего временного объекта. Деструктор временного объекта вызывается сразу после завершения вызова функции copy(). Этот деструктор уничтожает объект point2d, на который указывает объект temp. Проблема в том, что ни в какой момент не был создан новый объект point2d для myPoly. myPoly имеет указатель на объект, на который указывал temp, который теперь взломан. Это, конечно, плохо.

Вы можете исправить это, указав свои собственные конструкторы назначения копирования и копирования и удостоверившись, что новый point2d создается каждый раз при копировании poly2d. Или, как уже было предложено, вы можете использовать std :: vector.

Answer 2

Вы можете попытаться реализовать Правило 3/5, но я бы рекомендовал для Rule of Zero. Он основан на следующем принципе:

классы, которые имеют пользовательские деструкторов, копирование/перемещение конструкторами или копировать/перемещать операторы присваивания должны иметь дело исключительно с правом собственности. Другие классы не должны иметь настраиваемые деструкторы, копировать/перемещать конструкторы или копировать/перемещать операторы присваивания.

Вы можете упростить свой код следующим образом:

struct point2d 
{ 
    int x, y; 
}; 

struct poly2d 
{ 
    poly2d(std::vector<point2d>::size_type size); 

    std::vector<point2d> p; 
}; 

вектор будет обрабатывать копирование и управление памятью автоматически, никаких дополнительных работ не должно быть израсходованы. Пример конструктора будет выглядеть примерно так:

poly2d(std::vector<point2d>::size_type size) 
    : p(size) 
{ 
}