詳細解析C++臨時性對象的生命周期

2020-02-24 14:29:54

字體：大中小

來源：轉載

供稿：網友

在C++程序設計過程中，內存泄漏和野生指針是內存中最常見的錯誤，這兩個問題實際上是由對象的生命周期管理不當造成的，今天為你詳細解析C++臨時性對象的生命周期，一起跟著武林技術頻道小編來看看吧！

有關臨時對象的生命周期有三種情況：

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;
}