как работает return

@ReYalp · Регистрация: 27.12.2017

Студворк — интернет-сервис помощи студентам

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#include <iostream>
 
class A {
public:
    A() :a(0) { std::cout << "simple constructor\n"; }
    A(int a) :a(a) { std::cout << "int constructor\n"; }
    A(const A& obj) { std::cout << "copy constructor\n"; }
    A(A&& obj) { std::cout << "move constructor\n"; }
    A& operator=(const A& obj) { std::cout << "copy concstructor\n"; return *this; }
    A& operator=(A&& obj) noexcept { std::cout << "move constructor\n"; return *this; }
 
    ~A() { std::cout << "destructor\n"; }
 
    operator int() { std::cout << "operator int"; return 123; }
    int a;
};
 
A&& f() {
    return 5;
}
 
A f1() {
    A a;
    return a;
}
 
int main()
{
    A&& ref = f();
    f1();
}

1)Когда срабатывает return в f1() вызывается конструктор перемещения , получается создается анонимный объект который перемещает в себя все что есть в объекте a( в данном случае ничего) и возвращается именно он, а 'a' спокойно удаляется?
2) в функции f() когда дело доходит до return там опять же создается анонимный объект и сразу удаляется ,это потому что возвращается ссылка на этот rvalue, а не само rvalue?
3)если сделать f1() с точно таким же телом как f() то f1() не вызовет деструткор , это потому что возвращается сам rvalue объект , а не ссылка на него как в f()?
P.S. да я понимаю что делать так как в f() нельзя

@TheCalligrapher · 03.05.2020, 19:20

Сообщение от hoggy

чутка поправил твой код:

Вот именно в этом примере поведение будет зависеть от того, захочет ли компилятор выполнить NRVO.

Так что ни о каком "RVO/NRVO - это уже устаревшая информация" речи быть не может.

Добавлено через 3 минуты

Сообщение от ReYalp

а если lvalue?

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

@ReYalp · 03.05.2020, 19:25 **[ТС]**

TheCalligrapher, вот пример со статьи

Сообщение от hoggy

RVO/NRVO - это уже устаревшая информация

C++
1
2
3
4
5
6
7
8
9
A MyMethod (A &_hiddenArg, B &var)
{
   A retVal;
   retVal.A::A(); // constructor for retVal
   retVal.member = var.value + bar(var);
   _hiddenArg.A::A(retVal);  // the copy constructor for A
   return;
retVal.A::~A();  // destructor for retVal
}

тут видно что конструктор срабатывает до return в функции

Добавлено через 1 минуту
Это раньше так было?

@TheCalligrapher · 03.05.2020, 19:29

Сообщение от ReYalp

тут видно что конструктор срабатывает до return в функции

Это вполне легальное поведение компилятора, не выполнившего NRVO. Что там когда именно срабатывает - это детали реализации. Они не важны, пока вы не докажете, что имеет место нарушение требуемого стандартом наблюдаемого поведения.

@ReYalp · 03.05.2020, 20:03 **[ТС]**

TheCalligrapher, в стандарте сказано что prvalue объект должен(!) конструироваться в вызывающем коде

Добавлено через 28 минут
TheCalligrapher, это должен был быть вопрос, не написал '?'

@argcargv · 03.05.2020, 21:01

Сообщение от ReYalp

Очень странно такое читать

Да, мне тоже странно читать, когда путают/смешивают Zvalue (что есть выражения) и объекты.

Новые блоги и статьи Все статьи Все блоги /
Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .	Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .
Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .	SUNO Ai - Река Без Дна zorxor 31.07.2026 Автор стихотворения - астрофизик Марина Катыс Ссылка на сгенерированную музыкальную композицию: https:/ / suno. com/ song/ 6f6e5464-b290-4650-be6c-44c85f8d8013 Я говорю, что Время- как вода течет. . .	Из невошедшего на форум (диалог с ИИ-гугла) zorxor 29.07.2026 А вот, что интересно, сказал мне ИИ-гугла: Этот текст — эмоциональный пост пользователя под ником zorxor на интернет-форуме (вероятно, посвященном мистике, непознанному или альтернативной науке). . . .	Был праздник вчера, а я и не знал. kumehtar 28.07.2026 27. 07. 2026г. Intel Core 2 Duo исполнилось 20 лет Салют, шампанское, овации! :drink:

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	03.05.2020, 20:03 [ТС]
	TheCalligrapher, в стандарте сказано что prvalue объект должен(!) конструироваться в вызывающем коде Добавлено через 28 минут TheCalligrapher, это должен был быть вопрос, не написал '?' 0

Опции темы