<三>详解函数重载

C++函数重载代码如下

#include <iostream>
using namespace std;
bool compare(int a,int b){
     cout<<"compare_int_int"<<endl;
     return a>b;	
}
bool compare(){
     cout<<"compare_double_double"<<endl;
     return a>b;	
}
bool compare(const char * a ,const char * b){
    cout<<"compare_char*_char*"<<endl;
    return strcmp(a,b)>0;	
}
int main(){	
    bool b1=compare(10,20);	
    bool b2=compare(100.0,200.0);	
    bool b3=compare("abc","def");	
    return 0;
}

上面的compare调用可以实现不同的目标函数调用

什么是函数重载?
一组函数,函数名称相同,函数参数个数,或者类型不同,那么这一组函数就叫做函数重载。
同时要注意一组函数要形参重载,一定要处在一个作用域当中.
一组函数,函数名相同,函数列表也相同,返回值不同,不构成函数重载.

问题1：
为什么C++支持函数重载而C不支持函数重载?
C++代码在编译的过程中,函数名产生函数符号的时候,规则是函数名+函数列表组成 (符号表产生类似 compare_int_int ,compare_double_double ,compare_char)
而C代码在编程的时候,函数名产生的函数符号只由函数名决定,所以如果函数名相同,链接的时候会报重名错误.

问题2：
const 对函数重载有什么影响,如下代码
void function(int i){}
void function(const int i){}
int main(){
int a=10;
cont int b=20;
cout<<typeid(a).name()<<endl;
cout<<typeid(b).name()<<endl;
}

上面程序编译无法通过,报错“函数function(int i)已经有主体” 所以对于编译器看来function(int i) 和 function(const int i)是一样的,
我们通过打印 typeid(a).name() 和 typeid(b).name()验证,打印出来都是int,同时根据C++编译器在编译过程中生成函数符号的规则是函数名+函数列表,所以function(int i)和function(const int i)生成的函数符号就是一样的了.

void function(int * a){}
void function(const int * a){}
上面两行的重载函数能够正常编译通过

void function(int *a){}
void function(int * const a){}
上面两行重载函数无法正常编译通过

函数重载属于多态的一种形式， 多态=》静态多态 + 动态多态, 函数重载属于静态多态,编译期多态,函数重载的调用在编译期就确定了调用哪个函数

问题3：
C和C++的调用问题

test.c 程序
int sum(int a , int b){
return a + b;
}

test2.cpp程序

int sum(int a, int b);

int main(){

int ret=sum(10,20);

return ret;
}

编译的时候,报链接错误 “无法解析的外部符号 int _cdel1 sum(int,int)” 为什么会报着错？
因为
test.c 程序
int sum(int a , int b){
return a + b;
}
经过编译器生成的函数符号 sum(int a,int b)

test2.cpp程序
int sum(int a, int b);
int main(){

int ret=sum(10,20);

return ret;
}
int sum(int a, int b); 经过编译器生成的函数符号 sum_int_int(int,int) UND ,

所以链接的时候,编译器需要找到 sum_int_int(int,int) 来替换UND, 但是发现找不到.

怎么解决？ 通过 “extern C”

test2.cpp程序
extern "C"
{
int sum(int a, int b);
}

int main(){

int ret=sum(10,20);

return ret;
}

这个时候C++编译器在看到 extern "C" {int sum (int a, int b);}的时候，就会按照C的规则生产函数符号.

反过来,如果C调用C++ 则如下处理

test.cpp 程序
extern "C"{
int sum(int a , int b){
return a + b;
}
}
经过编译器生成的函数符号 sum(int a,int b)

test2.c程序
int sum(int a, int b);
int main(){

int ret=sum(10,20);

return ret;
}

更常见的写法

#ifdef __cplusplus
 extern "C" 
 #endif
  int sum(int a,int b){return a+b;}
 #ifdef __cplusplus
   }
 #endif

_cplusplus 是C++编译器中内置的宏定义,如果上面代码在C++编译器环境下编译,
那么

 #ifdef __cplusplus
  extern "C"
  #endif
  #ifdef __cplusplus
  }
  #endif

被激活,被编译生产的函数名是C风格的
如果在c编译器环境下编译,#ifdef 未被激活,函数被编译生成的函数名仍然是C风格的. 更通用.