C++ 函数的重载 ,重写,隐藏

本文详细介绍了C++中的函数重载、覆盖和隐藏的概念及应用,强调了重载不能依靠返回类型区分,而是依赖参数。讲解了C++如何调用C函数时使用extern "C"的机制,以及C++中内联函数、缺省参数、运算符重载的使用。此外,还探讨了内联函数与宏的区别,以及如何避免内联可能导致的代码膨胀问题。
摘要由CSDN通过智能技术生成

C++函数的高级特征

      重载(overloaded)、内联(inline)、const 和virtual是C++独有而C不具有的四种机制。其中重载和内联机制既可用于全局函数也可用于类的成员函数,const 与virtual机制仅用于类的成员函数。重载和内联是一把双刃剑,用的好可以提高效率,精简程序;而一味滥用也会影响程序的效果。这里根据笔试面试中常碰到的问题,探究一下重载和内联的优点与局限性,说明应该不应该使用的场景。

1 函数重载

      1.1 重载的定义和意义

      在C++程序中,可以将语义、功能相似的几个函数用同一个名字表示,即函数重载,如下程序所示。但它们互相之间参数不同,这样便于记忆,提高了函数的易用性,这是C++语言采用重载机制的一个理由。 C++语言采用重载机制的另一个理由是:类的构造函数需要重载机制。因为C++规定构造函数与类同名,构造函数只能有一个名字,但有时候我们需要几种方法构造对象。

[cpp]  view plain copy
  1. void Eat(Beef …);     // 吃牛肉  
  2. void Eat(Fish …);     // 吃鱼肉  
  3. void Eat(Chicken …);  // 吃鸡肉  

      1.2 重载的实现方法

      只能靠参数而不能靠返回值类型的不同来区分重载函数。编译器根据参数为每个重载函数产生不同的内部标识符。例如编译器为上节中的三个Eat函数产生象_eat_beef、eat_fish、_eat_chicken之类的内部标识符(不同的编译器可能产生不同风格的内部标识符)。

      说到这里,要提到一个常见的笔试面试题了:如果C++程序要调用已经被编译后的C函数,该怎么办?

      C++程序不能直接调用已编译后的C函数的,这是因为名称问题,举个例,一个函数叫做void foo(int x, int y),该函数被C编译器编译后在库中的名字为_foo,而C++编译器则会产生像_foo_int_int之类的名字用来支持函数重载和类型安全连接,名称就不一样,因此不能直接调用的。那要调用的话怎么办呢?

      C++提供了一个C连接交换指定符号extern“C”来解决这个问题。

      例如:

[cpp]  view plain copy
  1. extern “C”  
  2. {   
  3. void foo(int x, int y);   
  4. // 其它函数  
  5. }   

或者写成

[cpp]  view plain copy
  1. extern “C”  
  2. {   
  3. #include “myheader.h”  
  4. // 其它C头文件  
  5. }   

      这就告诉C++编译译器,函数foo 是个C连接,应该到库中找名字_foo而不是找_foo_int_int。C++编译器开发商已经对C标准库的头文件作了extern“C”处理,所以我们可以用#include 直接引用这些头文件。

      这里还需要注意一点:并不是两个函数的名字相同就能构成重载。全局函数和类的成员函数同名不算重载,因为函数的作用域不同。例如:

[cpp]  view plain copy
  1. void Print(…);  // 全局函数  
  2. class A   
  3. {…  
  4. void Print(…); // 成员函数  
  5. }   

  补充:还有个类似的编译器指令:

“#ifdef __cplusplus extern "C" { #endif”的定义

看一些程序的时候老是有
“#ifdef __cplusplus
extern "C" {
#endif”的定义,搞搞清楚是怎么回事:

Microsoft-Specific Predefined Macros
__cplusplus Defined for C++ programs only. 
意思是说,如果是C++程序,就使用
extern "C"{
而这个东东,是指在下面的函数不使用的C++的名字修饰,而是用C的

The following code shows a header file which can be used by C and C++

client applications:
// MyCFuncs.h
#ifdef __cplusplus
extern "C" { //only need to export C interface if
// used by C++ source code
#endif

__declspec( dllimport ) void MyCFunc();
__declspec( dllimport ) void AnotherCFunc();

#ifdef __cplusplus
}
#endif

当我们想从C++中调用C的库时,(注,驱动是用C写的,连new、delete也不能用,郁闷)不能仅仅说明 一个外部函数,因为调用C函数的编译代码和调用C++函数的编译代码是不同的。如果你仅说明一个外部函数, C++编译器假定它是

C++的函数编译成功了,但当你连接时会发现很可爱的错误。
解决的方法就是指定它为C函数: 
extern "c" 函数描述 
指定一群函数的话: 
extern "C"{ 
n个函数描述 

如果想C和C++混用的话: 
#ifdef _cplusplus 
extern "C"{ 
#endif 
n个函数描述 
#ifdef _cplusplus 

#endif

extern "C"表示编译生成的内部符号名使用C约定。

    C++支持函数重载,而C不支持,两者的编译规则也不一样。函数被C++编译后在符号库中的名字与C语言的不同。例如,假设某个函数的原型为: void foo( int x, int y ); 该函数被C编译器编译后在符号库中的名字可能为_foo,而C++编译器则会产生像_foo_int_int之类的名字(不同的编译器可能生成的名字不 同,但是都采用了相同的机制,生成的新名字称为“mangled name”)。_foo_int_int这样的名字包含了函数名、函数参数数量及类型信息,C++就是靠这种机制来实现函数重载的。下面以例子说明,如何 在C++中使用C的函数,

或者在C中使用C++的函数。
//C++引用C函数的例子
//test.c
#include <stdio.h>
void mytest()
{
printf("mytest in .c file ok\n");
}
//main.cpp
extern "C"
{
void mytest();
}
int main()
{
mytest();
return 0;
}

//在C中引用C++函数
在C中引用C++语言中的函数和变量时,C++的函数或变量要声明在extern "C"{}里,但是在C语言中不能使用extern "C",否则编译出错。
//test.cpp
#include <stdio.h>
extern "C"
{
void mytest()
{
printf("mytest in .cpp file ok\n");
}
}
//main.c
void mytest();
int main()
{
mytest();
return 0;
}
//综合使用
一般我们都将函数声明放在头文件,当我们的函数有可能被C或C++使用时,我们无法确定是否要将函数声明在extern "C"里,所以,我们应该添加
#ifdef __cplusplus
extern "C"
{
#endif
//函数声明
#ifdef __cplusplus
}
#endif
如果我们注意到,很多头文件都有这样的
用法,比如string.h,等等。
//test.h
#ifdef __cplusplus
#include <iostream>
using namespace std;
extern "C"
{
#endif
void mytest();
#ifdef __cplusplus
}
#endif
这样,可以将mytest()的实现放在.c或者.cpp文件中,可以在.c或者.cpp文件中include "test.h"后使用头文件里面的函数,而不会出现编译错误。
//test.c
#include "test.h"
void mytest()
{
#ifdef __cplusplus
cout << "cout mytest extern ok " << endl;
#else
printf("printf mytest extern ok n");
#endif
}
//main.cpp
#include "test.h"
int main()
{
mytest();
return 0;
}

extern "C" 的用意 
前些天,编程序是用到了很久以前写的C程序,想把里面的函数利用起来,连接发现出现了找不到具体函数的错误:

以下是假设旧的C程序库

C的头文件

/*-----------c.h--------------*/#ifndef _C_H_#define _C_H_extern int

add(int x, int y);#endif
C的源文件

/*-----------c.c--------------*/int add(int x, int y){ return x+y;}
C++的调用

/*-----------cpp.cpp--------------*/#include "c.h"void main(){ add

(1, 0);}
这样编译会产生错误cpp.obj : error LNK2001: unresolved external symbol "int __cdecl add(int,int)" (?add@@YAHHH@Z),原因是找不到add的目标模块这才令我想起C++重载的函数命名方式和C函数的命名方式,让我们回顾一下:C中函数编译 后命名会在函数名前加以"_",比如add函数编译成obj文件时的实际命名为_add,而c++命名则不同,为了实现函数重载同样的函数名add因参数 的不同会被编译成不同的名字

例如
int add(int , int)==>add@@YAHHH@Z,

float add(float , float )==>add@@YAMMM@Z,

以上是VC6的命名方式,不同的编译器会不同,总之不同的参数同样的函数名将编译成不同目标名,以便于函数重载是调用具体的函数。

编译cpp.cpp中编译器在cpp文件中发现add(1, 0);的调用而函数声明为extern int add(int x, int y);编译器就决定去找add@@YAHHH@Z,可惜他找不到,因为C的源文件把extern int add(int x, int y);编译成_add了;为了解决这个问题C++采用了extern "C",这就是我们的主题,想要利用以前的C程序库,那么你就要学会它,我们可以看以下标准头文件你会发现,很多头文件都有以下的结构

#ifndef __H#define __H#ifdef __cplusplusextern "C" {#endifextern int f1(int, int);extern int f2(int, int);extern int f3(int, int);

#ifdef __cplusplus}#endif#endif /*__H*/如果我们仿制该头文件可以得到

#ifndef _C_H_#define _C_H_#ifdef __cplusplusextern "C" {#endifextern

int add(int, int);#ifdef __cplusplus}#endif#endif /* _C_H_ */ 这样编译

/*-----------c.c--------------*/
int add(int x, int y){
return x+y;
}


这时源文件为*.c,__cplusplus没有被定义,extern "C" {}这时没有生效对于C他看到只是extern int add(int, int);add函数编译成_add(int, int);

而编译c++源文件

/*-----------cpp.cpp--------------*/
#include "c.h"
void main()
{
add(1, 0);
}
这时源文件为*.cpp,__cplusplus被定义,对于C++他看到的是extern "C" {extern int add(int, int);}编译器就会知道 add(1, 0);调用的C风格的函数,就会知道去c.obj中找_add(int, int)而不是add@@YAHHH@Z;这也就为什么DLL中常看见extern "C" {},windows是采用C语言编制他首先要考虑到C可以正确调用这些DLL,而用户可能会使用C++而extern "C" {}就会发生作用



      不论两个Print 函数的参数是否不同,如果类的某个成员函数要调用全局函数Print,为了与成员函数Print区别,全局函数被调用时应加‘::’标志。如

::Print(…); // 表示Print是全局函数而非成员函数

      1.3 小心隐式类型转换导致重载函数产生二义性

      隐式类型转换在很多地方可以简化程序的书写,但是也可能留下隐患。如下例:

[cpp]  view plain copy
  1. # include <iostream.h>   
  2. void output( int x);  // 函数声明  
  3. void output( float x); // 函数声明  
  4. void output( int x)   
  5. {   
  6. cout << " output int " << x << endl ;   
  7. }   
  8. void output( float x)   
  9. {   
  10. cout << " output float " << x << endl ;   
  11. }   
  12. void main(void)   
  13. {   
  14. int x = 1;   
  15. float y = 1.0;   
  16. output(x);     // output int 1   
  17. output(y);     // output float 1   
  18. output(1);     // output int 1   
  19. // output(0.5);    // error! ambiguous call, 因为自动类型转换  
  20. output(int(0.5)); // output int 0   
  21. output(float(0.5));  // output float 0.5   
  22. }   

      第一个output函数的参数是int类型,第二个output函数的参数是float类型。由于数字本身没有类型,将数字当作参数时将自动进行类型转换(称为隐式类型转换)。语句output(0.5)将产生编译错误,因为编译器不知道该将0.5转换成int还是float类型的参数。

6.2 关于成员函数的重载覆盖和隐藏

      成员函数的重载、覆盖(override)与隐藏很容易混淆,也是笔试面试中常爱被提到的问题。

      1)关于重载与覆盖

      成员函数被重载的特征:

            (1)相同的范围(在同一个类中);

            (2)函数名字相同;

            (3)参数不同;

            (4)virtual关键字可有可无。

             (5)返回值无所谓

      override是指派生类函数覆盖基类函数,特征是:

            (1)不同的范围(分别位于派生类与基类);

            (2)函数名字相同;

            (3)参数相同;

            (4)基类函数必须有virtual关键字。

            (5)返回值必须是相同或者为子类

      如下例中,函数Base::f(int)与Base::f(float)相互重载,而Base::g(void)被Derived::g(void)覆盖。

[cpp]  view plain copy
  1. #include <iostream.h>   
  2. class Base   
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值