вопрос распределения памяти, связанный с вектором - PullRequest
Новая
       15

вопрос распределения памяти, связанный с вектором

5 голосов
/ 27 апреля 2010

Я столкнулся со следующей ошибкой.

  • У меня есть класс Foo. Экземпляры этого класса хранятся в std :: vector vec из class B.
  • в классе Foo я создаю экземпляр класса A, выделяя память с помощью new и удаляя этот объект в ~Foo().

код компилируется, но во время выполнения происходит сбой. Если я отключу delete my_a от деструктора класса Foo. Код работает нормально (но будет утечка памяти).

Может кто-нибудь объяснить, что здесь происходит не так, и предложить исправление?

спасибо! 

class A{
      public:
          A(int val);
          ~A(){};
          int val_a;

};

A::A(int val){
       val_a = val;
       };

class Foo {      
      public:
             Foo();
             ~Foo();
             void createA();
             A* my_a;
};

Foo::Foo(){
    createA();
};

void Foo::createA(){
    my_a = new A(20);
};

Foo::~Foo(){
    delete my_a;

};



class B {
      public:
             vector<Foo> vec;             
             void createFoo();            
             B(){};
             ~B(){};
};


void B::createFoo(){
    vec.push_back(Foo());
};


int main(){
    B b;

    int i  =0;
    for (i = 0; i < 5; i ++){
        std::cout<<"\n creating Foo";
        b.createFoo();   
        std::cout<<"\n Foo created";
        }
    std::cout<<"\nDone with Foo creation";

    std::cout << "\nPress RETURN to continue...";
    std::cin.get();

    return 0;
}

Ответы [ 3 ]

7 голосов
/ 27 апреля 2010

Вам необходимо реализовать конструктор копирования и оператор присваивания для Foo. Всякий раз, когда вы обнаружите, что вам нужен деструктор, вам, безусловно, нужны и эти два. Они используются во многих местах, особенно для помещения объектов в контейнеры стандартной библиотеки.

Конструктор копирования должен выглядеть так: 

Foo :: Foo( const Foo & f ) : my_a( new A( * f.my_a ) ) {
}

и оператор присваивания: 

Foo & Foo :: operator=( const Foo & f ) {
    delete my_a;
    my_a = new A( * f.my_a );
    return * this;
}

Или, что еще лучше, не создавайте экземпляр A в классе Foo динамически: 

class Foo {      
      public:
             Foo();
             ~Foo();
             void createA();
             A my_a;
};

Foo::Foo() : my_a( 20 ) {
};
3 голосов
/ 27 апреля 2010

Если вы не укажете конструктор копирования, компилятор сделает его за вас. Ваш сгенерированный компилятором конструктор копирования выглядит так: 

Foo::Foo(const Foo& copy)
    : my_a(copy.my_a)
{}

Woops! Вы копируете только указатель, а не указанную память. И ваш временный Foo() в createFoo(), и тот, что скопирован в вектор, указывают на одну и ту же память, поэтому память удаляется дважды, что приводит к сбою программы при втором удалении.

Вы должны создать конструктор копирования, который будет выглядеть примерно так: 

Foo::Foo(const Foo& copy)
    : my_a(new A(*copy.my_a))
{}

Обратите внимание, что это происходит сбой, если copy имеет элемент NULL my_a, а также вызывает конструктор копирования для A, который вы также не указали. Итак, вы захотите внести некоторые изменения. Вам также понадобится перегрузка operator=.

2 голосов
/ 27 апреля 2010

Объект Foo копируется, и при уничтожении каждой копии вызывается delete для того же значения указателя my_a. Реализуйте оператор копирования и присваивания для Foo или используйте умный указатель. 

 Foo( const Foo& s) : my_a( s.my_a ? new A(*s.my_a) : 0) {
 }

 Foo& operator= (const Foo& s) {
     Foo temp(s); 
     temp.swap (*this);
     return *this;
 }

 void swap (Foo &s) { 
     std::swap (my_a, s.my_a);  
 };
...