函数模板的真相

    C++语言提供的函数模板解决函数体完全相同，只是形参不同的几个函数不必重复定义的问题，但是它隐藏了一些操作，当然这些工作是编译器完成的。 以一个经典的例子来进行分析。

#include <iostream>
using namespace std;

template <typename T>
T max(T a, T b,T c)
{
    if(b > a) a = b;
    if(c > a) a = c;
    return a;
} 

int main()
{
    int i1 = 185,i2 = -76,i3 = 567,i;
    double d1 = 34.3,d2 = 12.3,d3 = 1.3,d;
    long g1 = 6789,g2 = 1234,g3 = 4532,g;
    i = max(i1,i2,i3);
    d = max(d1,d2,d3);
    g = max(g1,g2,g3);

    cout <<"i_max=" <<i <<endl;
    cout <<"d_max=" <<d <<endl;
    cout <<"g_max=" <<g <<endl;

    return 0;
}

    猛的一看，似乎就定义了一个max()函数，实则不然，要看到一切真相要从反汇编来看。用VC进行编译，然后进入调试模式，当对max()函数进行反汇编时，出现这种现象。

    可以看到，此操作引起了争议，软件不知道对图中三种情况哪种进行反汇编。可见，虽然函数模板就一个，但是实质编译结果生出了三个函数体完全相同，只是形参不同的函数int max(int a, int b,int c)、double max(double a, double b,double c)、long max(long a, long b,long c)。