1)一般情況:臨時性對象的被摧毀,應該是對完整表達式(full-expression)求值過程中的最後一個步驟。該完整表達式造成臨時對象的產生。
實例代碼如下:
#include <iostream>
using namespace std;
class A
{
public:
A(int i): m_i(i)
{
cout << "A(): " << m_i << endl;
}
~A()
{
cout << "~A(): " << m_i << endl;
}
A operator+(const A& rhs)
{
cout << "A operator+(const A& rhs)" << endl;
return A(m_i + rhs.m_i);
}
int m_i;
};
int main()
{
A a1(1), a2(2);
a1 + a2;
cout << "------------------------------------" << endl; //運行到這裏,a1 + a2產生的臨時變量已經被釋放
return 0;
}
運行結果爲:
2)凡含有表達式執行結果的臨時性對象,應該存留到object的初始化操作完成爲止。
示例代碼如下:
#include <iostream>
using namespace std;
class A
{
public:
A(int i = 0): m_i(i)
{
cout << "A(): " << m_i << endl;
}
~A()
{
cout << "~A(): " << m_i << endl;
}
A operator+(const A& rhs)
{
cout << "A operator+(const A& rhs)" << endl;
return A(m_i + rhs.m_i);
}
A& operator=(const A& rhs)
{
cout << "A& operator=(const A& rhs)" << endl;
m_i += rhs.m_i;
return *this;
}
int m_i;
};
int main()
{
A a1(1), a2(2);
A a3;
a3 = a1 + a2; //a1 + a2產生的臨時變量在a3的賦值操作完成後,才釋放
return 0;
}
運行結果爲:
3)如果一個臨時性對象被綁定於一個reference,對象將殘留,直到被初始化之reference的生命結束,或直到臨時對象的生命範疇(scope)結束——視哪一種情況先到達而定。
示例代碼如下:
#include <iostream>
using namespace std;
class A
{
friend ostream& operator<<(ostream& os, const A&);
public:
A()
{
}
A(const A&)
{
cout << "A(const A&)" << endl;
}
~A()
{
cout << "~A()" << endl;
}
};
ostream& operator<<(ostream& os, const A&)
{
os << "ostream& operator<<(ostream& os, const A&)" << endl;
return os;
}
const A& f(const A& a)
{
return a;
}
int main(int argc, char* argv[])
{
{
const A& a = A();
cout << "-------------------" << endl;
}//直到被初始化之reference的生命結束
cout << f(A()) << endl; //直到臨時對象的生命範疇(scope)結束:
//臨時對象的const引用在f的參數上(而不是返回值)。
//這個引用在f()返回的時候就結束了,但是臨時對象未必銷燬。
cout << "-------------------" << endl;
return 0;
}
運行結果: