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

• 　　运行期多态就好比是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)...

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 typename std::iterator_traits<itrat>::value_type value_type;
//在这里 typename是指定从属名称，typedef是让这个长的从属名称变为短的value_type。

template <typename T>
class smartptr{
public:
    template<typename U>
    smartptr(const smartptr<U> &other);//成员模板函数
};