Краткий ответ

Для этого используется алиас-конструктор std::shared_ptr. Он создаёт указатель, который хранит адрес подобъекта, но разделяет контрольный блок с исходным shared_ptr, поэтому владение сохраняется за целым объектом. Когда последний такой указатель исчезает, уничтожается объект-владелец, а не отдельное поле.

Исторический контекст

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

Алиас-конструктор появился в C++11 как средство разделить владение и наблюдаемый адрес. Это полезно для полей, элементов массивов и объектов, чья жизнь полностью зависит от другого объекта.

Постановка проблемы

Если создать новый shared_ptr непосредственно из адреса поля, он не будет знать, что поле принадлежит исходному объекту. Это может привести к отдельному контрольному блоку, двойному удалению или висячему указателю после уничтожения владельца.

Нужно одновременно обеспечить две разные семантики: get() должен возвращать адрес подобъекта, а время жизни этого подобъекта должно продлеваться владением исходным объектом.

Подробное решение

Алиас-конструктор получает исходный shared_ptr и отдельный указатель, который будет возвращаться через get(). Новый указатель копирует контрольный блок исходного владельца, но не меняет управляемый адрес, уничтожаемый этим контрольным блоком.

#include <iostream>
#include <memory>

struct Sample { int value = 42; };

int main() {
    auto owner = std::make_shared<Sample>();
    std::shared_ptr<int> view(owner, &owner->value);
    owner.reset();
    std::cout << *view << '
';
}

После owner.reset() объект Sample не уничтожается: view всё ещё владеет тем же контрольным блоком. При этом view.get() указывает на value, а при его уничтожении будет уничтожен весь Sample.

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

Такой shared_ptr может иметь ненулевой use_count(), даже если его get() равен nullptr: владение и наблюдаемый адрес являются независимыми частями состояния. Механизм не создаёт дополнительное владение самим подобъектом и не требует отдельного deleter для него.

Ситуация из практики

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

Выбран алиас-указатель: контрольный блок конфигурации сохраняется, а get() направляется на нужное поддерево. Это устраняет копирование и висячие указатели, но требует документировать, что возвращённый указатель не является независимым владельцем поддерева.

Если поддерево должно жить независимо от родительского объекта или иметь собственный жизненный цикл, алиас-конструктор применять нельзя. В таком случае нужны отдельное владение, копирование или другая модель управления временем жизни.

Что кандидаты часто упускают

Создаёт ли алиас-конструктор второй контрольный блок?

Нет. Он разделяет контрольный блок исходного shared_ptr. Поэтому счётчик владельцев увеличивается для исходного объекта, а повторное удаление владельца не происходит. Создание shared_ptr из необработанного адреса поля, напротив, обычно создаёт независимый контрольный блок и является ошибкой владения.

Что именно возвращают get() и operator* у алиасного указателя?

Они работают с переданным при создании алиасом адресом подобъекта. Контрольный блок при этом продолжает отвечать за уничтожение исходного объекта. Поэтому тип shared_ptr может быть std::shared_ptr<int>, хотя фактически он продлевает жизнь Sample.

Безопасен ли алиасный shared_ptr при перемещении или копировании исходного владельца?

Да, копирование и перемещение не меняют связь с контрольным блоком. Алиас продолжает владеть исходным объектом и хранить свой наблюдаемый адрес. Но безопасность сохраняется только при условии, что этот адрес остаётся валидным внутри времени жизни владельца; изменение структуры объекта, например перемещение элемента контейнера, может сделать адрес подобъекта недействительным.