Передача вектора<shared_ptr<T>> по ссылке без обхода общей семантики

У меня есть класс, который содержит vector<shared_ptr<T>>:

using SharedItems = std::vector<std::shared_ptr<Item>>;

class LargeLift
{
public:
    SharedItems& getItems()
    {
        return _items;
    }

    void setSharedItems(SharedItems& items)
    {
        _items = items;
    }

private:
    SharedItems _items;
};

Затем я делаю следующее:

LargeLift b;
{
    LargeLift a;
    // Gets populated

    SharedItems& items = a.getItems();
    b.setSharedItems(items);
}

// Variable a is now out of scope

SharedItems& items2 = b.getItems();

Действительна ли последняя строка, учитывая, что a вышла за рамки?

@Yksisarvinen, так что в приведенном выше коде последняя строка будет небезопасной, потому что a вышла за рамки. Итак, я должен заставить getter() возвращаться по значению?

— 29.06.2019 22:21

a не вышел за рамки в приведенном выше примере

— 29.06.2019 22:22

@ Эрик Я говорю, что да, чтобы помочь в моем вопросе.

— 29.06.2019 22:22

c++ c++11 shared-ptr smart-pointers

29.06.2019 22:05

Стоит ли изучать PHP в 2026-2027 годах?

Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...

Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией

В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.

Приемы CSS-макетирования - floats и Flexbox

Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...

Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest

В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...

Концепция локализации и ее применение в приложениях React ⚡️

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

Пользовательский скаляр GraphQL

Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...

Перейти к ответу Данный вопрос помечен как решенный

Ответы 3

Ответ принят как подходящий

Как написано, ваш код безопасен — ничего не вышло за рамки.

В этом примере aделает выходит за рамки, но все еще безопасно:

LargeLift b;
{
    LargeLift a;
    // Gets populated

    SharedItems& items = a.getItems();

    //give b its own copy
    b.setSharedItems(items);
}

// safe, because b owns its own copy
SharedItems& items2 = b.getItems();

В этом примере они небезопасны:

SharedItems* p_items;

LargeLift b;
{
    LargeLift a;
    // Gets populated

    items = &a.getItems();
}

// unsafe, items is already dangling
b.setSharedItems(*p_items);

SharedItems& items2 = b.getItems();

29.06.2019 22:24

Код передает ссылку в setSharedItems, но SharedItems _items; НЕ является ссылкой, поэтому _items = items; копирует items в _items. a._items отличается от b._items, поэтому b будет в порядке после того, как a исчезнет. Поскольку b сделал копии всех shared_ptr, счетчики ссылок не достигли нуля, и все указатели по-прежнему будут в порядке.