#include <iostream>
int foo()
{
return 0;
}
int main()
{
const int& a = foo();
std::cout << &a << std::endl;
}
В этом коде a привязывается к rvalue. Законно ли брать его адрес? (И под законным я подразумеваю: в неправильном коде? Я вызываю неопределенное поведение?)
Это отлично. В С++ 11 вы даже можете сделать это:
int&& a = foo();
a = 123;
Вы можете думать о временных объектах следующим образом (концептуально и в целом):
x = func(); // translated as:
auto __temporary = func();
x = __temporary;
__destruct_value_now_and_not_later(__temporary);
За исключением случаев, когда x является определением ссылочного типа, компилятор отмечает, что вы намеренно ссылаетесь на временное значение, и продлевает его время жизни, удаляя код раннего уничтожения, превращая его в обычную переменную.
&&.
- person ildjarn; 08.11.2012
Да. До тех пор, пока переменная a не выйдет за пределы области видимости, временное значение будет действительным. Херб Саттер может объяснить это лучше .
