как работает 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 (что есть выражения) и объекты.

Новые блоги и статьи Все статьи Все блоги /
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 лет Новости компьютерного мира и их обсуждение (4) Салют, шампанское, овации! :drink:	Нейтральные знания, чистый код - бла-бла-бла-бла, на самом деле кликбейт и самореклама, плагиат, и вот почему Hrethgir 27.07.2026 То-есть отклонение такой публикации говорит само за себя, и пусть только возьмут на вооружение после отклонения публикации - это будет чистейшим актом плагиата. Отклонял Хабр. Дословно, отклонённая. . .
тв 16 бой ии anaschu 27.07.2026 Великий Перелом ИИ: Как уравнения ОДУ Radau дожали цензурные фильтры Алисы Фиксируем в мемофонде Теории Всего беспрецедентный факт в истории ИИ-зондирования. В затяжном многораундовом. . .	мв 15. непроверенное, возможно, глюк anaschu 27.07.2026 НАУЧНО-АНАЛИТИЧЕСКИЙ ОТЧЕТ. РАЗДЕЛ 1. 1: «НАУКА» (РАСШИРЕННАЯ СТЕХИОМЕТРИЧЕСКАЯ И ГЕНЕТИЧЕСКАЯ ВЕРСИЯ)Тема: Теоретическое обоснование инвариантности 19-мерного тензорного ядра непрерывных ОДУ и. . .	Очистка реквизитов и табличных частей документа при копировании (вариант 2) Maks 26.07.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРаботу", разработанного в КА2. Задача: Заменить алгоритм запрета копирования документов для сотрудников с ролью "Стажер",. . .	Доктрина интенционального знания - Доктрина для портала "Срез". Hrethgir 25.07.2026 Может найдётся кто захочет оценить доктрину. . . Написания правил участия для меня роскошь, требующая лимита времени, поэтому все сообщения не прошедшие модерацию будут видны только участникам портала,. . .

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