在表达式中如果使用了一个类的操作符重载函数,或者调用了一个返回类对象的函数,都会产生临时对象。
临时对象的生存周期就在表达式中(甚至是表达式中的子语句),临时对象的销毁应该是在完整表达式的最后一句执行。
比如下面的例子
T c;
c = a + b;
另外,对+操作符有操作符重载
T operator+(const T& a, const T& b);
其中a+b会产生一个临时变量,而c=a+b;是一个完整的表达式(注意,非a+b是一个完整的表达式),最后调用T的=号操作符重载函数将临时对象赋值给c,然后销毁临时对象。
那么经过C++编译器的处理,这段代码应该会是这样的
T c;
T tmp;
tmp.operator+(a,b);
c=tmp;
tmp.~T();
这个栗子是INSIDE C++ MODEL中第六章关于临时对象的一个例子,其中,代码的第三段我之前看的时候一直都没有完全理解,直到今天写这篇短文前才有了思路(认为原书和作者的修改都是有点问题的^o^),因此将其用文字表达记录下来。
这一行代码我是这么理解和修改的:
tmp = operator+(a,b);
然后启动NRV后,代码变为
operator+(a,b,tmp);