C++引用指針 & 構造函數

時間 2019-11-16

標籤 c++ 引用指針構造函數欄目 C&C++ 简体版

原文原文鏈接

近來回轉 C++的學習，腦子又被搞得了一團迷（簡直不要忘得太快..... ）html

事後靜下來想想，仍是由於有些東西沒搞清楚致使，因此理了理兩個容易搞迷糊的地方。安全

引用與指針

C++進行傳值更傾向於使用引用。引用實質就是給已經定義的變量起一個別名，函數經過這個別名來完成對應的功能。ide

【引用特色】函數

　　①一變量可取多個別名學習

　　②引用必須初始化，同時只能在初始化時被引用，優化

　　③只能被引用同一變量，從一而終spa

【使用引用注意幾種狀況】操作系統

（1）什麼時候添加const進行修飾指針

①防止引用變量被修改code

咱們知道在變量前加const 表示這是個常變量，不能被修改。那麼在引用前加上const是同樣的道理，例如： int a = 2; const int& d = a; 這樣的形式防止變量a的別名d 對值‘2’進行修改。

②引用的爲常量如：

常量是具備常性的，因此必須在前面加上const使其保持常性。

③引用參數存在隱式類型轉換

（2）函數傳引用做返回值

①不要返回臨時變量的引用

例如

int& Add(int d1, int d2)  //臨時變量的引用做返回值
{
    int ret = d1 + d2;
    return ret;
}
void Test()
{
    int& sum = Add(1, 2);   //獲取返回值ret的別名
    cout<<"佔用位置"<<endl;
    cout<<sum<<endl;
}

結果：

分析：ret是隸屬於Add函數棧幀，ret的引用做返回值，返回的實際上是ret變量的地址；而當Add函數調用完畢後，該處被操做系統收回權限，若再經過返回的地址訪問該處就是非法的（結果便成了上圖隨機值）。這與傳值返回有着很大的差異，

（傳值返回&引用返回彙編代碼）

②當返回的對象出了函數做用域依舊存在，最好使用引用做返回，由於它更高效。

　　由於引用返回僅僅是一個別名（實際上是保存在寄存器eax中的地址），而如果傳值返回，且返回的ret是一個對象，便會產生臨時對象，這個臨時對象用ret拷貝構造初始化（拷貝構造請往下看），而這個臨時對象底層是在返回值接收方的函數中提早開闢好的，在函數接受方接收完成後，還需調用析構函數來清理該臨時對象，進一步增大了開銷；因此用引用返回會更高效。

注：返回值優化參考http://www.cnblogs.com/hazir/archive/2012/04/19/2456840.html

而後就是注意它和指針的區別（比較重要）。

【引用和指針區別】

　　* 引用只能在定義時初始化一次，以後不能改變去指向其它變量（從一而終）；指針變量的值可變
　　* 引用必須指向有效的變量，指針能夠爲空；用指針傳參，函數棧額外開空間來拷貝一份參數地址，引用傳參則不會。
　　* sizeof指針對象和引用對象的意義不同。sizeof引用獲得的是所指向的變量的大小，而sizeof指針是對象地址的大小。
　　* 指針和引用自增(++)自減(--)意義不同。

　總之，相對而言，引用比指針更安全，指針更靈活。

構造函數

首先，它是用來初始化類裏面的成員變量的公有成員函數，有且僅在定義對象時自動執行一次。

它有以下基本特徵：

　　1. 函數名與類名相同。
　　2. 無返回值。
　　3. 對象實例化時系統自動調用對應的構造函數。
　　4. 構造函數能夠重載。
　　5. 構造函數能夠在類中實現，也能夠在類外實現（類外加上類限定符）

　　6. 若是類定義中沒有給出構造函數，則C++編譯器自動產生一個缺省的構造函數，但只要咱們定義了一個構造函數，系統就不會自動生成缺省的構造函數。（半缺省時，只能從最右邊往左連續着缺省，如：Date(int year, int month =1, int year = 1 ),這和參數入棧規則有關）

　　7. 無參的構造函數和全缺省值的構造函數都認爲是缺省構造函數，而且缺省的構造函數只能有一個。

【構造函數初始化列表】

　　咱們通常都是在構造函數體內來初始化數據成員，但這並非真正意義上的初始化，而是賦值；初始化發生時間更早，是在數據成員的defalut（缺省）構造函數被自動調用的時候，內置類型除外。defalut構造函數先爲這些數據成員設初值，而後自定義實現的構造函數再對它們賦予新值。因而這樣便把default構造函數的一切做爲給白白浪費了，效率有待提升。

因此通常初始化是使用「初始化列表」來進行的。初始化列表以一個冒號開始，接着一個逗號分隔數據列表，每一個數據成員都放在一個括號中進行初始化。以下：

class B(int b1, int b2) : _b1(b1) , _b2(b2) {//能夠保留原構造賦值部分}

private: int _b1; int _b2; };

初始化列表

它位於構造函數參數列表後，在函數體{}以前，這說明該列表裏的初始化工做發生在函數體內的任何代碼被執行以前。該列表中針對各個成員變量而設的參數，直接當實參被拿去做初值（或傳進另外一拷貝構造函數中來初始化該成員變量），這樣也就避免前面提到的「白白浪費」了，這也正是 effectiveC++所提到的觀點。

　　因此儘可能使用初始化列表進行初始化，由於它是更高效的。

大部分時候構造函數既可使用初始化列表又能在函數體內初始化，但有幾種狀況必須使用初始化列表。

類的非靜態的const 數據成員 （成員被const修飾，因而被定義出來以後，構造函數來初始化，此時已不能被修改）
爲引用的數據成員 （引用從一而終）
沒有缺省構造函數的類的成員變量（）

注意！！

　　　　成員變量按聲明順序依次初始化，而非初始化列表出現的順序（看以下例子）

class A
{
      public:
            A(int n)
            : _a2(n)
            , _a1(_a2)
            {}  
    
            void Show()
            {   
                  cout<<"a1 "<<_a1<<endl<<"a2 "<<_a2<<endl;
            }   
      private:
            int _a1;
            int _a2;
};

int main()
{
      A a(1);
      a.Show();
      return 0;
}

不難看出在構造函數中是先跟變量_a2賦值，而後再用_a2來初始化_a1,結果就應該是 1 和 1；可是結果倒是

由於成員變量按聲明順序依次初始化，而非初始化列表出現的順序。這裏按變量定義順序，應該先初始化 _a1 ，再初始化 _a2 ，但初始化列表裏， _a1 是使用 _a2 的值來初始化的，但此時 _a2尚未被初始化，因而_a1就不會被初始化了。

接下來講說一個特殊的構造函數

【拷貝構造函數】

建立對象時使用同類對象來進行初始化（至關於複製對象），這時所用的構造函數稱爲拷貝構造函數（Copy Constructor），拷貝構造函數是特殊的構造函數。

class Date { public : Date() {} // 拷貝構造函數
    Date (const Date& d) { _year = d ._year; _month = d ._month; _day = d ._day; } private : int _year ; int _month ; int _day ; };

拷貝構造實現

特徵：
　　1. 拷貝構造函數實際上是一個構造函數的重載。
　　2. 拷貝構造函數的參數必須使用引用傳參，使用傳值方式會引起無窮遞歸調用（調拷貝構造函數會傳參，傳參過程又會調用拷貝構造，以此往復...無窮遞歸）
　　3. 若未顯示定義，系統會生成默認缺省的拷貝構造函數。缺省的拷貝構造函數會依次拷貝類成員進行初始化

什麼時候調用拷貝函數：

一個對象以值傳遞的方式傳入函數體
一個對象以值傳遞的方式從函數返回（與返回值優化密切相關）
一個對象須要經過另外一個對象進行初始化

關於拷貝構造函數還有一類很熱的問題，構造函數拷貝賦值函數的N種調用狀況

即判斷下面每種狀況都調用了多少次構造、拷貝構造...

//1.Date 對象作參數傳值 
void fun1 (Date d) //void fun1(Date& d)
{}
// 2.Date 對象作返回值傳值 
Date fun2 () // Date& fun2()
{     
      Date d ; 
      return d ;
}
// 3.Date 對象作臨時返回值傳值 (編譯器優化問題)
Date fun3 () // Date& fun3()
{
      return Date ();
}
int main ()
{
      // 場景
      Date d1;
      fun1(d1);
      // 場景
      Date d2 = fun2();
      // 場景
      Date d3 ;
      d3 = fun3 ();
      return 0;
}