ayvangoА Вы пишите, что если объект не является статическим, он должен создаваться в куче. Но вот пример
...
std::string f(){ return "abc"; }
...
const std::string& s = f();
...
Здесь всё нормально, а объект не является статическим. Как это объяснить? И почему то же самое не верно для указателей?
const std::string* const ps = f(); -- почему не хочет компилироваться (компилится лишь при использовании new для выделения памяти)?
В первом случае, когда функция производит возврат, создается копия возвращаемого объекта
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
int Add(int a, int b)
{
int result = a + b;
return result;
}
// создается временная копия result, которая при помощи механизмов языка,
// существует ровно столько сколько необходимо для передачи ее значения
// внешней переменной
int nC = Add(231, 36); // адрес nC != адресу result, но содержимое одинаково (конструктор копирования)
// если такой переменной нет, копия сразу же разрушается
Add(231, 36); // result после return не существует, он никому (кроме отладчика) НЕ нужен!
В случае указателя
1.
2.
3.
4.
5.
int* Add(int a, int b)
{
int result = a+b;
return &result;
}
Память по которой расположен result жива пока выполняется функция Add. Как только произошел возврат из Add все переменные созданные на стеке в функции Add разрушаются, а значит адрес result, теперь указывает на какой-то абстрактный мусор.
