读书笔记--模板与泛型编程

了解隐式接口和编译期多态
- 　　编译期多态和运行期多态
  - 　　运行期多态就好比是virtual函数再运行的时候才确定该virtual函数该被绑定为哪个函数，运行的时候才确定函数类型。
  - 　　编译期多态就好比是泛型编程和模板编程中，在编译的时候才确定哪个函数该被调用，根据函数的类型去确定。
- 　　显示接口和隐式接口
  - 　　显示接口由函数的签名式构成
```
class widget{
public:
    widget();
    virtual ~widget();
    virtual std::size_t size() const;
    virtual void normalize();
    void swap(widget& other);
};
//这个其中：上述的这些函数都构成了这个public的显示接口
```
  - 隐式接口：由一组表达式组成；if (w.size()>10 && w!=somenastywidget)...
- 　　classes和templates都支持接口和多态；对classes而言接口是显示的，一以函数签名为中心。多态是通过virtual函数发生在运行期；对template参数而言，接口是隐式的，基于有效表达式。多态则是通过template具现化和函数重载解析发生于编译期。
typename的意义
- 　　在template声明式中，class和typename没有什么不同。
```
template <class T> class widget;
template <typename T>class widget;
```
- 　　从属名称和谓非从属名称
  - 　　从属名称（dependent typename）:表示这个变量名称是依赖于template参数的，有模板参数确定的。
    - 　　利用这个从属名称可能有时候会发生名称晦涩难懂，或者是名称过长导致名称无法解析。这个时候我们可以使用typename关键字，可以让编译器知道某个长名称是一个参数类型，这样可以消除歧义。
    - 　　一般我们在template中指涉了一个从属类型名称，就要在它前面添加关键字typename。
    - 　　特殊：typename不可以出现在base classes list内的从属类型名称之前，也不可在member initialization list中作为base class修饰符。
  - 　　谓非从属名称（non-dependent typename）：这个变量是不依赖与template参数的，是一个正常的变量名称。
- 　　typedef:作用是用一个简短的名称替换一个较长的名称
```
typedef typename std::iterator_traits<itrat>::value_type value_type;
//在这里 typename是指定从属名称，typedef是让这个长的从属名称变为短的value_type。
```
学会处理模板化基类内的名称
- 　　可以在派生类模板中内通过this->指涉base class templates内的成员名称，或者籍由一个明白写出的base class资格修饰符完成
将于参数无关的代码抽离templates
- 　　templates生成多个classes和多个函数，所以任何template代码都不该与某个造成膨胀的template参数产生相依关系。
- 　　因非类型末班参数而造成的代码膨胀往往可以消除，做法是以函数参数或class成员变量替换template参数。
- 　　因类型参数而造成的代码膨胀往往可以降低，做法是让带有相同二进制表述的具现类型共享实现码。
运用成员函数模板接收所有兼容类型
- 　　成员模板函数
```
template <typename T>
class smartptr{
public:
    template<typename U>
    smartptr(const smartptr<U> &other);//成员模板函数
};
```
- 　　请使用成员模板函数生成可以收所有兼容类型的函数；如果你声明成员模板函数用于泛化copy构造函数和泛化assignment操作，你还是需要声明正常的copy构造函数和泛化assignment操作