Аргументы std::move и std::shared_ptr, передаваемые по значению

Рассмотрим следующий код:

#include <iostream>
#include <memory>

class Test
{
    public:
    Test(int t) : t(t) {}
    
    int t;
};

void test(std::shared_ptr<Test> t)
{
    std::cout << t.use_count() << std::endl;
}

int main()
{
    auto t = std::make_shared<Test>(1);
    test(std::move(t)); //(1)
    test(std::make_shared<Test>(2)); //(2)
}

Вопросы:

  1. Какой ctor выполняется в случае (1) — копирование или перемещение?
  2. В случае (2) создается временный объект, затем выполняется копирование ctor для создания t в void test(std::shared_ptr<Test> t), а затем временный объект уничтожается. Это верно?

в обоих случаях используется конструктор перемещения (хотя во втором случае его можно опустить): godbolt.org/z/bf1ohrvxW

Alan Birtles 13.09.2023 21:58

Важно отметить, что перемещение (в обоих случаях) и временное (в случае 2) — это сам объект std::shared_ptr<Test>, а не объект Test, на который он переносит указатель. В каждом случае будет только один объект Test, который не перемещается и не копируется.

Some programmer dude 13.09.2023 22:01

Подтвердите 1, проверив t и use_count в конце main.

user4581301 13.09.2023 22:04
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
2
3
101
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

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

Всего в вашем примере создано 3 std::shared_ptr<Test>:

  1. auto t = std::make_shared<Test>(1);

  2. test(std::move(t)); - Прием t в test() построен на ходу.

  3. test(std::make_shared<Test>(2)); — Получающий t — это тот, который создан make_shared(). Это тот же объект из-за обязательного копирования/перемещения, начиная с C++17.

    До C++17 теоретически можно было получить до 5 экземпляров, но поскольку такой тип исключения был разрешен (но не обязателен) в предыдущей версии, в этих версиях вы, скорее всего, получите только 3. При использовании одной из этих более ранних версий вы можете отключить эту оптимизацию в некоторых компиляторах (например, g++/clang++) с помощью -fno-elide-constructors. В C++17 и более поздних версиях исключение является обязательным и поэтому его нельзя отключить.


Вот демо, в котором используется не shared_ptr, а тестовый класс под названием foo, чтобы вы могли отслеживать каждое создание экземпляра. Обратите внимание, что существует только один foo со значением 2, который соответствует вашему вызову test(std::make_shared<Test>(2));.

Вы имеете в виду, что если -fno-elide-constructors используется, например, с компилятором C++11, то в случае (2) в моем примере принимающий t будет создан с помощью Move ctor?

cppdev 14.09.2023 09:30

@cppdev Да (пример, где у gcc есть конструкторы no-elide-constructors, а у clang нет), и обратите внимание, что auto t = std::make_shared<Test>(1); (auto t = make_foo(1);) также приводит к конструкции перемещения, когда эта опция используется, поэтому всего существует 5 экземпляров.

Ted Lyngmo 14.09.2023 12:02

Другие вопросы по теме