Объект уничтожается перед возвратом

Question

Не могу понять, почему, когда один мой метод возвращает объект, объект будет уничтожен.

Опубликовать здесь классную структуру и методы.

class Var 
{ 
public: 
    Var operator += (const Var& var); 
private: 
    Var _operation(Var* var, VAR_OPERATOR op); 
} 

Метод:

Var Var::operator += (const Var& var) 
{ 
    Var tmp = this->_operation((Var *)&var,VAR_ADD); 
    return tmp; // here the tmp variable is void 
} 
Var Var::_operation(Var* var, VAR_OPERATOR op) 
{ 
    Var tmp; 
    // operations 
    // here the tmp variable has value 
    return tmp; 
} 

Кто-нибудь знает почему?

Answer 1

tmp Var существует в своем объеме ... поэтому он существует только внутри оператора + = и _операции. Когда tmp выходит за рамки, вызывается деструктор. Правильный способ сделать это:

Var& Var::operator += (const Var& var) 
{ 
    _operation(*this, &var, *this, VAR_ADD); 
    return *this; 
} 
void Var::_operation(const Var& lhs, const Var& rhs, Var& res, VAR_OPERATOR op) 
{ 
    res == ... 
    // operations 
    // here the tmp variable has value 
} 

С + = оператором мы имеем в виду, что внутренние данные будут изменены (в данном случае, что * это + = вали), так Ther нет типа возвращаемого значения, или мы можем вернуться * это, чтобы ситуация как:

(v += val) - val2; 

в v += val будет называться operator += и Автошоу возвращения измененной v, теперь, если мы определим оператор - как friend Val operator - (const Val& lhs, const Val& rhs) мы можем иметь сцепленные выражения.

То, что вы пытаетесь сделать, это:

Var Var::operator + (const Var& var1, const Var& var2) 
{ 
    Var tmp; 
    // internal stuff 
    return tmp; 
} 

Теперь этот оператор может быть другим

friend Var operator + (const Var& var1, const Var& var2) 
{ 
    Var tmp; 
    // internal stuff 
    return tmp; 
} 

Это еще не так, потому что мы должны определить конструктор копирования и оператор распайки! Поскольку верно, что temp будет уничтожен, но сначала мы можем вызвать конструктор копирования (или оператор-ассистент) таким образом, чтобы мы могли иметь «клон».

Все современные компиляторы C++ позволяют использовать функцию RVO (оптимизация возвращаемого значения), но это уже другая история.