7、函数重载分析（上）

1、重载的概念

• 重载（Overload）
  — 同一个标识符在不同的上下文有不同的意义
  — 如：
• " 洗 " 和不同的词汇搭配后有不同的含义
  洗衣服，洗脸，洗脑，洗马桶
• " play " 和不同的单词搭配后有不同的含义
  play chess，play piano，play basketball

用编程语言去模仿自然语言，自然语言一个动词加不同的名词可以表示不同的事，编程语言中最接近动词的就是函数。

2、C++中的函数重载

• 函数重载
  — 用同一个函数名 定义 不同的函数
  — 当函数名和不同的参数搭配时函数的意义不同

int func(int x)
{
	return x;
}
int func(int a, int b)
{
	return a + b;
}
int func(const char* s)
{
	return strlen(s);
}

这段函数放在C语言里面一定会报错，因为C语言不能定义同名函数，但是在C++里面就不会报错

#include <stdio.h>
#include <string.h>
int func(int x)
{
	return x;
}
int func(int a,int b)
{
	return a + b;
}
int func(const char* s)
{
	return strlen(s);
}
int main()
{
	printf("%d\n", func(3));
	printf("%d\n", func(4, 5));
	printf("%d\n", func("xiebs nb!"));
	return 0;
}

得出结论：C++支持函数重载，C++中的重载来源于自然语言中重载的概念。

• 函数重载至少满足下面的一个条件：
  — 参数个数不同
  — 参数类型不同
  — 参数顺序不同

问题：当函数默认参数遇到函数重载会发生什么？

#include <stdio.h>
int func(int a,int b,int c = 0)
{
	return a*b*c;
}
int func(int a,int b)
{
	return a + b;
}

int main()
{
	printf("%d\n", func(3, 4));			//会调用哪个函数

	return 0;
}

这是第一个C++中的特性冲突的地方。

3、编译器调用重载函数的准则

— 将所有同名函数作为候选者
— 尝试寻找可行的候选函数

• 精确匹配实参
• 通过默认参数能够匹配实参
• 通过默认类型能够匹配实参
  — 匹配失败
• 最终寻找的候选函数不唯一，出现二义性，则匹配失败
• 无法匹配所有的候选者，函数未定义，编译失败

4、函数重载的注意事项

— 重载函数在本质上是相互独立的不同函数
— 重载函数的函数类型不同
— 函数的返回值 不能作为函数重载的依据
函数重载是由函数名和参数列表决定的

证明重载函数之间确实不同：

#include <stdio.h>
#include <string.h>
int add(int a,int b)
{
	return a + b;
}
int add(int a,int b,int c)
{
	return a + b + c;
}

int main()
{
	printf("%d\n", add(1,2));
	printf("%d\n", add(1,2,3));
	printf("%p\n", (int(*)(int, int))add);
	printf("%p\n", (int(*)(int, int, int))add);
	cout << reinterpret_cast<void*>((int(*)(int, int))add) << endl;
    cout << reinterpret_cast<void*>((int(*)(int, int, int))add) << endl;

	return 0;
}

从这两个函数的地址我们就可以判断重载函数之间是不同的函数

符号表：就是编译器在编译过程中根据我们的源代码所生成的一张表，这张表里面有程序里面各个函数名，变量名等等。

小结：

• 函数重载是C++中引入的概念
• 函数重载用于模拟自然语言中的词汇搭配
• 函数重载使得C++具有更丰富的语义表达能力
• 函数重载的本质为相互独立的不同函数
• C++通过函数名和函数参数确定函数调用。

分析：为什么函数的返回值不能作为函数重载的依据 ？

答：我个人觉得是为了消除二义性
如果定义下面两个函数，我在主函数里面这样写： Function()，请问，编译器会调用哪个函数呢？

void Function(void);
int Function (void);