函数重载和名字粉碎

一、函数重载概念

        在c++中可以为两个或两个以上的函数提供相同的函数名称，只要参数类型不同，或参数类型相同而参数的个数不同，称为函数重载。

int my_max(int a,int b)
{
    return a>b ? a:b;
}

char my_max(char a,char b)
{
    return a>b ? a:b;
}

double my_max(double a,double b)
{
    return a>b ? a:b;
}

//每个同名函数的参数表是唯一
int main()
{
    int ix=my_max(12,23);
    double dx=my_max(12.23,34.45);
    char chx=my_max('a','b');
    return 0;
}

编译器的工作：

1.当一个函数名在同一个域中被声明多次时，编译器按照如下步骤解释第二

个（以及后续的）的声明。

2.如果两个函数的参数表中参数的个数或类型或顺序不同，则认为这两个函数是重载。

//函数重载
void print(int a,char b);

void print(char a,int b);

二、判断函数重载的规则

1.如果两个函数的参数表相同，但是返回值类型不同，会被标记为编译错误：函数的重复声明

int my_max(int a,int b)
{
    return a>b?a:b;
}

unsigned int my_max(int a,int b)    //err
{
    return a>b?a:b;
}

int main()
{
    int ix=my_max(12,23);    //只能检查形参与实参类型，无法检查返回值与接受者关系
    unsigned int = my_max(12,23);    //err
    return 0;
}

2.参数表的比较过程与形参名无关

//同一函数
int max(int a,int b);
int max(int x,int y);

3.如果在两个函数的参数表中，只有缺省实参不同，则第二个声明被视为第一个的重复声明

缺省值不能成为函数重载的依据

int max(int a,int b);
int max(int a,int len=10);

4.typedef名为现有的数据类型提供了一个替换名，它并没有创建一个新类型，因此，如果两个函数参数表的区别只在于一个使用了typedef，而另一个使用了与typedef相应的类型。则该参数表被视为相同的参数列表。

5.当一个形参类型有const或volatile修饰时，如果形参是按值传递方式定义，在识别函数声明是否相同时，并不考虑const和volatile修饰符

void fun(int a){ }

void fun(const int a)

6.当一个形参类型有const或volatile修饰时，如果形参定义指针或引用时，在识别函数声明是否相同时，就要考虑const和volatile修饰符

void fun(int *p) {}

void fun(const int *p) {}

void fun(int &a) {}    //左值引用

void fun(const int &a) {}    //万能引用

7.注意函数调用的二义性

如果在两个函数的参数表中，形参类型相同，而参数个数不同，形参默认值将会影响函数的重载

void fun1(int a){}
void fun2(int a,int b){}
void fun3(int a,int b=10);
//fun1和fun3出现二义性，eg:fun(12)

三、名字粉碎（名字修饰）

        在C语言和c++中名字修饰约束规则的不同，是c++可以函数重载的原因

        “C”或者“c++”函数在内部（编译和链接）通过修饰名识别。修饰名是编译器在编译函数定义或者原型时生成的字符串。

        修饰名由函数名、类名、调用约定、返回值类型、参数表共同决定。

调用约定：

        _stdcall是Pascal程序的缺省调用方式，通常用于Win32 Api中，函数采用从右到左的压栈方式，自己在退出时清空堆栈。

        C调用约定（即用_cdecl关键字说明）按从右至左的顺序压参数入栈，由调用者把参数弹出栈。对于传送参数的内存栈是由调用者来维护的（正因如此，实现可变参数的函数只能使用该调用约定）

        _fastcall调用约定是“人”如其名，他的主要特点就是快，因为它是通过寄存器来传送参数的（实际上，它用ECX和EDX传送前两个双字（DWORD）或更小的参数，剩下的参数依旧自右向左压栈传送，被调用的函数在返回前清理传送参数的内存栈），在函数名修饰约定方面，它和前两者均不同。

        _thiscall仅仅应用于“C++”类的成员函数。this指针存放于ECX寄存器，参数从右到左压栈。thiscall不是关键字，因此不能被程序员指定。

C语言编译时函数名修饰约定规则

C++编译时函数名修饰约定规则

C语言生成函数符号依赖于函数名称

c++生成函数符号依赖于函数名称和参数列表（正是因为参数列表因此c++有函数重载）