文章目录
一、C++中形参带默认值的函数
在C++中，形参带默认值的函数是指在函数声明或定义时，为某些参数提供默认值。如果在调用函数时没有为这些参数传递实际值，就会使用默认值。
以下是关于默认参数的详细说明和示例：
1.默认参数的定义和使用
语法：
cpp
返回类型 函数名(参数类型 参数名 = 默认值, ...);示例：
cpp
#include <iostream>
// 函数声明时提供默认参数
void greet(const std::string& name = "Guest", int times = 1);
int main() {
greet(); // 使用所有默认值
greet("Alice"); // 覆盖第一个参数默认值
greet("Bob", 3); // 覆盖所有默认值
return 0;
}
// 函数定义
void greet(const std::string& name, int times) {
for (int i = 0; i < times; ++i) {
std::cout << "Hello, " << name << "!" << std::endl;
}
}2.形参带默认值的函数的使用规则和注意事项
默认参数从右向左设置：
默认参数必须从最后一个参数开始依次向前定义。
如果某个参数设置了默认值，则其右侧所有参数也必须有默认值。
错误示例：
cpp
void foo(int a = 10, int b); // 编译错误默认参数只需声明一次：
默认参数通常出现在函数声明中，而不应在定义中重复。
正确示例：
cpp
void foo(int a = 10); // 声明中定义默认值
void foo(int a) { // 定义中无需再写默认值
std::cout << a << std::endl;
}默认参数与函数重载：
默认参数会影响函数重载的选择，可能导致二义性。
示例：
cpp
void print(int a, int b = 5);
void print(int a);
print(10); // 二义性，无法确定调用哪个函数默认参数与指针/引用：
可以为指针或引用类型设置默认参数，但需注意默认值的生命周期。
cpp
void display(const int* ptr = nullptr);二、C++中的inline内联函数
在C++中，inline是一种修饰符，建议编译器将函数的调用替换为函数体的代码，以减少函数调用的开销（如函数跳转、参数压栈等）。这对那些体积小、频繁调用的函数特别有用。
1.内联函数的特性
- 编译器建议而非强制：inline只是向编译器提出建议，编译器可能会忽略inline关键字（例如函数体过大或复杂时），优化行为由编译器决定，而非程序员强制控制。
- 减少函数调用开销：减少了函数调用时的跳转和栈操作的开销。提高运行效率，但可能导致代码膨胀（代码段增大）。
- 适合体积小的函数：内联函数适用于简单函数，例如访问器（getter）或工具函数。
- 必须在定义处可见：内联函数的定义需要在每个调用点可见（通常放在头文件中）。
- 内联和递归：内联函数不能有效处理递归，因为递归会导致无限展开。
2.内联函数的声明与定义
语法：
cpp
inline 返回类型 函数名(参数列表) {
// 函数体
}示例：
cpp
#include <iostream>
// 内联函数定义
inline int add(int a, int b) {
return a + b;
}
int main() {
int result = add(3, 5); // 编译器可能直接将 add(3, 5) 替换为 "3 + 5"
std::cout << "Result: " << result << std::endl;
return 0;
}3.内联函数的优势
- 减少函数调用开销：常规函数调用需要跳转到函数地址，并将参数压栈，内联函数通过代码替换避免了这些开销。
- 提高程序执行效率：减少了运行时的跳转操作，尤其是在频繁调用的小函数场景下。
- 允许编译器优化：内联展开后，编译器可以进一步优化代码，例如移除不必要的中间变量。
三、C++中的inline内联函数和普通函数的区别
1.定义方式不同
内联函数是通过在函数声明或定义前加inline关键字，或定义在类体内的函数默认是内联函数。
cpp
inline int add(int a, int b) {
return a + b;
}普通函数没有inline关键字修饰。
cpp
int add(int a, int b) {
return a + b;
}2.调用方式不同
编译器尝试将内联函数的调用展开为函数体，直接替换到调用点，而不需要进行函数调用的开销（如参数压栈、跳转等）。
内联展开后：
cpp
int result = add(3, 5); // 可能被替换为：int result = 3 + 5;在程序运行时执行普通函数的调用时，跳转到函数地址，完成参数传递和返回值的处理。每次调用函数时需要进行参数压栈、跳转、返回等操作，带来一定的运行时开销。
3.虚函数支持
内联函数不能直接用于虚函数，因为虚函数通过动态绑定在运行时确定调用目标，无法在编译时展开，因此通常不能内联。但若通过具体类对象调用虚函数（非通过多态指针或引用），编译器可能将其优化为内联。
普通函数支持虚函数的所有特性，无需特殊处理。
四、C++中函数重载
函数重载（Function Overloading）是C++的一项特性，允许在同一个作用域中定义多个函数名相同但参数列表不同的函数。编译器根据调用函数时提供的参数类型和数量，自动选择匹配的函数版本。
函数重载的特点：
1.函数名相同：所有重载的函数必须有相同的名字。
2.参数列表不同：可以通过：参数的数量不同、参数的类型不同，参数的顺序不同（对于不同类型的参数）等任意一种方式来区分。
3.返回值类型不能用来区分重载：仅靠返回值类型的不同不能构成重载，因为调用时返回值通常不影响函数的匹配。
函数重载的基本语法：
cpp
#include <iostream>
// 重载函数
void display(int num) {
std::cout << "整数: " << num << std::endl;
}
void display(double num) {
std::cout << "浮点数: " << num << std::endl;
}
void display(const std::string& text) {
std::cout << "字符串: " << text << std::endl;
}
int main() {
display(42); // 调用第一个重载函数
display(3.14); // 调用第二个重载函数
display("Hello!"); // 调用第三个重载函数
return 0;
}函数重载的注意事项：
1.默认参数与重载冲突
如果某些函数参数有默认值，可能与其他重载函数冲突，导致编译错误。例如：
cpp
void func(int a, int b = 10); // 带默认参数
void func(int a); // 重载函数调用func(5)时，编译器无法确定是调用哪个版本。
2.避免模糊调用
当调用函数时，编译器无法确定最佳匹配的重载版本时会报错。例如：
cpp
void func(double a);
void func(int a);
func(3.0f); // 编译器可能报错，因为float可以转换为double或int3.与类型转换结合使用
如果存在隐式类型转换，可能会导致意外的重载选择。例如：
cpp
void func(int a);
void func(double a);
func('A'); // 'A' 被隐式转换为int，调用func(int)五、C++为什么支持函数重载
C++支持函数重载的原理主要依赖于编译器在编译时对函数名的修饰（Name Mangling）和重载解析机制，使得同名但参数列表不同的函数能够共存于同一个作用域中。
1.函数重载的实现原理
(1) 名称修饰（Name Mangling）
在C++中，函数名本身不足以唯一标识一个函数，因此编译器通过名称修饰，将函数名与其参数列表的类型信息组合，生成唯一的符号名。
源代码中：
cpp
void func(int a);
void func(double b);
void func(int a, double b);在编译后，这些函数可能被修饰为以下符号（不同编译器略有不同，但思想一致）：
- func(int) → _Z4funci
- func(double) → _Z4funcd
- func(int, double) → _Z4funcid
调用func(5)时，编译器根据传入的参数类型查找匹配的符号，例如_Z4funci。
名称修饰编码包括：
函数名。
参数类型：参数的顺序、类型、数量均被编码。
作用域信息：如命名空间或类作用域。
注意：返回值不参与修饰：因为返回值类型不会影响函数调用时的匹配。
(2) 编译器的重载解析
编译器根据函数调用时的实参信息进行解析，选择最匹配的函数版本：
参数数量：匹配参数数量相同的函数。
参数类型：精确匹配优先。如果没有精确匹配，尝试进行隐式类型转换（如从int到double）。
匹配优先级：编译器按从高到低的优先级寻找匹配函数：
- 完全匹配（无需类型转换）。
- 标准类型转换（如int到float）。
- 用户定义的类型转换（通过转换构造函数或转换运算符）。
- 可变参数（如...）。
示例：
cpp
void func(int);
void func(double);
int main() {
func(5); // 调用func(int)
func(3.14); // 调用func(double)
func('A'); // 'A' 被转换为int，调用func(int)
}如果存在多个候选函数且无法决定最佳匹配，编译器将报"调用模糊"错误。
2. 函数重载的技术基础
(1) 参数类型信息的区分
函数重载的核心在于"参数类型信息"的差异性，具体包括：
参数数量不同：例如func(int)和func(int, int)。
参数类型不同：例如func(int)和func(double)。
参数顺序不同：例如func(int, double)和func(double, int)。
(2) 与默认参数的结合
默认参数是函数重载的一个特殊情况。如果两个重载函数的参数列表在默认值的影响下出现歧义，编译器会报错。
cpp
void func(int a, int b = 10); // 带默认参数
void func(int a); // 重载函数
func(5); // 调用模糊：无法确定调用哪个版本(3) 隐式类型转换的影响
如果参数列表中允许类型转换，可能会导致意外的重载选择。例如：
cpp
void func(int);
void func(double);
func(5.0f); // 5.0f(float) 可以转换为 int 或 double，可能导致调用冲突这种情况下，可能需要显式指定调用的版本。
3.函数重载的编译过程
编译器的具体步骤：
符号生成（Name Mangling）：编译器对每个函数的名字和参数列表进行编码，生成唯一的符号名称。
重载解析：编译器在调用函数时，根据调用时提供的参数类型和数量，在符号表中寻找最匹配的重载函数。
类型转换检查：如果没有直接匹配的函数，编译器尝试通过隐式类型转换找到合适的重载函数。
代码生成：一旦找到合适的函数版本，编译器生成对应的机器代码。
4.实现的边界与限制
返回值类型不影响重载，仅靠返回值类型的不同无法实现函数重载。这是因为调用时返回值通常未显式声明，编译器无法根据返回值来区分。
六、C语言为什么无法实现函数重载
1.函数命名规则的限制
在C语言中，函数的名字本质上是其唯一的标识符，所有的函数在编译后都会直接映射为唯一的符号名。换句话说，C语言的函数名没有额外的修饰信息来区分参数类型或数量。
示例：
cpp
void func(int a);
void func(double b); // 错误：重复定义函数名在C语言中，这两个函数的名字都是func，会导致符号重定义错误，因为编译器无法通过参数类型来区分它们。与此相比，C++通过**名称修饰（Name Mangling）**机制对函数名进行编码，支持多个同名函数的共存。
2.C语言不具备函数签名的概念
C语言中的函数签名（函数的唯一标识符）只包含函数名，而不包括参数类型或数量。
例如，以下两个函数在C语言中有相同的签名：
cpp
void func(int a);
void func(double b);C语言编译器仅关注函数名，因此认为这两个函数是重复定义的，导致编译错误。在C++中，函数签名包括函数名和参数列表，这使得C++能够区分同名函数。
3.C语言编译器不支持名称修饰
C++中，编译器通过名称修饰（Name Mangling）为每个函数生成独特的符号名。例如：
cpp
void func(int a); // 编译后：_Z4funci
void func(double b); // 编译后：_Z4funcd而C语言的编译器不会对函数名进行修饰。所有的函数符号直接与函数名绑定，因此不可能通过额外的信息（如参数类型）来区分同名函数。
4.C语言不支持类型检查扩展
C语言不支持函数签名中包含参数类型，因此无法通过类型检查来选择合适的函数版本。而C++引入了类型检查和重载解析机制，可以根据调用时提供的参数类型，选择最佳匹配的重载函数
在C++中，以下代码可以根据参数类型自动调用正确的函数：
cpp
void func(int a);
void func(double b);
func(5); // 调用func(int)
func(3.14); // 调用func(double)而在C语言无法实现类似的机制，因为它没有参数类型的匹配逻辑。