• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>

            洛譯小筑

            別來無恙,我的老友…
            隨筆 - 45, 文章 - 0, 評論 - 172, 引用 - 0
            數(shù)據(jù)加載中……

            [ECPP讀書筆記 條目5] 要清楚C++在后臺為你書寫和調(diào)用了什么函數(shù)

            什么時候一個空類在實際上并不是空類呢?我們說,在C++處理它的時候。對于一個類來說,如果你不自己手動聲明一個復制構(gòu)造函數(shù)、一個賦值運算符、和一個析構(gòu)函數(shù),編譯器就會自動為你聲明這些函數(shù)。而且,如果你根本沒有聲明構(gòu)造函數(shù)的話,編譯器也將為你聲明一個默認構(gòu)造函數(shù)。所有這些函數(shù)將是public的并且是inline的(參見條目30)。舉例說,如果你編寫了:

            class Empty{};

            它在本質(zhì)上講與下邊這個類是等價的:

            class Empty {

            public:

              Empty() { ... }                  // 默認構(gòu)造函數(shù)

              Empty(const Empty& rhs) { ... }  // 拷貝構(gòu)造函數(shù)

              ~Empty() { ... }                 // 析構(gòu)函數(shù)

                                               // 下文將分析它是否為虛函數(shù)

              Empty& operator=(const Empty& rhs)   // 賦值運算符

              { ... }

            };

            這些函數(shù)只有在需要的時候才會生成,但是需要他們是經(jīng)常的事情。以下的代碼可以生成每一個函數(shù):

            Empty e1;                          // 默認構(gòu)造函數(shù)

                                               // 析構(gòu)函數(shù)

            Empty e2(e1);                      // 復制構(gòu)造函數(shù)

            e2 = e1;                           // 賦值運算符

            現(xiàn)在我們知道編譯器為你編寫了這些函數(shù),那么這些函數(shù)是做什么的呢?默認構(gòu)造函數(shù)和析構(gòu)函數(shù)主要作用是為編譯器提供一個放置“幕后代碼”的空間,“幕后代碼”完成的是諸如對于基類和非靜態(tài)數(shù)據(jù)成員的構(gòu)造函數(shù)和析構(gòu)函數(shù)的調(diào)用。請注意,對于由編譯器生成的析構(gòu)函數(shù),除非所在的類繼承自一個擁有虛析構(gòu)函數(shù)的基類(這個情況下,析構(gòu)函數(shù)的虛擬性繼承自它的基類),其他情況均不是虛函數(shù)(參見條目7)。

            對于復制構(gòu)造函數(shù)和賦值運算符而言,編譯器所生成的版本只是簡單地把原對象中所有的非靜態(tài)數(shù)據(jù)成員復制到目標對象里。請參見下邊的NamedObject模板,它讓你能夠使用名字來訪問T類型對象:

            template<typename T>

            class NamedObject {

            public:

              NamedObject(const char *name, const T& value);

              NamedObject(const std::string& name, const T& value);

              ...

            private:

              std::string nameValue;

              T objectValue;

            };

            由于NamedObject中聲明了一個構(gòu)造函數(shù),編譯器則不會為你自動生成一個默認構(gòu)造函數(shù)。這一點很重要。這意味著如果這個類已經(jīng)經(jīng)過你認真仔細的設(shè)計,你認為它的構(gòu)造函數(shù)必須包含參數(shù),這時候你便不需要擔心編譯器會違背你的意愿,輕率地在你的類中添加一個沒有參數(shù)的構(gòu)造函數(shù)。

            NamedObject沒有聲明復制構(gòu)造函數(shù)和賦值運算符,所以編譯器將會自動生成這些函數(shù)(在需要的時候)。請看下面代碼中對復制構(gòu)造函數(shù)的應用:

            NamedObject<int> no1("Smallest Prime Number", 2);

            NamedObject<int> no2(no1);        // 調(diào)用復制構(gòu)造函數(shù)

            由編譯器自動生成的這一復制構(gòu)造函數(shù)必須要分別使用no1.nameValueno1.objectValue來初始化no2.nameVauleno2.objectValuenameValue是一個string,由于標準字符串類型帶有一個復制構(gòu)造函數(shù),所以no2.nameValue將通過調(diào)用string的復制構(gòu)造函數(shù)(以no1.nameValue作為其參數(shù))得到初始化。另外,NamedObject<int>::ObjectValueint型的(這是因為對于當前的模板實例來說,Tint型的),而int是一個內(nèi)建類型,所以no2.objectValue將通過復制no1.objectValue來得到初始化。

            由編譯器自動生成的NamedObject<int>的拷貝賦值運算符與上述復制構(gòu)造函數(shù)的行為基本一致,但是大體上講,編譯器自動生成的拷貝賦值運算符只有在生成代碼合法、有存在的價值時,才會像上文中我所描述的那種方式運行。如果其中任意一條無法滿足,編譯器將會拒絕為你的類生成一個operator=

            請看下邊的示例,如果NamedObject被定義成這樣,nameValue是一個指向字符串的引用,而objectValue是一個const T

            template<class T>

            class NamedObject {

            public:

              // 以下的構(gòu)造函數(shù)中的name參數(shù)不再是const的了,

              // 這是因為現(xiàn)在nameValue是一個指向非conststring的引用。

              // char*參數(shù)的構(gòu)造函數(shù)已經(jīng)不復存在了,

              // 這是因為這里必須存在一個string引用。

              NamedObject(std::string& name, const T& value);

              ...                              // 如前所述,假設(shè)沒有聲明任何 operator=

             

            private:

              std::string& nameValue;          // 現(xiàn)在是一個引用

              const T objectValue;             // 現(xiàn)在為const

            };

            現(xiàn)在請你思考接下來會發(fā)生什么事情:

            std::string newDog("Persephone");

            std::string oldDog("Satch");

             

            NamedObject<int> p(newDog, 2);    // 在我最初編寫這段代碼的時候我們的狗

                                               // Persephone正要度過她的兩周歲生日

             

            NamedObject<int> s(oldDog, 36);   // 我家的狗Satch(在我小時候養(yǎng)的)

                                               // 如果她現(xiàn)在還活著應該有36歲了

             

            p = s;                             // 對于p中的數(shù)據(jù)成員將會發(fā)生什么呢?

            在賦值之前,p.nameValues.nameValue都引用了一個string對象,但不是同一個。那么賦值操作又怎么會影響到p.nameValue呢?在賦值之后,p.nameValue是否應引用由s.nameValue中保存的string應用呢?換句話說,引用是否可以被更改呢?如果可以的話,我們就開創(chuàng)了一個全新的議題,因為C++并沒有提供任何方法讓一個引用改變其所引用的對象。換個角度說,p.nameValue所引用的string對象是否可以被修改,從而影響到包含指向這個string對象的指針或引用的其他對象(換句話說,此次賦值中未直接涉及到的對象)呢?這是否是編譯器自動生成的拷貝賦值運算符應該做的呢?

            面對這一難題,C++拒絕編譯這類代碼。如果你希望讓包含引用成員的類支持賦值操作,就必須自己定義拷貝賦值運算符。對于包含const成員的類(比如上文中修改后的objectValue)編譯器也會做類似處理。由于修改const成員是非法的,因此編譯器無法在一個隱式生成的賦值函數(shù)中確定如何處理它們。最終,如果一個基類中的拷貝賦值運算符是聲明為private的,那么在派生類中編譯器將拒絕隱式生成拷貝賦值運算符。畢竟,編譯器為派生類自動生成的拷貝賦值運算符也要處理基類中相應的部分(參見條目12),但是在這些拷貝賦值運算符處理相應的基類部分時,是肯定不能調(diào)用派生類中無權(quán)調(diào)用的數(shù)據(jù)成員的。

            時刻牢記

            編譯器可能會隱式為一個類生成默認構(gòu)造函數(shù)、復制構(gòu)造函數(shù)、拷貝賦值運算符和析構(gòu)函數(shù)。


            posted on 2007-04-17 19:34 ★ROY★ 閱讀(1080) 評論(1)  編輯 收藏 引用 所屬分類: Effective C++

            評論

            # re: 【翻譯】Effective C++ (第5條:要清楚C++在后臺為你書寫和調(diào)用了什么函數(shù))  回復  更多評論   

            堅持就是勝利,歡迎加入msn的C++群:group2041@xiaoi.com
            2007-04-18 17:42 | 夢在天涯
            精品久久久无码人妻中文字幕豆芽| 国产精品久久久久影院嫩草| 久久99亚洲综合精品首页| 久久99久久无码毛片一区二区| 亚洲精品成人网久久久久久| 久久久久波多野结衣高潮| 久久A级毛片免费观看| 热99re久久国超精品首页| 久久久久久久久66精品片| 国产成人精品久久二区二区| 九九久久精品无码专区| 日产精品久久久一区二区| 久久亚洲2019中文字幕| 久久无码人妻一区二区三区| 精品久久人人爽天天玩人人妻| 理论片午午伦夜理片久久 | 午夜不卡888久久| 狠狠精品干练久久久无码中文字幕| 美女久久久久久| 色婷婷综合久久久久中文| 久久久久久久免费视频| 色综合久久中文字幕无码| 久久综合综合久久狠狠狠97色88| 精品国产91久久久久久久a| 77777亚洲午夜久久多喷| 久久se精品一区精品二区| 日本国产精品久久| 久久亚洲高清观看| 无码任你躁久久久久久久| 嫩草影院久久99| 久久亚洲欧美国产精品| 久久久久久毛片免费看| 精品国产乱码久久久久久1区2区| 亚洲精品高清一二区久久| 久久91精品国产91久久麻豆| 亚洲欧美日韩精品久久亚洲区 | 久久精品国产99国产精偷| 欧美精品丝袜久久久中文字幕| 无码国内精品久久人妻| 日韩久久无码免费毛片软件| 好久久免费视频高清|