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

@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, предлагаю отдохнуть.

Новые блоги и статьи Все статьи Все блоги /
Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .

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

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