14.7.3 Временные объекты могут исчезнуть раньше, чем вы ожидаете

Опасно использовать указатели или ссылки на части временного объекта. Компилятор может удалить объект раньше, чем вы ожидаете, оставив указатель на мусор. Наиболее распространенная проблема возникает в классах, таких как классы строк, особенно тех, которые определяют функцию преобразования к типу char * или const char * — это одна из причин, по которой стандартный класс string требует вызова функции-члена c_str. Однако любой класс, возвращающий указатель на некоторую внутреннюю структуру, потенциально подвержен этой проблеме.

Например, программа может использовать функцию strfunc, которая возвращает объекты string, и другую функцию charfunc, которая работает с указателями на char:

string strfunc ();
void charfunc (const char *);

void
f ()
{
  const char *p = strfunc().c_str();
  …
  charfunc (p);
  …
  charfunc (p);
}

В этой ситуации может показаться разумным сохранить указатель на строку C, возвращаемую функцией-членом c_str, и использовать его вместо многократного вызова c_str. Однако временная строка, созданная вызовом strfunc, уничтожается после того, как p инициализируется, в этот момент p указывает на освобожденную память.

Код подобного рода может успешно работать под некоторыми другими компиляторами, особенно устаревшими компиляторами на базе cfront, которые удаляют временные объекты вместе с обычными локальными переменными. Однако поведение GNU C++ соответствует стандарту, поэтому если ваша программа зависит от позднего уничтожения временных объектов, она не будет переносимой.

Безопасный способ написания такого кода — дать временному объекту имя, что заставляет его оставаться до конца области видимости имени. Например:

const string& tmp = strfunc ();
charfunc (tmp.c_str ());