VPF::"delete (void*)ptr;" и вызов деструктора.

boostcoder

Дата 22.4.2011, 10:50 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

всем доброго дня.
в следующем коде, хотелось бы понять, откуда компилятор знает что то, на что указывает void* - класс?

Код


#include <iostream>
#include <vector>
#include <boost/shared_ptr.hpp>

struct type1 {
   type1() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
   ~type1() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
};

struct type2 {
   type2() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
   ~type2() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
};

int main() {
   std::vector<boost::shared_ptr<void>> vec;
   vec.push_back(boost::shared_ptr<void>(new type1));
   vec.push_back(boost::shared_ptr<void>(new type2));
}

http://liveworkspace.org/?id=0a13c91492244...1cd1b5e6e8fc5f7

т.е. то что освобождается память - понятно. не понятно именно то, откуда компилятор знает что это указатель на класс, чтоб вызвать еще и его деструктор?
или это все проделки RTTI ?
и вообще, безопасен ли такой код?

спасибо smile

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

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

azesmcar

Дата 22.4.2011, 11:21 (ссылка)

(голосов:2)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Код


template<class T> class shared_ptr
{
...
    template<class Y>
    explicit shared_ptr( Y * p ): px( p ), pn( p ) // Y must be complete
...

Цитата(boostcoder @ 22.4.2011, 10:50

)

не понятно именно то, откуда компилятор знает что это указатель на класс, чтоб вызвать еще и его деструктор?

ты сам передал его тип вместе с указателем.

Цитата(boostcoder @ 22.4.2011, 10:50

)

или это все проделки RTTI ?

нет.

Цитата(boostcoder @ 22.4.2011, 10:50

)

и вообще, безопасен ли такой код?

да.

boostcoder

Дата 22.4.2011, 11:25 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(azesmcar @ 22.4.2011, 11:21

)

ты сам передал его тип вместе с указателем.

да. но вектор хранит смарт-поинтеры на void. и деструкторы вызываются при разрушении вектора. а значит, деструкторы вызывают смарт-поинтеры на void.

Это сообщение отредактировал(а) boostcoder - 22.4.2011, 11:26

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

azesmcar

Дата 22.4.2011, 11:30 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(boostcoder @ 22.4.2011, 11:25

)

да. но вектор хранит смарт-поинтеры на void

но создается в нем shared_ptr, который уже знает тип.
происходит примерно следующее.

Код


boost::shared_ptr<void> x(new type1);
boost::shared_ptr<void> y;
y = x; // теперь y тоже ссылается на тот же объект.

boostcoder

Дата 22.4.2011, 11:34 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(azesmcar @ 22.4.2011, 11:30

)

shared_ptr, который уже знает тип

не понял..

вектор хранит boost::shared_ptr<void>
в push_back я тоже передаю boost::shared_ptr<void>

откуда он знает тип? не въезжаю...

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

azesmcar

Дата 22.4.2011, 11:37 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(boostcoder @ 22.4.2011, 11:34

)

откуда он знает тип? не въезжаю...

представь

Код


template <typename T> struct shared_ptr
{
    template <typename Y> shared_ptr(Y* p) {}
};

T - void, но Y у тебя - type1. Соответственно он может создать deleter с соответствующим типом.

Добавлено через 1 минуту и 5 секунд

Цитата(boostcoder @ 22.4.2011, 11:34

)

вектор хранит boost::shared_ptr<void>
в push_back я тоже передаю boost::shared_ptr<void>

нет, в push_back ты передаешь

Код


boost::shared_ptr<void>(new type1)

а значит передаваемому объекту известен тип.

boostcoder

Дата 22.4.2011, 11:39 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

аааа..
я не обратил внимания что тут другой тип параметра:

Код


template<class Y>
    explicit shared_ptr( Y * p )

все. понял. спасибо.

вопрос закрыт.

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »