函数重载分析

1 自然语言中的上下文

你知道下面词汇中“洗”的含义吗？

洗衣服、洗脑、洗脸、洗车、洗马桶……

结论：能和“洗”字搭配的词汇有很多，“洗”字和不同的词汇搭配有不同的含义。

2 重载的概念

• 重载(Overload)：同一个标识符在不同的上下文有不同的意义。
• 如：
  
  • “洗”和不同的词汇搭配有不同的含义：洗衣服、洗脑、洗脸、洗车、洗马桶……
  • “play”和不同的单词搭配有不同的含义：play chess, play pinao, play basketball……

思考：重载在自然语言中是随处可见的，那么程序设计中是否也有重载呢？

3 C++中的重载

• 函数重载（Function Overload）
  
  • 用同一个函数定义不同的函数。
  • 当函数名和不同的参数搭配时函数的含义不同。

编程实验：函数重载初探

#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(int argc, char *argv[])
{
    printf("%d\n", func(3));
    printf("%d\n", func(4, 5));
    printf("%d\n", func("D.T.Software"));

    return 0;
}

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

上面的两个函数可以构成重载函数。

当函数默认参数遇上函数重载会发生什么？

函数默认参数VS函数重载

#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(int argc, char *argv[])
{
    int c = func(1, 2);//error: call of overloaded ‘func(int, int)’ is ambiguous（模糊的）

    return 0;
}

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

• 将所有同名函数作为候选者；

• 尝试寻找可行的候选参数:

  • 精确匹配实参；
  • 通过默认参数能够匹配实参；
  • 通过默认类型转换匹配实参。

• 匹配失败：

  • 最终寻找到的候选函数不唯一，则出现二义性，编译失败。
  • 无法匹配所有候选者，函数未定义，编译失败。

函数重载的注意事项：

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

编程实验：函数重载的本质

#include <stdio.h>

int add(int a, int b)  // int(int, int)
{
    return a + b;
}

int add(int a, int b, int c) // int(int, int, int)
{
    return a + b + c;
}

int main()
{
    printf("%p\n", (int(*)(int, int))add);
    printf("%p\n", (int(*)(int, int, int))add);

    return 0;
}
// 查看编译中间文件符号表的工具：vs命令行：DUMPBIN /symbols pathname(xx.obj)

小结

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

4 重载与指针

下面的函数指针将保存哪个函数的地址？

注意：
void fun(int a, int b = 123);

void (*p)(int a) = fun;

//p(1); //error: too few arguments to function
//说明：带有默认参数的函数一旦被函数指针指向，那么通过这个函数指针调用就必须传给全部的参数

函数重载遇上函数指针

• 将重载函数名赋值给函数指针时：
  
  • 根据重载规则挑选与函数指针参数列表一致的候选者。
  • 严格匹配候选者的函数类型与函数指针的函数类型。

注意：不会跟默认参数扯上关系。

编程实验：重载函数VS函数指针

#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);
}

typedef int(*PFUNC)(int a);


int main(int argc, char *argv[])
{
    int c = 0;

    PFUNC p = func;

    c = p(1);   

    printf("c = %d\n", c);

    return 0;
}

注意：

• 函数重载必然发生在同一个作用域中；
• 编译器需要用参数列表或函数类型进行函数选择；
• 无法直接通过函数名得到重载函数的入口地址。

5 C和C++相互调用

注意事项

• C++编译器不能以C的方式编译重载函数。
• 编译方式决定函数名被编译后的目标名:
  
  • C++编译方式将函数名和参数列表编译成目标文件；
  • C编译方式只将函数名作为目标名进行编译。

小结

• 函数重载是C++对C的一个重要升级。
• 函数重载通过函数参数列表区分不同的同名函数。
• extern关键字能够实现C 和C++的相互调用。
• 编译方式决定符号表中的函数名的最终目标名。