對Effective C++讀了以後的總結（暑假沒事幹。。就是看書，從後往前的總結）

41。瞭解隱式介面和編譯器多型

隱式介面:由一組有效表示式構成，表示式要求了相應的約束條件。

顯式介面:則是在原始碼中明確可見的指出介面的約束條件(比如函式引數的型別)。

所謂的編譯期多型指的是:以不同的templete引數具現化function templates會導致呼叫不同的函式，這就是所謂的編譯期多型。

classes介面是顯式的，多型是通過virtual函式發生於執行期。

template介面是隱式的，多型是通過template具現化和函式過載解析發生於編譯期。

42.瞭解typename的雙重意義

首先了解什麼是巢狀從屬名稱:

template<typename C>

void print2nd(const C& container)

{

   if(container.size() >= 2)

   {

        C::const_iterator iter(container.begin());

        .......

    }

}

像iter這種依賴於template引數C的型別叫做從屬名稱，如果從屬名稱在class內呈巢狀狀，那麼我們稱它為巢狀從屬名稱。

而int這樣與C無關的就叫做非從屬名稱。

因為在知道C之前我們不知道C::const_iterator是不是一個型別，所以說這會導致這變成非有效型別，為了保證他時刻有效，我們需要在塔前main加一個typename，這是class做不到的

一般規則:任何時候你想在template中指涉一個巢狀從屬型別名稱，必須在緊鄰他的前一個位置放上關鍵字typename。

但是，typename不能夠出現在base class lists(基類列)或者member initialization list（成員初值列）內以它作為base class的修飾符。

43.學習處理模板化基類內的名稱

可在derived class templates內通過"this->"指涉base class templates內的成員名稱，或藉由一個明白寫出的"base class 資格修飾符"完成。

例如

template <typename Company>

class LoggingMsgSender::public MsgSender<Company>

{

    public:

    ...

    void sendClearMsg(const MsgInfo& info)

     {

            this->sendClear(info);//假設sendClear被繼承，所以成立，若去掉this，因為無法確切的知道他繼承的MsgSender是一個什麼樣的函式，所以不到函式被具現化之前我們是不知道繼承的類是什麼樣的，也就不知道是否有sendClear函數了

   }

};

44.將與引數無關的程式碼抽離template

因為非型別模板引數而造成的程式碼膨脹往往可以消除，做法是以函式引數或class成員變數替換template引數。

原因：如果是非型別模板引數，比如int，那如果是非引數形式，對於不同的int就要生成不同的一份程式碼，但是其實這樣的程式碼裡面除了int值不同以外其他都相同，那麼就造成了程式碼膨脹，而如果我們另外在類外面寫一個帶有引數的template函式那麼所有的不同的int就只需要一份程式碼。

因為型別引數而造成的程式碼膨脹，往往可降低，做法是讓帶有完全相同二進位制表述的具現型別共享實現碼。

如果你實現某些成員函式而他們操作強型指標（T*），你應該令他們呼叫另一個操作無型別（void*）指標的函式。

45.運用成員函式模板接受所有相容型別

template <typename T>

class SmartPtr

{

public:

 template<typename U>

 SmartPtr(const SmartPtr<U>& other);

}

對任意型別T和任意型別U，可以根據SmartPtr<U>生成一個SmartPtr<T>,因為T有一個建構函式接受一個U引數，也就是根據U物件生成t，也就是泛化拷貝建構函式。

若是要加限制

template <typename T>

class SmartPtr

{

public:

 template<typename U>

 SmartPtr(const SmartPtr<U>& other):heldPtr(other.get()) {...}

 T* get() const { return heldPtr; }

...

private:

T* heldPtr;

};

如果說你要完全掌控copy建構函式或者assignment操作，光是模板還不夠，因為它並不會百分百生成相應，編譯器還是會為你提供相應的函式，所以你需要自己再寫一個複合你自己要求的copy函式和copy assignment操作符。

46.需要型別轉換時請為模板定義非成員函式

template<typename T>

class Rational

{

public:

...

friend const Rational operator*(const Rational& lhs,const Rational& rhs)

{

     return Rational(lhs.numerator()* rhs.numerator(),lhs.deo()*rhs.deo());

}

}

當我們編寫一個class template，而她所提供之“與此template相關的”函式支援“所有引數之型別轉換”時，請將那些函式定義為“class template 內部的friend函式”。