从模板生成代码

从模板生成代码

        从程序员的角度看，使用模板是一件很简单的事情，但需要编译器做的事情大大增加了。当编译器遇到一个模板（比如swap()函数模板）时：

template <class T>
void swap(T &a, T &b)
{
    T tmp = a;
    a = b;
    b = tmp;
}

    它不会立刻生成代码，只会检查语法错误并记住“有个名为swap的函数包含着不确定的类型”这个事实。

    当你第一次使用某种具体的数据类型来调用这个函数时：

int i1 = 55;
int i2 = 66;
swap(i1,i2);

</pre><pre class="cpp" name="code">    编译器将注意到这是一个函数模板，但这个模板还没有一个针对int类型的实现。于是，它将把swap()函数模板的源代码里的T全部替换为int,其结果是得到一个如下所示的函数：

void swap(int &a, int &b)
{
    int tmp = a;
    a = b;
    b = tmp;
}

    这是一个可以对之进行编译的函数。当然，编译器不会修改任何源文件，它将在内存里创建出这些源代码并编译它。

</pre><pre class="cpp" name="code">

    （本文参看人民邮电出版社的《写给大家看的C++书》，仅属学习交流，不得用作他用。）