GeekBand笔记: C++面向对象高级编程（4）

Templates and Generic Programming

• 泛型技术。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议，要么试图做到运行时决议。
• 模板是泛型编程的基础

模板 template

• 模板不是类或函数，可以将模板看作编译器生成类或者函数的一份说明书;
• 编译器根据模板创建类或者函数的过程称为模板的实例化(instantiation);
• 使用模板时，必须(隐式或显式)指定模板实参
  • 显式模板实参(explicit template argument)

  max<int> (1, 3.0); //function template
  Blob<int> a; //class template 必须显式指定
  

  • 隐式模板实参(implicit template argument)

  max(1, 2); //function template
  

函数模板(function template)

template<template parameter list>
template<typename T1, typename T2>

函数模板实例化 instantiate

When the compiler instantiates a template, it creates a new “instance” of
the template using the actual template argument(s) in place of the
corresponding template parameter(s).

非类型模板参数(nontype parameter)

template <unsigned N, unsigned M>
inline int compare(const char (&p1)[N], const char (&p2)[M]) {
    return strcmp(p1, p2);
};

// 非类型模板参数的模板实参必须是常量表达式
cout << compare("a", "ba") << endl;

类模板(class template)

类模板的实例化

• 类模板实例化必须提供显式模板实参

Blob<int> ia;
Blob<int> ia2 = {0, 1, 2, 3, 4};

• 一个实例化了的类模板，其成员函数只有在使用时才被实例化

Blob<int> ia2 = {0, 1, 2, 3, 4}; // 类模板实例化
ia2.size(); // 实例化 Blob<int>::size() const