Дамп памяти из-за уникального_птр или вектора в классах с циклическими ссылками - PullRequest
Новая
       58

Дамп памяти из-за уникального_птр или вектора в классах с циклическими ссылками

0 голосов
/ 30 мая 2019

Я пытаюсь обработать код с классами циклических ссылок.И я обнаружил, что у меня возникли проблемы с unique_ptr или vector, когда я попытался определить их как членов класса.

Этот код содержит 3 класса.Я покажу их все, чтобы избежать двусмысленности.

Во-первых, я запускаю свой код классом, называемым автозагрузкой в ​​main.cpp: 

#include <memory>
#include <vector>
#include "startup.h"
#include "Derived_B.h"
int main() {
    std::unique_ptr<startup> go(new startup);
    return 0;
}

В классе запуска производный класс объявляется (обратите внимание, что базовый класс в этом не указан): 

//Header file
#include <memory>
class startup {
public:
    startup();
    ~startup();
    class Derived_B *dcb;
};
//.cpp
#include "startup.h"
#include "Derived_B.h"
startup::startup() {
    dcb = new Derived_B(this);
}
startup::~startup() {
delete dcb;
}

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

//Header file    
#include "startup.h"
class Base {
public:
    class startup *go;
    class Derived_B *&dcb;
    Base(startup *up):go(up),
                      dcb(up->dcb){}
    ~Base(){}
};

Теперь производный класс: 

//Header file    
#include <memory>
#include <vector>
#include "Base.h"
class Derived_B:public Base {
public:
    Derived_B(startup *up);
    ~Derived_B(){}
    std::unique_ptr<double[]> apple; //Unique pointer here may give problem
    std::unique_ptr<double[]> apple2; //Unique pointer here may give problem
    std::vector<double> orange; //Vector here may give problem too
};
//.cpp
#include "Derived_B.h"
Derived_B::Derived_B(startup *up):Base(up) {

}

Я сконструировал эти классы таким образом, чтобы класс запуска и класс Derived_B знали открытый член каждого другого пользователя напрямую.Однако после того как я добавил unique_ptr или vector в класс Derived_B, время от времени у меня возникает проблема с сбросом ядра.

Я проверил это с помощью valgrind, и результат здесь: 

==7999== 1 errors in context 1 of 2:
==7999== Invalid write of size 8
==7999==    at 0x400967: _Vector_impl (stl_vector.h:87)
==7999==    by 0x400967: _Vector_base (stl_vector.h:125)
==7999==    by 0x400967: vector (stl_vector.h:257)
==7999==    by 0x400967: Derived_B::Derived_B(startup*) (Derived_B.cpp:7)
==7999==    by 0x4008F0: startup::startup() (startup.cpp:11)
==7999==    by 0x40076A: main (main.cpp:9)
==7999==  Address 0x5ab6d00 is 8 bytes after a block of size 40 alloc'd
==7999==    at 0x4C2E0EF: operator new(unsigned long) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==7999==    by 0x4008E2: startup::startup() (startup.cpp:11)
==7999==    by 0x40076A: main (main.cpp:9)
==7999== 
==7999== 
==7999== 1 errors in context 2 of 2:
==7999== Invalid write of size 8
==7999==    at 0x40095F: _Vector_impl (stl_vector.h:87)
==7999==    by 0x40095F: _Vector_base (stl_vector.h:125)
==7999==    by 0x40095F: vector (stl_vector.h:257)
==7999==    by 0x40095F: Derived_B::Derived_B(startup*) (Derived_B.cpp:7)
==7999==    by 0x4008F0: startup::startup() (startup.cpp:11)
==7999==    by 0x40076A: main (main.cpp:9)
==7999==  Address 0x5ab6cf8 is 0 bytes after a block of size 40 alloc'd
==7999==    at 0x4C2E0EF: operator new(unsigned long) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==7999==    by 0x4008E2: startup::startup() (startup.cpp:11)
==7999==    by 0x40076A: main (main.cpp:9)
==7999== 
==7999== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)

Обратите внимание, что проблема возникает довольно случайно, иногда valgrind сообщит о том, что в unique_ptr возникла проблема.Может кто-нибудь сказать мне, как решить эту проблему, пожалуйста?

Редактировать 2: Чтобы решить проблему циклической ссылки, я использовал комбинацию shared_ptr и unique_ptr.Я покажу, что я изменил в классе запуска и Базовом классе: 

//In startup.h
std::shared_ptr<class Derived_B> dcb;//original code: class Derived_B *dcb;
//In startup.cpp
dcb.reset(new Derived_B(this));//original code: dcb = new Derived_B(this);

//In Base.h
class startup *&go;
std::weak_ptr<class Derived_B> dcb; //original code: class Derived_B *&dcb;

Вначале это изменение кажется работающим. Но после добавления нового члена вектора в классе Derived_B аналогичная проблема возникает снова,Кроме того, эта проблема возникает перед деструктором.Я могу показать часть теста valgrind: 

Constructor of startup.
--12397-- REDIR: 0x54613b0 (libc.so.6:__GI_mempcpy) redirected to 0x4c34fa0 (__GI_mempcpy)
Constructor of Base.
==12397== Invalid write of size 8
==12397==    at 0x400F54: _Head_base (tuple:105)
==12397==    by 0x400F54: _Tuple_impl (tuple:202)
==12397==    by 0x400F54: tuple (tuple:602)
==12397==    by 0x400F54: unique_ptr (unique_ptr.h:415)
==12397==    by 0x400F54: Derived_B::Derived_B(startup*) (Derived_B.cpp:7)
==12397==    by 0x400C9E: startup::startup() (startup.cpp:13)
==12397==    by 0x400A6A: main (main.cpp:10)
==12397==  Address 0x5ab7168 is 0 bytes after a block of size 88 alloc'd
==12397==    at 0x4C2E0EF: operator new(unsigned long) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==12397==    by 0x400C90: startup::startup() (startup.cpp:13)
==12397==    by 0x400A6A: main (main.cpp:10)
==12397== 
==12397== Invalid write of size 8
==12397==    at 0x400F5C: _Head_base (tuple:105)
==12397==    by 0x400F5C: _Tuple_impl (tuple:202)
==12397==    by 0x400F5C: tuple (tuple:602)
==12397==    by 0x400F5C: unique_ptr (unique_ptr.h:415)
==12397==    by 0x400F5C: Derived_B::Derived_B(startup*) (Derived_B.cpp:7)
==12397==    by 0x400C9E: startup::startup() (startup.cpp:13)
==12397==    by 0x400A6A: main (main.cpp:10)
==12397==  Address 0x5ab7170 is 8 bytes after a block of size 88 alloc'd
==12397==    at 0x4C2E0EF: operator new(unsigned long) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==12397==    by 0x400C90: startup::startup() (startup.cpp:13)
==12397==    by 0x400A6A: main (main.cpp:10)
==12397== 
Constructor of Derived_B.

Редактировать 3 (проблема может быть решена): Я думаю, что проблема может быть связана с тем, как я создал исполняемый код.После того как я удалил все файлы .o и заново создал код, проблем больше нет.Вот мой Makefile: 

# makefile 
FLAG = -O2 -g
COMPLIER = g++ -std=c++14
#OBJ = 
OBJ = startup.o Derived_B.o #Derived_A.o 
spTest: ${OBJ} main.cpp
    ${COMPLIER} ${FLAG} -o spTest ${OBJ} main.cpp
Derived_B.o: Derived_B.h Derived_B.cpp Base.h
    ${COMPLIER} ${FLAG} -c Derived_B.cpp 
startup.o: startup.h startup.cpp 
    ${COMPLIER} ${FLAG} -c startup.cpp
.PHONY: clean
clean:
    -rm *.o spTest

1 Ответ

0 голосов
/ 30 мая 2019

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

Как прервать циклическую ссылку shared_ptr, используя слабый_птр

...