前言:更多内容请看总纲《嵌入式C/C++学习路》
重载 overload
1. 重载关系
同一作用域中,函数名相同,参数表不同的函数
只有同一作用域中的同名函数才涉及重载问题,不同作用域中同名函数遵循标识符隐藏原则
#include <iostream>
using namespace std;
void foo(void)
{
cout << "foo(void)" << endl;
}
void foo(int a)
{
cout << "foo(int)" << endl;
}
int main(void)
{
foo();
foo(10); // 两个函数名字相同,根据形参的类型和个数匹配最相关函数,这就叫重载
return 0;
}
两个名字空间里面的同名函数不涉及重载问题,但是如果同时using两个名字空间,两个函数就会形成重载关系,例如:
#include <iostream>
using namespace std;
namespace ns1
{
void foo(int a)
{
cout << "ns1-foo-" << a << endl;
}
}
namespace ns2
{
void foo(float a)
{
cout << "ns2-foo-" << a << endl;
}
}
int main()
{
using namespace ns1;
using namespace ns2;
foo(10);
foo(6.7f);
return 0;
}
2. 重载解析
匹配度:完全匹配 > 常量转换 > 升级转换 > 标准转换 > 自定义转换 > 省略号匹配
#include <iostream>
using namespace std;
void foo(char *p, int n)
{
cout << "foo1" << endl;
}
void foo(const char *p, char c)
{
cout << "foo2" << endl;
}
int main(void)
{
char *p;
char c;
foo(p, c); // 常量转换高于升级转换 从char *p到const char *p是常量转换 , 从char c到 int n是升级转换
return 0;
}
画了个图方便理解:
再来看一个例子:
#include <iostream>
using namespace std;
void bar(char c)
{
cout << "bar1" << endl;
}
void bar(int n)
{
cout << "bar2" << endl;
}
void bar(long long l)
{
cout << "bar3" << endl;
}
int main()
{
short c;
bar(c);
}
可以看到调用了第二个bar函数,因为short类型扩充到较近的int类型,既不会有信息的损失,也不会过分扩充内存。如果扩充到long long,内存太多了。
再来一个例子
#include <iostream>
using namespace std;
void hum(double f, ...) // ... 表示可以传入任意类型,任意个数参数列表
{
cout << "hum1" << endl;
}
void hum(int n, void *p)
{
cout << "hum2" << endl;
}
int main()
{
double f;
void *p;
hum(f, p);
}
可见,系统选择了第二个hum函数,将double转换为Int,这是因为省略号匹配是最差的匹配策略。
再次附上匹配度:完全匹配 > 常量转换 > 升级转换 > 标准转换 > 自定义转换 > 省略号匹配
3. 函数指针的类型决定其匹配的重载版本
#include <iostream>
using namespace std;
void foo(char *p, int n)
{
cout << "foo1" << endl;
}
void foo(const char *p, char c)
{
cout << "foo2" << endl;
}
int main()
{
void (*pfunc)(char *, int) = foo;
pfunc(NULL, 0);
}
4. 重载的原理
重载是通过C++换名实现的
编译器在编译.cpp文件中当前使用的作用域里的同名函数时,根据函数形参的类型和顺序会对函数进行重命名(不同的编译器在编译时对函数的重命名标准不一样)但是总的来说,他们都把文件中的同一个函数名进行了重命名;
- 在vs编译器中: 根据返回值类型(不起决定性作用)+形参类型和顺序(起决定性作用)的规则重命名并记录在map文件中。
- 在linux g++ 编译器中:
根据函数名字的字符数+形参类型和顺序的规则重命名记录在符号表中;从而产生不同的函数名,当外面的函数被调用时,便是根据这个记录的结果去寻找符合要求的函数名,进行调用。