- 了解隐式接口和编译期多态
- 编译期多态和运行期多态
- 运行期多态就好比是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操作
转载于:https://www.cnblogs.com/Kobe10/p/5744441.html
)
