Умные указатели. У кого есть опыт использования?

@Artem_Pv · Регистрация: 31.03.2019

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

Пытаюсь понять пользу ”Умных указателей”
std::unique_ptr , std::shared_ptr, std::weak_ptr, std::scoped_ptr

Принцип их работы кое как уяснил. Смущает, что технология остается “рискованной” и требует дополнительных знаний внутренностей.
На фоне всех этих сложностей, какова польза “умных” указателей?

Интересует не теория, а именно опыт применения.

IGPIGP · 09.07.2019, 10:04

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

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

Я рад за вас. Потому что я не могу похвастать тем, что я хоть как то вас понял. Если вы говорите о сыром куске памяти и записи туда информации без использования конструктора, то я не вижу способа найти правильные адреса для полей и указателей виртуальных методов в таблице. Возможно вы имеете ввиду что функция "инициализатор" может явно использовать тип создаваемого объекта и выполнять даже приведения до использования готового объекта? Ну-да, - можно использовать sizeof(ReincarnatedObjType), попробовать поискать адрес на каждый член в стиле:

C++
1
2
3
4
5
//somewere upon a code)
ReincarnatedObjType ObjToBeReincarnated;
//-------
//-------
SomeFieldName *ptrToSomefield = &ObjToBeReincarnated.Somefield;

Обходя константность ~~грязными хаками~~ приведениями. Тут правда есть проблема с POD. Их нельзя реинициализировать placement new (если не ошибаюсь), а приведения иогут подраться с алиасингом.
А с адресом в виртуальной таблице не знаю как сделать переносимо и с удовольствием послушаю присутствующих.
***
Я когда я писал о ручном форматировании я полагал, что вы собираетесь пользовать приведение только к адресу "готового" куска памяти (после реинициализации).
Undisputed, я думаю что зубило в умелых руках может и в скале выбить процессор. Вопрос, за чем это нужно немало важен. Особенно учитывая, наши блуждания вокруг launder и непонимания различий модифицируемости поля и инициализируемости некоторого участка памяти. В результате паранойя может достигнуть черты у которой мы скажем о невозможности работы конструктора копирования/перемещения для объектов с константами.

@Undisputed · 09.07.2019, 11:47

Важен начальный адрес. А он уже бывает выровнен
https://en.cppreference.com/w/... ax_align_t
Что касается адресов каждого поля, то они формируются на основе смещения от начального адреса объекта (который уже выровнен).

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

я не вижу способа найти правильные адреса для полей и указателей виртуальных методов в таблице

компилятор "знает" размер каждого поля и так же "знает" о паддинге который есть между полями
и эти поля в памяти расположены друг рядом с другом вплотную (с учетом паддинга естественно)
что в таком случае мешает сделать смещение от начального адреса к нужному полю?
что касается данных из vtable, то они вообще хранятся за пределами данных типа.
внутрь типа просто добавляется указатель на эти данные, размер которого известен - sizeof(void*).

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

Возможно вы имеете ввиду что функция "инициализатор" может явно использовать тип создаваемого объекта

нет, я говорю о выравнивании которое вы затронули

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

А с адресом в виртуальной таблице не знаю как сделать переносимо и с удовольствием послушаю присутствующих.

ну вот... послушали одного из присутствующего ))
надеюсь доступно передал мысль

Добавлено через 18 минут
еще добавлю что выравнивание вручную так же может быть нужно, это зависит от ситуации
но об этом мы поговорим во второй части
если конечно будет спрос

Добавлено через 48 секунд
и это далеко не выравнивание полей
а выравнивание самих объектов

IGPIGP · 09.07.2019, 12:25

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

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

Внутрь объекта, вы имеете в виду? И есть переносимый способ выяснить адрес этого сокрытого поля или полей (при множ. наследовании)?

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

компилятор "знает" размер каждого поля и так же "знает" о паддинге который есть между полями и эти поля в памяти расположены друг рядом с другом вплотную

Он то знает. И он умеет пользуясь ~~чертежом~~ конструктором отформатировать так, чтобы ему самому это было понятно. Остаётся сделать это вручную, без того что "он знает". Undisputed, вероятно мы говорим о каких-то параллельных вещах.

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

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

Что касается адресов каждого поля, то они формируются на основе смещения от начального адреса объекта

Вот пример. Вы это зачем говорите? Я это знаю. Мы же говорим о реинициализации конкретного объекта а у него был, есть и будет адрес. Поэтому смещение выразится в абсолютном адресе. Я там и код привёл. Вопрос не в том. А в том как вы сами будете это кроить. Вопрос зачем, тоже открыт.

@Undisputed · 09.07.2019, 12:33

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

Внутрь объекта, вы имеете в виду?

среди данных объекта находится конкретный адрес
но указатель это часть типа (это поле)

C++
1
2
3
4
5
6
7
8
9
10
struct Foo
{
    int n;
    virtual ~Foo() = default;
};
 
int main()
{
    std::cout << sizeof(Foo);
}

https://rextester.com/TLKIW61341
Проверьте чему будет равен sizeof(Foo) если убрать virtual у деструктора...

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

И есть переносимый способ выяснить адрес этого сокрытого поля?

думаю нет - потому что это детали реализации
но зачем вообще может понадобится это выяснять не очень понятно

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

И он умеет пользуясь чертежом конструктором отформатировать так, чтобы ему самому эьто было понятно.

не, конструктор для этого не нужен
вот в Си например тоже есть выравнивание, но конструкторов там нет и это не мешает выравниванию... предлагаю подумать почему это так..
более того, не constexpr конструктор это вещь которая выполняется в рантайме
а смещения определяются на этапе компиляции

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

вероятно мы говорим о каких-то параллельных вещах.

вроде нет
просто вы утверждаете что для выравнивания полей в структуре нужен конструктор
а я в свою очередь говорю что конструктор для этого не нужен

IGPIGP · 09.07.2019, 19:27

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

думаю нет - потому что это детали реализации
но зачем вообще может понадобится это выяснять не очень понятно

Это значит нельзя сделать без конструктора.

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

просто вы утверждаете что для выравнивания полей в структуре нужен конструктор

Я говорил о форматировании вручную и выравнивание привел как одну из операций. Она настраивается кстати и вы не то говорите когда говорите о том, что вручную будете делать полагаясь на то что "компилятор знает".

@Undisputed · 09.07.2019, 21:54

при всем уважении... но:

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

Это значит нельзя сделать без конструктора.

что нельзя сделать без конструктора?

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

Я говорил о форматировании вручную

форматировании чего?

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

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

Она настраивается

кто она?

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

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

тоже не понял

IGPIGP · 09.07.2019, 22:32

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

что нельзя сделать без конструктора?

Undisputed, интересно, что когда я пишу:

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

И есть переносимый способ выяснить адрес этого сокрытого поля или полей

что свидетельствует от том, что речь идёт о полях объекта, вы стремитесь мне объяснить что данные в объекте а поле в классе (характеристика типа). Думаете это понятно?
То есть вы хотите мне сказать, что объект имеет поле - указатель? Я об этом писал. Вы хотите сказать, что нет переносимого способа определить адрес этого поля? Это я и говорил.
Теперь осталось понять, как вы его инициализируете вручную, если неизвестно где оно (поле-указатель) находится.
И всё остальное в том же ключе.

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

форматировании чего?
у меня не получается применить это слово к обсуждаемой теме

Тип когда-то определялся размером, форматом, набором операций. Формат - размещение в памяти полей/объектов.
Вот тут об размещении можно прочесть:
https://habr.com/ru/post/142662/
А как небрежно вы цитируете! смотрите:

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

Я говорил о форматировании вручную и выравнивание привел как одну из операций. Она настраивается кстати

Вы вырезаете:

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

Она настраивается

и спрашиваете:

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

кто она?

Она, Undisputed, - операция. Всё остальное тоже по русски вроде написал. Ну-да ладно. Непонятно, - значит непонятно. Вряд ли смогу помочь.

@Undisputed · 09.07.2019, 23:37

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

Теперь осталось понять, как вы его инициализируете вручную, если неизвестно где оно (поле-указатель) находится.

Не собирался его инициализировать

Я же о выравнивании говорил, а не о том как инициализировать скрытное поле.
Напомню на всякий случай откуда пошел разговор

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

Ещё хотелось бы уточнить, к чему вы упомянули выравнивание адресов

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

К тому что когда у вас сырая память и вы её сами размечаете (без компилятора с конструктором подмышкой) то это придётся делать вручную.

то есть по вашему вызов конструктора что-то там выравнивает
но это ведь не так... об этом и речь

а все остальное сказанное вами не имеет прямого отношения к тому что выше...
например, какое отношение инициализация указателя vtable имеет к принципу выравнивания полей?

IGPIGP · 09.07.2019, 23:47

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

то есть по вашему вызов конструктора что-то там выравнивает
но это ведь не так... об этом и речь

Undisputed, знаете, мне всегда нравятся утверждения вроде "это делает компилятор". Тут есть 100500 причин не согласиться. Важна мера условности и общий подход в её восприятии. А слово сказанное - ложь есть. Всегда.
Когда я слышу о том, что конструктор ничего не создаёт, - он просто, инициализирует, я не могу не согласиться потому, что Б. Страуструп - создатель языка, это говорит. То есть, та мера условности что он использует для данного случая, - стандарт. Но если вдуматься, то код ни чего не делает вообще. Это текст.
Вызов конструктора инициализирует. Однако никто не вызывает текст. Текст кода конструктора - источник для генерации вызываемого бинарного кода. Код выделяющий память генерируется на основании текста конструктора. Так конструктор выделяет память или нет? Нет, конструктор, это текст. Математики (средние) и абстракции, это забавно.
Undisputed, предлагаю отдохнуть.

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .

@Artem_Pv 1 / 1 / 0 Регистрация: 31.03.2019 Сообщений: 144

	Умные указатели. У кого есть опыт использования? 07.07.2019, 18:14. Показов 7587. Ответов 68 Метки нет (Все метки) Пытаюсь понять пользу ”Умных указателей” std::unique_ptr , std::shared_ptr, std::weak_ptr, std::scoped_ptr Принцип их работы кое как уяснил. Смущает, что технология остается “рискованной” и требует дополнительных знаний внутренностей. На фоне всех этих сложностей, какова польза “умных” указателей? Интересует не теория, а именно опыт применения. 0