C++類複製建構函式

C++標準中提預設建構函式、拷貝建構函式、拷貝賦值操作符和解構函式是特殊成員函數。

1.建構函式不能有傳回型別，也不能由virtual, const, static 和 volatile來修飾。但可以由inline來修飾，事實上隱式建構函式就是用inline來修飾的。inline表示編譯時間展開，通常速度塊；virtual表示運行時綁定，通常意味著靈活。

2.類中存在虛函數或者有虛基類的情況下需要顯式聲明建構函式。拷貝建構函式也是如此。

3.建構函式是一種特殊函數，而拷貝建構函式是一種特殊的建構函式。類X的建構函式的第一個參數必須為X&，或者const X&；除了第一個參數外，建構函式要麼不存在其他參數，如果存在其他參數，其他參數必須有預設值。一個類可以有多個拷貝建構函式。它的形式如下：

X::X(X& x)
X::X(const X& x)
X::X(X& x, int a = 0, int b = 1…)

 什麼時候會調用拷貝建構函式？以下三種情況出現時，會調用一個類的拷貝建構函式：
    1) 用一個已經執行個體化了的該類對象，去執行個體化該類的另外一個對象；
    2) 用該類的對象傳值的方式作為一個函數的參數；
    3) 一個函數傳回值為該類的一個對象。

範例程式碼如下:

#include <iostream>
using namespace std;

class PairInteger
{
public:
int m_a;
int m_b;
public:
    inline PairInteger()
    {   
        m_a = 1;
        m_b = 2;
    }   

    inline PairInteger(int a, int b)
    {   
        m_a = a;
        m_b = b;
    }   

    inline PairInteger(const PairInteger& other)
    {   
        m_a = other.m_a;
        m_b = other.m_b;
        cout << "copy constructor is called." << endl;
    }   

    inline PairInteger(PairInteger& other)
    {   
        m_a = other.m_a;
        m_b = other.m_b;
        cout << "copy constructor is called." << endl;
    } 

void printInfo()
    {   
        cout << "a = " << m_a << ", b = " << m_b << endl;
    }   
};

int passObjectByValue(PairInteger pairInteger)
{
return pairInteger.m_a + pairInteger.m_b;
}

PairInteger returnObject(int a, int b)
{
    PairInteger ca(a, b); 
return ca;
}

int main(void)
{   
    PairInteger a;
//PairInteger b();                     // 不能用這種方式聲明CA的對象b
    PairInteger c(10, 10);                              
    PairInteger d(c);                      // 情況1) 用一個已經執行個體化了的該類對象，去執行個體化該類的另外一個對象
    int anInt = passObjectByValue(c);      // 情況2) 用該類的對象傳值的方式作為一個函數的參數
    PairInteger e = returnObject(11, 11);  // 情況3) 一個函數傳回值為該類的一個對象(在dev c++下沒有調用拷貝建構函式，有待考察)
return 0;
}