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

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

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

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

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