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

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

Новые блоги и статьи Все статьи Все блоги /
Хитросплетение родственных связей пантеона греческих богов. russiannick 14.05.2026 Однооконник, позволяющий узреть и изучить отдельных героев древней Греции. <!DOCTYPE html> <html lang="ru"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible". . .	[golang] Угол между стрелками часов alhaos 12.05.2026 По заданным значениям часа и минуты необходимо определить значение меньшего угла между стрелками аналогового циферблата часов. import "math" func angleClock(hour int, minutes int) float64 { . . .	Debian 13: Установка Lazarus QT5 ВитГо 09.05.2026 Эта инструкция моя компиляция инструкций volvo https:/ / www. cyberforum. ru/ blogs/ 203668/ 10753. html и его же старой инструкции по установке Lazarus с gtk2. . .	Нейросеть на алгоритме "эстафета хвоста" как перспектива. Hrethgir 06.05.2026 На десерт, когда запущу сервер. Статья тут https:/ / habr. com/ ru/ articles/ 1030914/ . Автор я сам, нейросеть только помогает в вопросах которые мне не известны - не знаю людей которые знали-бы. . .
Асинхронный приём данных из COM-порта Argus19 01.05.2026 Асинхронный приём данных из COM-порта Купил на aliexpress термопринтер QR701. Он оказался странным. Поключил к Arduino Nano. Был очень удивлён. Наотрез отказывается печатать русские буквы. Чтобы. . .	попытка написать игровой сервер на C++ pyirrlicht 29.04.2026 попытка написать игровой сервер на плюсах с открытым бесконечным миром. возможно получится прикрутить интерпретатор питон для кастомизации игровой логики. что есть на текущий момент:. . .	Контроль уникальности выбранного документа-основания при изменении реквизита Maks 28.04.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРемонтСпецтехники", разработанного в КА2. Задача: уведомлять пользователя, если указанная заявка (документ-основание). . .	Благородство как наказание Maks 24.04.2026 У хорошего человека отношения с женщинами всегда складываются трудно. А я человек хороший. Заявляю без тени смущения, потому что гордиться тут нечем. От хорошего человека ждут соответствующего. . .

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

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