- 函数重载的定义在 C++ 中，函数重载是指在同一个作用域内，可以有多个同名函数，但是它们的参数列表（参数的个数、类型或者顺序）不同。函数重载的目的是为了方便程序员使用相似功能的函数，通过不同的参数来调用不同的实现。
- 参数个数不同的重载示例
例如，有两个函数用于计算两个数和三个数的和：
int add(int a, int b) {return a + b;
}
int add(int a, int b, int c) {return a + b + c;
}- 在这里，add函数有两个版本。当调用add函数时，编译器会根据传入的参数个数来决定调用哪一个版本。如果调用add(1, 2)，编译器会调用第一个add函数；如果调用add(1, 2, 3)，编译器会调用第二个add函数。
- 参数类型不同的重载示例再比如，有函数用于计算整数和浮点数的绝对值：
int abs(int a) {return a < 0? -a : a;
}
float abs(float a) {return a < 0? -a : a;
}- 当调用abs函数时，编译器会根据传入参数的类型来选择合适的函数版本。如果调用abs(-5)，编译器会调用int abs(int a)版本；如果调用abs(-5.5f)，编译器会调用float abs(float a)版本。
- 参数顺序不同的重载示例假设有一个函数用于交换两个变量的值，对于不同类型的变量交换：
void swap(int& a, int& b) {int temp = a;
a = b;
b = temp;
}
void swap(float& a, int& b) {float temp = a;
a = b;
b = temp;
}- 这里swap函数有两个版本，参数的类型顺序不同。编译器会根据传入参数的类型及其顺序来决定调用哪一个swap函数。不过要注意，仅仅是参数名称不同不能构成函数重载，因为编译器在确定调用哪个重载函数时是根据参数的类型、个数和顺序，而不是参数的名字。
- 函数重载的实现原理（名字修饰）编译器在编译过程中，会对重载函数的名字进行修饰。在 C++ 中，名字修饰（Name Mangling）是一种机制，它根据函数的参数类型、个数等信息来生成一个唯一的函数名标识，这样链接器就可以正确地将函数调用和对应的函数实现链接起来。例如，对于不同参数类型的add函数，编译器可能会将它们的名字修饰成类似_add_int_int和_add_int_int_int之类的内部名称，这样就可以区分它们了。
- 函数重载的好处增强了程序的可读性。例如，对于计算不同类型数据的和或者积等操作，使用同名函数可以让代码的逻辑更加清晰，程序员可以很容易地理解这些函数是具有相似功能的。
- 提高了代码的可维护性。如果需要修改某个功能相关的一组函数，由于它们名字相同，在代码中定位和修改会更加方便。同时，对于调用这些函数的代码部分，由于函数名统一，也不需要进行大量的修改。
函数重载的实现原理
- 名字修饰（Name Mangling）机制在 C++ 中，编译器使用名字修饰来区分重载函数。名字修饰是一种在编译阶段将函数的原始名称转换为一个包含更多信息（如参数类型、参数个数等）的新名称的过程。
- 例如，对于以下两个重载函数：
int add(int a, int b);
float add(float a, float b);- 编译器可能会将它们的名字分别修饰为类似_add_int_int和_add_float_float（这只是一种示意，不同编译器的名字修饰规则不同）。当在代码中调用add函数时，编译器会根据传入的参数类型来确定应该调用哪个实际的函数。在链接阶段，链接器能够根据这些经过修饰的名称来正确地链接函数调用和函数定义。
- 函数签名（Function Signature）的作用函数签名由函数名、参数类型、参数个数和参数顺序组成（不包括函数的返回类型）。编译器主要依靠函数签名来区分不同的重载函数。
- 例如，下面的函数声明由于参数类型不同而具有不同的函数签名：
void print(int i);
void print(double d);- 即使函数名相同，编译器也能根据参数类型这个关键因素来判断应该调用哪一个函数。
- 编译器如何根据参数匹配重载函数精确匹配：当调用函数时，编译器首先尝试进行精确匹配。例如，如果有一个函数调用add(3, 4)，并且存在int add(int a, int b)函数，那么编译器会直接选择这个函数，因为参数的类型和个数完全匹配。
- 提升转换匹配：如果没有精确匹配，编译器会考虑一些隐式类型转换。例如，对于函数调用add(3.0, 4.0)，如果存在int add(int a, int b)函数，编译器可能会尝试将double类型的参数转换为int类型（这种转换可能会导致数据丢失），但这取决于编译器的规则和具体的函数定义。不过如果同时存在double add(double a, double b)函数，编译器会优先选择这个精确匹配的函数。
- 标准转换匹配：包括如int到long等标准类型转换。例如，对于函数调用add(3L, 4L)（其中L表示长整型常量），如果存在int add(int a, int b)函数，编译器可能会考虑将long类型转换为int类型来匹配这个函数，但同样，如果有更合适的重载函数（如long add(long a, long b)），会优先选择后者。
- 用户自定义转换匹配（涉及类类型）：当处理类类型的参数时，编译器还会考虑用户自定义的类型转换函数。例如，如果有一个类MyClass，并且定义了从MyClass到int的转换函数，那么在调用add函数（假设add函数有一个int类型的参数）时，如果传入MyClass类型的对象，编译器会尝试使用这个自定义转换函数来进行匹配。