分享

【C 札记】深入浅出C 函数重载

 CNR_L 2017-12-07


                    本文阅读目录

  • 1、什么是重载函数

    2、函数重载的好处

  • 3、编译器如何解决命名冲突

  • 4、extern 'C'作用



什么是函数重载

学过C语言的同学应该很清楚,在C语言中,同一个程序中是不能定义多个名称相同的函数,否则编译会报重定义的错误信息,但是C++中则允许定义多个名称相同的函数,在C++中,这称之为函数重载,让我们来看看更官方一点的定义,函数重载是指在同一作用域内,可以有一组具有相同函数名,不同参数列表的函数,这组函数被称为重载函数。 此外需要注意的是,函数的返回值不构成重载条件。看下面几组示例。

//类A和类B的两个同名show()函数不构成重载
//因为两个函数的作用域不一样
class A
{
public: void show(int x){}
};

class B
{ public: void show(double x){}
};

//类A两个同名show()函数不构成重载
//因为两个函数的参数一样,返回值类型不同不能构成重载
class A
{ public: void show(int x){} int show(int x){}
};

//类A两个同名show()函数构成重载
//因为两个同名函数作用域相同,且参数列表不一样
class A
{ public: void show(int x){} void show(double x){}
};

注:重载函数的条件之一参数列表不同包括参数个数不同或者参数类型不同或者参数顺序不同都可以。


函数重载的好处

先想想下面一个场景,如果一个程序要实现一组加法操作,既要能够处理两个整数,又要处理两个字符串相加,你会如何做了? 如果是C语言,你必须为这组函数取不同的名字,如add_int, add_str等等, 是不是程序的可读性不太好。如果是C++实现,由于其支持函数重载,因此可以用一个函数名add就OK了,这样就避免了名字空间的污染,提高了程序的可读性。 

再想想,如果没有函数重载机制,每个类只能存在一个构造函数(因为构造函数名字必须与类名相同),因此,要想以不同的方式实例化类对象,就会变的相当麻烦。 


编译器如何解决命名冲突

我们定义两个重载函数如下图所示,然后对生成的可执行利用objdump -d a.out命令进行反汇编观察,可以看出,int add(int x, int y)编译之后其函数签名变为__Z3addii,函数float add(float x, float y)编译之后其函数签名变为__Z3addff,  不难发现,经过编译之后,函数名变的不那么单纯了,会增加一些其它的信息进去,具体说来,编译之后的函数名会包含返回值类型的信息参数列表信息等等。这种技术叫命名修饰。

不同编译器的命名修饰规则也不一样,这里就不深究了,我们只要知道C++中是通过这种机制来解决函数重载命名冲突的就好了。


extern 'c' {}作用

通过前面分析可知,C++是一个面向对象语言,它支持函数重载,而C语言中并没有函数重载,编译器在编译C++程序和C语言时的机制有些不同,比如说对于同一个函数int add(int x, int y);其函数名在C++中将被编译为__Z3addii ;而在C语言中可能就是直接编译为__add。

因此,如果C++中含有C语言代码时,就可能会出问题。 因为在编译时C++编译器对C代码的函数也会进行名字修饰,函数名变了以后,将导致在C运行库中找不到对应函数,发生链接错误。比如说对于以下代码:

//print.cpp
int
printf(const char *format,...);

int main()
{ printf('Hello world!'); return 0;
}

看看编译时发生了什么:

bogon:0807 lizhong$ g++ -o print print.cpp
Undefined symbols for architecture x86_64: 'printf(char const*, ...)', referenced from: _main in print-f04c36.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1
bogon:0807 lizhong$ cat print.cpp

是不是,链接过程出现了错误,原因就是前面所说的,想想也是,printf函数是C标准库定义的函数,其编译时按照C语言编译规则,函数名printf编译为_printf(这里只是假设,就是这么个意思);而在print.cpp中,对printf的调用时按照C++编译规则编译,编译成了_printf_XXX,链接的时候又怎么能找得到呢?

因此为了防止C++编译器对调用的C代码在编译时进行名字修饰,我们将C代码用extern “C”进行链接指定告诉编译器,不要对这部分代码进行名字修饰,而是生成符合C规则的中间符号名。如下所示:

//print.cpp
extern 'C'
{
   int
printf(const char *format,...);
}

int main()
{ printf('Hello world!'); return 0;
}

好了,现在代码就能够正常运行了,我想大家也应该清楚extern 'C'的作用了。


    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多