Временный объект

Вре́менные объекты — в C++ объекты, которые компилятор создаёт автоматически по ходу вычисления выражений. Такие объекты не имеют имени и уничтожаются сразу же, как только в них исчезает потребность.

Пример

string r = string("1") + "2" + "3";

Этот код работает таким образом (ctor — конструктор, dtor — деструктор).

string r, tmp1, tmp2, tmp3;
tmp1.ctor("1");
tmp2.ctor();
tmp2 = tmp1 + "2";
tmp3.ctor();
tmp3 = tmp2 + "3";
r.ctor(tmp3);
tmp3.dtor();
tmp2.dtor();
tmp1.dtor();

Ошибка с временным объектом

Существует риск изменить временный объект, «похоронив» изменения вместе с объектом.

void DoSomething(double& x)
{
    x *= 2;
};

int x = 5;
DoSomething(x);

Этот код развёртывается в…

int x = 5;
double tmp1 = x;
DoSomething(tmp1);

и изменения уничтожаются вместе с временным объектом tmp1. Большинство компиляторов предупреждают о таком использовании временных объектов.

В других языках

Практически все языки (кроме самых низкоуровневых) способны автоматически создавать временные переменные для промежуточных результатов простых типов (целый, дробный, указатель). Во многих языках (Паскаль, Java) существует подобная система для строк. Только C++ способен автоматически создавать промежуточные объекты произвольных типов, вызывая для них конструктор и деструктор.