GCC returning reference to temporary

@gromo · Регистрация: 04.09.2009

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

Например вот так:

C++ (Qt)

int func2()
{
    int input;
    cin >> input;
    return input;
}
 
int&& func1()
{
    return func2();
}
 
int main()
{
    cout <<func1() << endl;
    return 0;
}

Почему вылазиит данный warning? Если обернуть return func2(); функцией std::move(), то все ОК.
Я к тому, что возвращенное func2() значение уже является rvalue, зачем его еще кастовать к T&& ?

@programina · 02.11.2013, 23:56

gromo, у меня ваш пример вообще не компилируется.

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

Bash

ошибка: expected unqualified-id before «&&» token

@gromo · 02.11.2013, 23:56 **[ТС]**

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

у меня ваш пример вообще не компилируется.

чем компилируете? Здесь С++11

@programina · 02.11.2013, 23:58

Bash

ошибка: invalid initialization of non-const reference of type «int&» from an rvalue of type «int»

Добавлено через 1 минуту
Теперь компилируется

@gromo · 03.11.2013, 00:06 **[ТС]**

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

Теперь компилируется

и что, без варнинга?

@programina · 03.11.2013, 00:10

gromo, c варнингом.

Сообщение от Википедия

По стандарту C++ временный объект, появившийся в результате вычисления выражения, можно передавать в функции, но только по константной ссылке (const &). Функция не в состоянии определить, можно ли рассматривать переданный объект как временный и допускающий модификацию (константный объект, который тоже может быть передан по такой ссылке, нельзя модифицировать (легально)). Это не проблема для простейших структур наподобие complex, но для сложных типов, требующих выделения-освобождения памяти, уничтожение временного объекта и создание постоянного может отнимать много времени, в то время как можно было бы просто перенаправить указатели.

@ct0r · 03.11.2013, 00:14

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

Почему вылазиит данный warning? Если обернуть return func2(); функцией std::move(), то все ОК.
Я к тому, что возвращенное func2() значение уже является rvalue, зачем его еще кастовать к T&& ?

Вылазит потому что rvalue reference - эта та же ссылка, но только на rvalue. А возвращать ссылку на локальный объект функции - это создавать баг.
std::move роли не играет, так как тут он ничего не делает. А при нем варнинг исчезает только из-за усложнения кода для анализа (мало ли что может вернуть std::move).

@gromo · 03.11.2013, 00:34 **[ТС]**

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

gromo, c варнингом.
Originally Posted by Википедия
По стандарту C++ временный объект, появившийся в результате вычисления выражения, можно передавать в функции, но только по константной ссылке (const &). Функция не в состоянии определить, можно ли рассматривать переданный объект как временный и допускающий модификацию (константный объект, который тоже может быть передан по такой ссылке, нельзя модифицировать (легально)). Это не проблема для простейших структур наподобие complex, но для сложных типов, требующих выделения-освобождения памяти, уничтожение временного объекта и создание постоянного может отнимать много времени, в то время как можно было бы просто перенаправить указатели.

RValue-reference, слышали такое?

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

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

Вылазит потому что rvalue reference - эта та же ссылка, но только на rvalue. А возвращать ссылку на локальный объект функции - это создавать баг.
std::move роли не играет, так как тут он ничего не делает. А при нем варнинг исчезает только из-за усложнения кода для анализа (мало ли что может вернуть std::move).

From cplusplus.com:

Generally, rvalues are values whose address cannot be obtained by dereferencing them, either because they are literals or because they are temporary in nature (such as values returned by functions or explicit constructor calls). By passing an object to this function, an rvalue that refers to it is obtained.

Source: http://www.cplusplus.com/refer... e/?kw=move

Ну и на всякий случай:
ISO/IEC 14882:2011
Draft: n3690

@ct0r · 03.11.2013, 00:38

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

Generally, rvalues are values whose address cannot be obtained by dereferencing them, either because they are literals or because they are temporary in nature (such as values returned by functions or explicit constructor calls). By passing an object to this function, an rvalue that refers to it is obtained.

Можешь объяснить, к чему ты это привел? Тут написано, что такое rvalues и что move делает из rvalue rvalue-reference, которая тоже является rvalue, поскольку не имеет имени. Но это я и так знаю.

@gromo · 03.11.2013, 00:51 **[ТС]**

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

move делает из rvalue rvalue-reference, которая тоже является rvalue, поскольку не имеет имени.

Зачем "делать" из rvalue rvalue-reference? По-моему компилятор не должен выводить предупреждение в 10 строке.
std::move() делает из lvalue rvalue-reference. Поэтому и возник вопрос - почему если обернуть и так временный объект, возвращаемый func2() в move(), то варнинг исчезает.
Может я в чем-то не прав, поправьте, пожалуйста.

@ct0r · 03.11.2013, 01:11

Ты в move передаешь что? rvalue. Что делает move? Грубо говоря, он делает static_cast<int&&>. У нас получается rvalue reference, у которого нет имени. Значит это rvalue. Ты возвращаешь ссылку на rvalue - на временный объект, который будет уничтожен. Это баг.

@gromo · 03.11.2013, 01:28 **[ТС]**

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

Ты возвращаешь ссылку на rvalue - на временный объект, который будет уничтожен. Это баг.

Хорошо, а что если так:

C++ (Qt)

// func1() func2() как и раньше
int main()
{
    int && sss = func1();
    cout << sss << endl;
    return 0;
}

здесь мы быстренько "подхватили" этот временный, впоследствии разрушаемый временный объект, возвращаемый func1().
Я вижу, что вы выше писали, что rvalue-reference это та же ссылка, только на rvalue. Но она же предназначена как раз таки "давать имя" временным объектам. Ей даже можно присвоить литерал, и потом получить его адрес (адрес ЛИТЕРАЛА).

C++ (Qt)

int main()
{
    int && literal = 25;
    cout << &literal <<endl;
    return 0;
}

Все сказанное в этом посте не касается функции std::move

@ct0r · 03.11.2013, 12:01

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

Хорошо, а что если так

А ничего не изменилось. Чтобы все работало правильно, надо из func1 возвращать значение. Возврат rvalue reference - это редко когда нужно.

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

здесь мы быстренько "подхватили" этот временный, впоследствии разрушаемый временный объект, возвращаемый func1()

По сути мы подхватили ссылку в никуда. rvalue reference - это не магия, она не может спасти локальный объект от уничтожения.

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

Ей даже можно присвоить литерал, и потом получить его адрес (адрес ЛИТЕРАЛА).

Можно, потому что она тут lvalue, а литерал prvalue. И никаких локальных объектов, уничтожающихся при выходе из области, тут нет, - время жизни ссылки здесь ровно такое же, как и объекта.

@castaway · 03.11.2013, 12:33

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

Почему вылазиит данный warning?

А где данный warning?

@gromo · 03.11.2013, 13:11 **[ТС]**

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

Возврат rvalue reference - это редко когда нужно.

С большим трудом, до меня дошло, спасибо

Но что значит вот это (со стандарта):

An xvalue (an “eXpiring” value) also refers to an object, usually near the end of its lifetime (so that its
resources may be moved, for example). An xvalue is the result of certain kinds of expressions involving
rvalue references (8.3.2). [ Example: The result of calling a function whose return type is an rvalue
reference is an xvalue. — end example ]

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

std::move роли не играет, так как тут он ничего не делает. А при нем варнинг исчезает только из-за усложнения кода для анализа (мало ли что может вернуть std::move).

а если вместо move поставить, например, std::abs(), то варнинг не исчезает.

И что в случае возврата больших значений из функции? Мне, например, нужно часто возвращать из функции объекты типа string размером в несколько сотен мебибайт. Не лучше ли их переместить как XValue вместо возврата по значению? Иногда такую оптимизацию делает сам компилятор, когда может.

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

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

А где данный warning?

В 10 строке: returning reference to temporary [-Wreturn-local-addr]
return func2();
^

он еще в названии темы написан

@OhMyGodSoLong · 03.11.2013, 13:35

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

И что в случае возврата больших значений из функции? Мне, например, нужно часто возвращать из функции объекты типа string размером в несколько сотен мебибайт.

И они, конечно же, создаются на стеке. Для этого уже давно есть out-параметры и смарт-поинтеры, куда можно засунуть указатель на эту строку. Ну или move-конструктор, если строка — это единственное, что надо вернуть.

Rvalue reference как и временные объекты живут до окончания ближайшего вычисляемого выражения. Их нельзя сохранить куда-то самих по себе, чтобы они выжили до следующего выражения.

Не по теме:

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

мебибайт

Мибиби.

@gromo · 03.11.2013, 13:48 **[ТС]**

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

Ну или move-конструктор, если строка — это единственное, что надо вернуть.

То есть, получается, для строк и типов, которые внутри хранят указатели на дин.память move-semantics оправдана, а для фундаментальных типов уже не работает, потому что они разрушатся?

@ct0r · 03.11.2013, 13:57

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

С большим трудом, до меня дошло, спасибо

Если хочешь до конца разобраться с rvalue reference, посмотри еще universal reference и perfect forwarding.

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

Но что значит вот это (со стандарта)

Это значит, что безымянная rvalue reference - это xvalue. И что может быть перемещение ресурсов, если возвращать, например, std::move(член класса);

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

а если вместо move поставить, например, std::abs(), то варнинг не исчезает.

Ну тут компилятору очевидно, что это локальный объект, потому что это abs возвращает просто значение.

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

И что в случае возврата больших значений из функции? Мне, например, нужно часто возвращать из функции объекты типа string размером в несколько сотен мебибайт. Не лучше ли их переместить как XValue вместо возврата по значению? Иногда такую оптимизацию делает сам компилятор, когда может.

Если не пользоваться динамической памятью, то как вариант стоит посмотреть на RVO и copy elision.

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

То есть, получается, для строк и типов, которые внутри хранят указатели на дин.память move-semantics оправдана, а для фундаментальных типов уже не работает, потому что они разрушатся?

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

@gromo · 03.11.2013, 15:08 **[ТС]**

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

Не совсем понял про разрушение фундаментальных типов.

А это я заработался немножко

бред написал

@OhMyGodSoLong · 03.11.2013, 15:23

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

То есть, получается, для строк и типов, которые внутри хранят указатели на дин.память move-semantics оправдана, а для фундаментальных типов уже не работает, потому что они разрушатся?

Move-семантика не работает для фундаментальных типов, потому что это типы-значения. Не типы-объекты. Вы никак не можете отличить один (int) 42 от другого (int) 42. И даже от (long) 42 не можете. И это никак не исправить. Поэтому переменным фундаментальных типов выдан такой особый статус.

@OhMyGodSoLong ~ Эврика! ~ 1257 / 1006 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	03.11.2013, 13:35	16
	Сообщение от gromo И что в случае возврата больших значений из функции? Мне, например, нужно часто возвращать из функции объекты типа string размером в несколько сотен мебибайт. И они, конечно же, создаются на стеке. Для этого уже давно есть out-параметры и смарт-поинтеры, куда можно засунуть указатель на эту строку. Ну или move-конструктор, если строка — это единственное, что надо вернуть. Rvalue reference как и временные объекты живут до окончания ближайшего вычисляемого выражения. Их нельзя сохранить куда-то самих по себе, чтобы они выжили до следующего выражения. Не по теме: Сообщение от gromo мебибайт Мибиби. 2

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	03.11.2013, 13:48 [ТС]	17
	Сообщение от OhMyGodSoLong Ну или move-конструктор, если строка — это единственное, что надо вернуть. То есть, получается, для строк и типов, которые внутри хранят указатели на дин.память move-semantics оправдана, а для фундаментальных типов уже не работает, потому что они разрушатся? 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	03.11.2013, 13:57	18
	Сообщение от gromo С большим трудом, до меня дошло, спасибо Если хочешь до конца разобраться с rvalue reference, посмотри еще universal reference и perfect forwarding. Сообщение от gromo Но что значит вот это (со стандарта) Это значит, что безымянная rvalue reference - это xvalue. И что может быть перемещение ресурсов, если возвращать, например, std::move(член класса); Сообщение от gromo а если вместо move поставить, например, std::abs(), то варнинг не исчезает. Ну тут компилятору очевидно, что это локальный объект, потому что это abs возвращает просто значение. Сообщение от gromo И что в случае возврата больших значений из функции? Мне, например, нужно часто возвращать из функции объекты типа string размером в несколько сотен мебибайт. Не лучше ли их переместить как XValue вместо возврата по значению? Иногда такую оптимизацию делает сам компилятор, когда может. Если не пользоваться динамической памятью, то как вариант стоит посмотреть на RVO и copy elision. Сообщение от gromo То есть, получается, для строк и типов, которые внутри хранят указатели на дин.память move-semantics оправдана, а для фундаментальных типов уже не работает, потому что они разрушатся? Семантика перемещения оправдана, когда нужно уметь красть ресурсы или когда объект может быть только перемещаемым. Не совсем понял про разрушение фундаментальных типов. 1

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	03.11.2013, 15:08 [ТС]	19
	Сообщение от ct0r Не совсем понял про разрушение фундаментальных типов. А это я заработался немножко бред написал 0

@programina 2062 / 618 / 41 Регистрация: 23.10.2011 Сообщений: 4,468 Записей в блоге: 2
	02.11.2013, 23:56	2
	gromo, у меня ваш пример вообще не компилируется. Добавлено через 1 минуту Bash ошибка: expected unqualified-id before «&&» token 0

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	02.11.2013, 23:56 [ТС]	3
	Сообщение от programina у меня ваш пример вообще не компилируется. чем компилируете? Здесь С++11 0

@programina 2062 / 618 / 41 Регистрация: 23.10.2011 Сообщений: 4,468 Записей в блоге: 2
	02.11.2013, 23:58	4
	Bash ошибка: invalid initialization of non-const reference of type «int&» from an rvalue of type «int» Добавлено через 1 минуту Теперь компилируется 0

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	03.11.2013, 00:06 [ТС]	5
	Сообщение от programina Теперь компилируется и что, без варнинга? 0

@programina 2062 / 618 / 41 Регистрация: 23.10.2011 Сообщений: 4,468 Записей в блоге: 2
	03.11.2013, 00:10	6
	gromo, c варнингом. Сообщение от Википедия По стандарту C++ временный объект, появившийся в результате вычисления выражения, можно передавать в функции, но только по константной ссылке (const &). Функция не в состоянии определить, можно ли рассматривать переданный объект как временный и допускающий модификацию (константный объект, который тоже может быть передан по такой ссылке, нельзя модифицировать (легально)). Это не проблема для простейших структур наподобие complex, но для сложных типов, требующих выделения-освобождения памяти, уничтожение временного объекта и создание постоянного может отнимать много времени, в то время как можно было бы просто перенаправить указатели. 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	03.11.2013, 00:14	7
	Сообщение от gromo Почему вылазиит данный warning? Если обернуть return func2(); функцией std::move(), то все ОК. Я к тому, что возвращенное func2() значение уже является rvalue, зачем его еще кастовать к T&& ? Вылазит потому что rvalue reference - эта та же ссылка, но только на rvalue. А возвращать ссылку на локальный объект функции - это создавать баг. std::move роли не играет, так как тут он ничего не делает. А при нем варнинг исчезает только из-за усложнения кода для анализа (мало ли что может вернуть std::move). 1

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	03.11.2013, 00:34 [ТС]	8
	Сообщение от programina gromo, c варнингом. Originally Posted by Википедия По стандарту C++ временный объект, появившийся в результате вычисления выражения, можно передавать в функции, но только по константной ссылке (const &). Функция не в состоянии определить, можно ли рассматривать переданный объект как временный и допускающий модификацию (константный объект, который тоже может быть передан по такой ссылке, нельзя модифицировать (легально)). Это не проблема для простейших структур наподобие complex, но для сложных типов, требующих выделения-освобождения памяти, уничтожение временного объекта и создание постоянного может отнимать много времени, в то время как можно было бы просто перенаправить указатели. RValue-reference, слышали такое? Добавлено через 12 минут Сообщение от ct0r Вылазит потому что rvalue reference - эта та же ссылка, но только на rvalue. А возвращать ссылку на локальный объект функции - это создавать баг. std::move роли не играет, так как тут он ничего не делает. А при нем варнинг исчезает только из-за усложнения кода для анализа (мало ли что может вернуть std::move). From cplusplus.com: Generally, rvalues are values whose address cannot be obtained by dereferencing them, either because they are literals or because they are temporary in nature (such as values returned by functions or explicit constructor calls). By passing an object to this function, an rvalue that refers to it is obtained. Source: http://www.cplusplus.com/refer... e/?kw=move Ну и на всякий случай: ISO/IEC 14882:2011 Draft: n3690 Миниатюры 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	03.11.2013, 00:38	9
	Сообщение от gromo Generally, rvalues are values whose address cannot be obtained by dereferencing them, either because they are literals or because they are temporary in nature (such as values returned by functions or explicit constructor calls). By passing an object to this function, an rvalue that refers to it is obtained. Можешь объяснить, к чему ты это привел? Тут написано, что такое rvalues и что move делает из rvalue rvalue-reference, которая тоже является rvalue, поскольку не имеет имени. Но это я и так знаю. 0

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	03.11.2013, 00:51 [ТС]	10
	Сообщение от ct0r move делает из rvalue rvalue-reference, которая тоже является rvalue, поскольку не имеет имени. Зачем "делать" из rvalue rvalue-reference? По-моему компилятор не должен выводить предупреждение в 10 строке. std::move() делает из lvalue rvalue-reference. Поэтому и возник вопрос - почему если обернуть и так временный объект, возвращаемый func2() в move(), то варнинг исчезает. Может я в чем-то не прав, поправьте, пожалуйста. 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	03.11.2013, 01:11	11
	Ты в move передаешь что? rvalue. Что делает move? Грубо говоря, он делает static_cast<int&&>. У нас получается rvalue reference, у которого нет имени. Значит это rvalue. Ты возвращаешь ссылку на rvalue - на временный объект, который будет уничтожен. Это баг. 0

	03.11.2013, 15:23

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	03.11.2013, 12:01	13
	Сообщение от gromo Хорошо, а что если так А ничего не изменилось. Чтобы все работало правильно, надо из func1 возвращать значение. Возврат rvalue reference - это редко когда нужно. Сообщение от gromo здесь мы быстренько "подхватили" этот временный, впоследствии разрушаемый временный объект, возвращаемый func1() По сути мы подхватили ссылку в никуда. rvalue reference - это не магия, она не может спасти локальный объект от уничтожения. Сообщение от gromo Ей даже можно присвоить литерал, и потом получить его адрес (адрес ЛИТЕРАЛА). Можно, потому что она тут lvalue, а литерал prvalue. И никаких локальных объектов, уничтожающихся при выходе из области, тут нет, - время жизни ссылки здесь ровно такое же, как и объекта. 1

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	03.11.2013, 12:33	14
	Сообщение от gromo Почему вылазиит данный warning? А где данный warning? 0

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	03.11.2013, 13:11 [ТС]	15
	Сообщение от ct0r Возврат rvalue reference - это редко когда нужно. С большим трудом, до меня дошло, спасибо Но что значит вот это (со стандарта): An xvalue (an “eXpiring” value) also refers to an object, usually near the end of its lifetime (so that its resources may be moved, for example). An xvalue is the result of certain kinds of expressions involving rvalue references (8.3.2). [ Example: The result of calling a function whose return type is an rvalue reference is an xvalue. — end example ] Сообщение от ct0r std::move роли не играет, так как тут он ничего не делает. А при нем варнинг исчезает только из-за усложнения кода для анализа (мало ли что может вернуть std::move). а если вместо move поставить, например, std::abs(), то варнинг не исчезает. И что в случае возврата больших значений из функции? Мне, например, нужно часто возвращать из функции объекты типа string размером в несколько сотен мебибайт. Не лучше ли их переместить как XValue вместо возврата по значению? Иногда такую оптимизацию делает сам компилятор, когда может. Добавлено через 1 минуту Сообщение от castaway А где данный warning? В 10 строке: returning reference to temporary [-Wreturn-local-addr] return func2(); ^ он еще в названии темы написан 0

@OhMyGodSoLong ~ Эврика! ~ 1257 / 1006 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	03.11.2013, 15:23	20
	Сообщение от gromo То есть, получается, для строк и типов, которые внутри хранят указатели на дин.память move-semantics оправдана, а для фундаментальных типов уже не работает, потому что они разрушатся? Move-семантика не работает для фундаментальных типов, потому что это типы-значения. Не типы-объекты. Вы никак не можете отличить один (int) 42 от другого (int) 42. И даже от (long) 42 не можете. И это никак не исправить. Поэтому переменным фундаментальных типов выдан такой особый статус. 1