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

2020-01-26 15:53:26

字體：大中小

來源：轉載

供稿：網友

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

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