再論C++建構函式分類和呼叫時機以及匿名物件

原創請註明出處：

我們這裡主要討論建構函式的建構函式的分類和其呼叫時機
測試類如下：
namespace test_n
{
        int A_G=0;
        class test
        {
                public:
                        test() //無引數建構函式,如果沒有呼叫預設建構函式
                        {
                                cout<<"無參建構函式呼叫"<<" adress: "<<&a<<endl;
                        }
                        test(int c_a,int c_b)//有參建構函式
                        {
                                cout<<"有參建構函式呼叫"<<" adress: "<<&a<<endl;
                                a=c_a;
                                b=c_b;


                        }
                        test(int c_a)
                        {
                                cout<<"有參建構函式呼叫"<<" adress: "<<&a<<endl;
                                a=c_a;
                        }


                        test(const test &m) //copy 建構函式
                        {
                                cout<<"copy建構函式呼叫"<<" adress: "<<&a<<endl;
                                a = m.a;
                                b = m.b;
                        }


                        void print()
                        {
                                cout<<a<<" "<<b<<endl;=""  ="" }=""
                        ~test()
                        {
                                cout<<"解構函式呼叫"<<" adress: "<<&a<<endl;
                                A_G++;
                                cout<<a_g<<endl;
                        }
                        void plus20()
                        {
                                a = a+20;
                                b = b+20;
                        }
//3-3
                        void printany(test p)
                        {
                                cout<<"匿名物件生成"<<endl;
                                p.print();
                        }
                        void printany(test* p)
                        {
                                cout<<"無名物件生成"<<endl;
                                p->print();
                        }
                        void printanys(test& p)
                        {
                                cout<<"無名物件生成"<<endl;
                                p.print();
                        }


//3-4
                   test test34(test p)
                   {
                           p.plus20();
                           return p;
                   }
                private:
                        int a;
                        int b;


        };
}




1、預設建構函式和無參建構函式
實際上預設建構函式就是什麼都不做的無參建構函式，這個時候如果不初始化會私有變數的值會出現一些垃圾值
如：
test() //無引數建構函式
{
     cout<<"無參建構函式呼叫"<<" adress: "<<&a<<endl;
}
這樣成員變數a和b就會出現垃圾值


呼叫時機：
test a; //1-1無引數建構函式呼叫test(),如果沒有呼叫預設建構函式 


2、有參建構函式
如下都是有參建構函式：
test(int c_a,int c_b)//有參建構函式
{
        cout<<"有參建構函式呼叫"<<" adress: "<<&a<<endl;
        a=c_a;
        b=c_b;


}
test(int c_a)//有參建構函式
{      
        cout<<"有參建構函式呼叫"<<" adress: "<<&a<<endl;
        a=c_a;
}


呼叫時機：
test b(1,2);//2-1有參建構函式呼叫test(int c_a,int c_b)
b.print();
test c = (100,100);//2-2有參建構函式呼叫100，100後面的這一個100忽略，逗號表示式，呼叫test(int c_a)
c.print();
test d = test(100,100);//2-3有參建構函式呼叫test(int c_a,int c_b),先生成一個匿名物件 然後被賦予給d，只呼叫一次構造和解構函式
d.print();


3、COPY建構函式(也叫賦值建構函式)
如下：
test(const test &m) //copy 建構函式
{
        cout<<"copy建構函式呼叫"<<" adress: "<<&a<<endl;
        a = m.a;
        b = m.b;
}
copy建構函式呼叫時機有4種其中有2個難點就是，將物件作為實參和物件作為返回值的時候
呼叫時機：
3-1：用其他物件初始化賦值操作
        test e = b;//3-1copy建構函式呼叫test(const test &m)，用b物件來初始化e 注意是初始化而不是等號操作
        e.print();
3-2：使用COPY建構函式原型，實參為其他物件
        test f(d);
        f.print();//3-2copy建構函式呼叫test(const test &m)，用d物件來初始化f
3-3：難點作為函式實參，會生成匿名物件
        f.printany(d);//3-3copy建構函式呼叫test(const test &m)，用d物件來初始化一個匿名物件，這個匿名物件在printany函式生命週期中使用，然後析構掉
3-4：難點作為函式返回值，會生成匿名物件，當作為返回值的時候匿名物件又要考慮到如何去接這個返回值分3種如下
        d.test34(d);//3-4 呼叫了2次copy建構函式，第一個匿名物件是傳值物件d和上面一樣肯定生命週期完成要析構掉，第二次是return p返回一個匿名物件，最後呼叫函式無接就析構掉
。
        test m = d.test34(d);//3-5 呼叫了2次copy建構函式，第一個匿名物件是傳值物件d和上面一樣肯定生命週期完成要析構掉，第二次是return p返回一個匿名物件，最後用於初始化
，因為匿名物件記憶體已經分配，就直接用匿名物件的記憶體給物件m即可，它的析構隨m的使用完成而析構，避免不必要的記憶體分配和析構提高效能
        m.print();
        c = d.test34(d); //3-6 呼叫了2次copy建構函式，第一個匿名物件是傳值物件d和上面一樣肯定生命週期完成要析構掉，第二次是return p返回一個匿名物件，雖然有接，但是這個
使用等於符號過載操作，因為c已經有了記憶體空間，那麼也會及時析構掉
        c.print();


總結：實際上建構函式呼叫一定要分清是否是初始化和等號操作，等號操作呼叫的是操作符過載，而初始化是要考慮到記憶體空間的分配的，我們的構造行數都是在初始化的時候呼叫的。
     關於匿名物件需要考慮到記憶體分配，比如作為實參C++編譯器自然要生成一個匿名物件在函式生命週期中使用，完成後自然要析構掉，如果作為一個返回值，自然也要生成一個匿名
     物件，關鍵是看你如何去接，如果初始化方法去接這個匿名物件的記憶體將會被"轉正"，如果不接受或者不是初始化則析構掉，因為沒有用了。
     
下面是全部的測試程式碼以及註釋
</endl;
</endl;
</endl;
</endl;
</endl;
</endl;
</endl;
</a_g<<endl;
</endl;
</a<</endl;
</endl;
</endl;
</endl;

來自 “ ITPUB部落格 ” ，連結：http://blog.itpub.net/7728585/viewspace-2134726/，如需轉載，請註明出處，否則將追究法律責任。