Unix/C++--模板

1 简介

模板是泛型编程的基础，泛型编程即以一种独立于任何特定类型的方式编写代码。
模板是创建泛型类或函数的蓝图或公式。库容器，比如迭代器和算法，都是泛型编程的例子，它们都使用了模板的概念。

2 语法

2.1 函数模板的声明和定义

• 在函数申明和定义前面，加一个模板template<classT, classC>就行，其余正常定义和申明
• 示例

template<typedef  T, typedef C> T add1(T, T, C);
 
int main()
{
    add1(1, 2, 3); //只用到模板T，没有用到模板C
    add1(1.5, 3.5, 3); //只用到模板T，没有用到模板C
    return NULL;
}

template<typedef T, typedef C> T add1(T a, T b,C c)
{
   return a + b; //只用到模板T，没有用到模板C
}

2.2 类模板的声明和定义

libsigc++中一处代码

template <typename T_return, typename... T_arg>
class slot;

template <typename T_return, typename... T_arg>
class slot<T_return(T_arg...)> : public slot_base
{
public：
	...
}

2.3 可变参数

• 可变模板参数---- C++11新特性
• 参数包(parameter pack)
  模板参数包，如:
  template<typename… Args>class tuple;
  Args标识符的左侧使用了省略号,在C++11中Args被称为“模板参数包”,表示可以接受任意多个参数作为模板参数,编译器将多个模板参数打包成“单个”的模板参数包.
  函数参数包，如
  template<typename…T> void f(T…args);
  args被称为函数参数包,表示函数可以接受多个任意类型的参数.
  在C++11标准中，要求函数参数包必须唯一，且是函数的最后一个参数; 模板参数包则没有
  当声明一个变量(或标识符)为可变参数时，省略号位于该变量的左侧
  当使用参数包时，省略号位于参数名称的右侧，表示立即展开该参数，这个过程也被称为解包

3 模板声明与定义为何不能分开

• 我们用C++写类的时候，通常会将.cpp和.h文件分开写，即实现和声明分开写了；但在C++的类模板中，这种写法是错误的。
• 在《C++编程思想》的第16章的“16.3模板语法”一节给出了答案，以下是下书中原话：
  即使是在创建非内联函数定义时，我们还是通常想把模板的所有声明都放入一个头文件中。这似乎违背了通常的头文件规则：“不要放置分配存储空间的任何东西“（这条规矩是为了防止在连接期间的多重定义错误），但模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处，有一机制能去掉指定模板的多重定义。所以为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。
• C++中每一个对象所占用的空间大小，是在编译的时候就确定的（C++是编译型语言），在模板类没有被实例化前，编译器是无法知道模板类中使用模板类型的对象的所占用的空间的大小。只有模板被实例化，编译器才知道模板套用的是什么类型，应该分配多少空间。这也就是模板类为什么只是称之为模板，而不是泛型的缘故。

4 使用

参考

1、Unix/C+±-结构体struct和class类区别
2、c++中模板_类模板的声明和定义
3、Unix/C+±-using详解
4、c++中模板_类模板的声明和定义
5、C++类模板声明与定义为何不能分开
6、C++ 函数模板与类模板（使用 Qt 开发编译环境）
7、C++模板之可变模板参数