Нужно ли вызывать деструкторы для объектов помувленного массива?

@Mirmik · Регистрация: 27.02.2014

Author24 — интернет-сервис помощи студентам

Собственно, сабж.

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

@GbaLog- · 15.02.2017, 08:25

А зачем? Деструктор перемещенного объекта сам вызовет деструкторы других объектов при своей смерти.

@Mirmik · 15.02.2017, 09:01 **[ТС]**

Дело в том, что объект то как раз не умер. Объект - это контейнер. Он перемещает хранимые объекты в другую область в целях расширения (ака вектор).

@GbaLog- · 15.02.2017, 09:15

Не совсем понятно, что значит не умер? После перемещения объект не должен хранить вообще ничего, он уже как убитый должен быть. Контейнер, из которого происходит перемещение, не должен иметь указателя на данные, которыми он раньше владел(если речь идёт о чем-то, похожем на вектор).

@Mirmik · 15.02.2017, 09:22 **[ТС]**

Ок. Еще раз постановка вопроса.
Пусть речь идет о векторе. Я хочу разобраться в его механике.

Я запросил добавление элемента.
Вектор проверил размер буфера и выяснил, что буфер заполнен.
Вектор начинает процедуру расширения буфера. Для этого он тягает аллокатор выделить больший буфер и использует алгоритм множественного move для перемещения данных в новую область памяти.
После перемещения вектор освобождает область памяти, занимаемую его буфером ранее.

Вопрос. Перед освобождением буфера.. Вызывает ли вектор деструкторы теперь уже невалидных объектов в освобождаемом буфере?

@Renji · 15.02.2017, 09:29

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

Вопрос. Перед освобождением буфера.. Вызывает ли вектор деструкторы теперь уже невалидных объектов в освобождаемом буфере?

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

@GbaLog- · 15.02.2017, 10:28

Сообщение от GbaLog-

он уже как убитый должен быть.

Поправочка, как пустой, конечно же.

Готовый к новому использованию.

Добавлено через 4 минуты

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

Вызывает ли вектор деструкторы теперь уже невалидных объектов в освобождаемом буфере?

Они сами вызываются после delete old_data;
1.

C++

#include <iostream>
 
struct A
{
    A() { std::cout << "ctor\n"; }
    ~A() { std::cout << "dtor\n"; }
};
 
int main()
{
    A * a = new A;
    delete a;
}

Out:

Код

ctor
dtor

2.

C++

#include <iostream>
 
struct A
{
    A() { std::cout << "ctor\n"; }
    ~A() { std::cout << "dtor\n"; }
};
 
int main()
{
    A * a = new A;
    //delete a;
}

Out:

Код

ctor

@hoggy · 15.02.2017, 10:59

Сообщение от GbaLog-

Деструктор перемещенного объекта сам вызовет деструкторы других объектов при своей смерти

опустошаемый объект не умирает.
опустошаемые им поля так же не умирают.

Сообщение от GbaLog-

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

нет, по стандарту опустошенный объект находится в состоянии unspecified

это означает:
"не известно точно в каком, но известно точно,
что он полностью валиден, и работоспособен".

Сообщение от GbaLog-

Поправочка, как пустой, конечно же.
Готовый к новому использованию.

ну да, вот оно самое.

Mirmik,
это значит, что как минимум,
у него корректно отработает диструктор.

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

@Mirmik · 15.02.2017, 13:04 **[ТС]**

Они сами вызываются после delete old_data;

Таки если я пишу в стиле stl контейнеров, то конструкторы и деструкторы мне все-таки приходится вызывать самому.

@GbaLog- · 15.02.2017, 13:27

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

то конструкторы и деструкторы мне все-таки приходится вызывать самому.

Никогда не надо вызывать деструкторы самому! Исключение: placement new. Если вы не пользуете placement new, то после вызова delete для старого буфера деструкторы будут вызваны автоматически.

@Undisputed · 15.02.2017, 13:49

Сообщение от GbaLog-

Исключение: placement new.

Наверное вы имели ввиду, placement new, и если его указатель на объект не используется с delete.

C++

#include <iostream>
 
struct Foo
{
    int n;
    Foo()
    {
        std::cout << "CONSTRUCT";
    }
    ~Foo()
    {
        std::cout << "DESTRUCT";
    }
};
 
int main()
{
    void *ptr = operator new(sizeof(Foo));
    Foo *f = new(ptr)Foo;
    delete f;
}

@GbaLog- · 15.02.2017, 13:57

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

Наверное вы имели ввиду, placement new, и если его указатель на объект не используется с delete.

Именно так.

@Mirmik · 15.02.2017, 14:17 **[ТС]**

Когда я говорю самому, я имею ввиду std::allocator::destruct.
std::allocator, насколько я понимаю, хочет, чтобы ручками был вызван std::allocator::destruct. std::allocator::deallocate ведь не вызывает destruct?

Добавлено через 7 минут
В коде стандартного вектора, как я смотрю, вызывается std::_Destoy. Правда, я почему-то никак не соображу, кто он такой...

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	15.02.2017, 13:57	12
	Сообщение от sys_beginner Наверное вы имели ввиду, placement new, и если его указатель на объект не используется с delete. Именно так. 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
		1
	Нужно ли вызывать деструкторы для объектов помувленного массива? 15.02.2017, 08:13. Показов 1594. Ответов 12 Метки нет (Все метки) Собственно, сабж. Будет ли правильным вызывать деструкторы элементов массива, которые были перемещены, или это бесполезная трата времени и массив можно освободить из памяти. Как принято в стандартной библиотеке? 0

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	15.02.2017, 08:25	2
	А зачем? Деструктор перемещенного объекта сам вызовет деструкторы других объектов при своей смерти. 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	15.02.2017, 09:01 [ТС]	3
	Дело в том, что объект то как раз не умер. Объект - это контейнер. Он перемещает хранимые объекты в другую область в целях расширения (ака вектор). 0

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	15.02.2017, 09:15	4
	Не совсем понятно, что значит не умер? После перемещения объект не должен хранить вообще ничего, он уже как убитый должен быть. Контейнер, из которого происходит перемещение, не должен иметь указателя на данные, которыми он раньше владел(если речь идёт о чем-то, похожем на вектор). 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	15.02.2017, 09:22 [ТС]	5
	Ок. Еще раз постановка вопроса. Пусть речь идет о векторе. Я хочу разобраться в его механике. Я запросил добавление элемента. Вектор проверил размер буфера и выяснил, что буфер заполнен. Вектор начинает процедуру расширения буфера. Для этого он тягает аллокатор выделить больший буфер и использует алгоритм множественного move для перемещения данных в новую область памяти. После перемещения вектор освобождает область памяти, занимаемую его буфером ранее. Вопрос. Перед освобождением буфера.. Вызывает ли вектор деструкторы теперь уже невалидных объектов в освобождаемом буфере? 0

@Renji 2782 / 1935 / 570 Регистрация: 05.06.2014 Сообщений: 5,600
	15.02.2017, 09:29	6
	Сообщение от Mirmik Вопрос. Перед освобождением буфера.. Вызывает ли вектор деструкторы теперь уже невалидных объектов в освобождаемом буфере? Да. Операторы перемещения ничего невалидным не делают, а потому от необходимости вызывать деструкторы не освобождают. 1

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	15.02.2017, 10:59	8
	Сообщение от GbaLog- Деструктор перемещенного объекта сам вызовет деструкторы других объектов при своей смерти опустошаемый объект не умирает. опустошаемые им поля так же не умирают. Сообщение от GbaLog- После перемещения объект не должен хранить вообще ничего, он уже как убитый должен быть. нет, по стандарту опустошенный объект находится в состоянии unspecified это означает: "не известно точно в каком, но известно точно, что он полностью валиден, и работоспособен". Сообщение от GbaLog- Поправочка, как пустой, конечно же. Готовый к новому использованию. ну да, вот оно самое. Mirmik, это значит, что как минимум, у него корректно отработает диструктор. а посетив ему новое состояние, мы можем продолжать его эксплуатировать так, словно никакого перемещения никогда и не было. 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	15.02.2017, 13:04 [ТС]	9
	Они сами вызываются после delete old_data; Таки если я пишу в стиле stl контейнеров, то конструкторы и деструкторы мне все-таки приходится вызывать самому. 0

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	15.02.2017, 13:27	10
	Сообщение от Mirmik то конструкторы и деструкторы мне все-таки приходится вызывать самому. Никогда не надо вызывать деструкторы самому! Исключение: `placement new`. Если вы не пользуете `placement new`, то после вызова `delete` для старого буфера деструкторы будут вызваны автоматически. 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	15.02.2017, 14:17 [ТС]	13
	Когда я говорю самому, я имею ввиду std::allocator::destruct. std::allocator, насколько я понимаю, хочет, чтобы ручками был вызван std::allocator::destruct. std::allocator::deallocate ведь не вызывает destruct? Добавлено через 7 минут В коде стандартного вектора, как я смотрю, вызывается std::_Destoy. Правда, я почему-то никак не соображу, кто он такой... 0