C++primer 学习笔记 -第16章 模板与泛型编程(模板)

1. 模板

模板是一种对类型进行参数化的工具；
通常有两种形式：函数模板和类模板；

1.1.1 模板类型参数

模板参数通常表示类型，表示类型的模板参数称为类型模板参数（type template parameter）
template<typename T,typename Container>
class Grid
{…}

1.1.2 非模板类型参数

• 整数及枚举类型
• 指针（对象指针或函数指针）
• 引用（对象引用或函数引用）
• 指向类对象成员函数的指针

template
template<void (*f) (T &v)>
template<int *p>
template<int &p>
成员函数指针模板参数：

1.3 模板型模板参数

#include <iostream>

template<template<typename TT> class Func, typename T>
void foreach(T array[], unsigned size) {
    Func<T> func;
    for (unsigned i = 0; i < size; ++i)
        func(array[i]);
}

template<typename T>
struct inc {
    void operator() (T &v) const {++v;}
};

template<typename T>
struct dec {
    void operator() (T &v) const {--v;}
};

template<typename T>
struct print {
    void operator() (T &v) const { std::cout << " " << v;}
};

int main(int argc, char* argv[]) {
    int array[] = {1, 2, 3, 4, 5, 6, 7, 8};
    foreach<print>(array, 8);
    std::cout << std::endl;

    foreach<inc>(array, 8);
    foreach<print>(array, 8);
    std::cout << std::endl;

    foreach<dec>(array, 8);
    foreach<print>(array, 8);
    std::cout << std::endl;

    return 0;
}

1.2 typename

• 用在模板定义里, 标明其后的模板参数是类型参数。
• 模板中标明“内嵌依赖类型名”

因为编译器默认通过作用域访问的是名字而不是类型，这里 LengthType 是一个类成员，而该类依赖于一个模板参数，使用typename告知编译器，type表示一个类型

template<class T>
void MyMethod( T myarr ) 
{ 
  typedef typename T::LengthType LengthType; 
  LengthType length = myarr.GetLength; 
}