C++对C的扩充(二)

4函数的重载

在之前用到了插入运算符<<和提取运算符>>。这两个运算符本来是左移运算符和右移运算符,现在把它作为输入输出运算符。即允许一个运算符用于不同场合，有不同的含义,这就叫运算符的“重载”(overloading),即重新赋予它新的含义。其实就是“一物多用”。

函数也可以重载。用C语言编程时,有时会发现有几个不同名的函数,实现的是同一类的操作。例如要求从3个数中找出其中最大者,而这3个数的类型事先不确定,可以是整数、实数或长整数。程序设计者必须分别设计出3个函数,其原型为:

int max1(int a,int b, int c); (求3个整数中的最大者)

float max2(float a, float b, float c); (求3个实数中的最大者)

long max3(long a , long b,long c) ; (求3个长整数中的最大者)

C语言规定在同一作用域(如同一文件模块中)中不能有同名的函数,因此3个函数的名字不相同。

C++允许在同一作用域中用同一函数名定义多个函数,这些函数的参数个数和参数类型不同。这就是函数的重载,即一个函数名多用。

对上面的问题可以编写如下的C++程序。

例14.3 求3个数中最大的数(分别考虑整数、实数、长整数的情况)。

# include <iostream.h>

int max (int a, int b,int c) //求3个整数中的最大者

{ if(b>a) a=b;

if(c>a) a=c;

return a;}

float max (float a,float b, float c)   //求3个实数中的最大者

{if(b>a)a=b;

if(c>a)a=c;

return a;}

long max(long a,long b,long c) //求3个长整数中的最大者

{if(b>a)a=b;

if(c>a) a=c;

return a; }

void main()

{int a,b,c; float d,e,f ; long g,h,i;

cin>>a>>b>>c;cin>>d>>e>>f;cin>>g>>h>>i

int m;

m= max(a,b,c); //函数值为整型

cout <<"max_i="<<m<<endI;

float n;

n=max(d,e,f); //函数值为实型

cout<<"max_f="<<n<<endl;

long int p;

P=max(g,h,i); //函数值为长整型

cout<<"max-l="<<p<<endl;

}

运行情况如下:

8  5  -6↙

56.9  90.765  43.1↙

67543 -567 78123↙

Max_i=8 (3个整数的最大值)

max_f=90.765 (3个实数的最大值)

max_1=78123 (3个长整数的最大值)

main 函数 3次调用max函数，每次实参的类型不同。系统会根据实参的类型找到与之匹配的函数，然后调用该函数。

上例3个max函数的参数个数相同而类型不同。参数个数也可以不同,见下例。

例14.4 求n个整数中的最大数。n的值为2和3。

#include <iostream.h>

int max(int a, int b , int c) //求3个整数中的最大者

{if (b>a) a=b;

if (c>a) a=c;

return a; }

int max(int a , int b) //求两个整数中的最大者

{ if (a>b) return a;

else return b; }

void main( )

{inta=7,b=-4.c=9;

cout<<max(a.b,c)<<endl; //输出3个整数中的最大者

cout<<max(a ,b)<<endl; //输出两个整数中的最大者

}

运行情况如下:

9

7

两次调用max函数的参数个数不同,系统会根据参数的个数找到与之匹配的函数并调用它。

参数的个数和类型可以都不同。应当注意:重载函数的参数个数或类型必须至少有一者不同，函数返回值类型可以相同也可以不同。但不允许参数个数和类型都相同而只有返回值类型不同,因为系统无法从函数的调用形式上判断哪一个函数与之匹配。

8 作用域运算符

每一个变量都有其有效的作用域,只能在变量的作用域内使用该变量,不能直接使用其他作用域中的变量。例如:

# include <iostream.h>

float a=13.5;

void main( )

{int a=5; 

cout<<a;

}

程序中有两个a变量:一个是全局变量a,实型;另一个是main函数中的整型变量a，它是在main函数中有效的局部变量。根据规定,在main函数中局部变量将屏蔽全局变量.因此用cout输出的将是局部变量a的值5,而不是实型变量的值13.5。如果想输出全局实型变量的值,有什么办法呢?C++提供作用域运算符∷:,它能指定所需要的作用域。可以把main函数改为;

void main( )

{int a=5;

cout<<<<endl;

cout<<::a<<endl;

}

运行时输出:

5 (局部变量a的值)

13.5 (全局变量a的值)

::a 表示全局作用域中的变量a。请注意:不能用:访问函数中的局部变量。

9 动态分配/撤销内存的运算符new 和 delete

在软件开发中,常常需要动态地分配和撤销内存空间。已知C语言中是利用库函数 malloc 和free分配和撤销内存空间的。但是使用malloc函数时必须指定需要开辟的内存空间的大小。其调用形式为malloc(size)。size是字节数，需要人们事先求出或用sizeof运算符由系统求出。此外,malloc函数只能从用户处知道应开辟空间的大小而不知道数据的类型,因此无法使其返回的指针指向具体的数据。其返回值一律为void*类型，必须在程序中进行强制类型转换,才能使其返回的指针指向具体的数据。 

C++提供了较简便而功能较强的运算符new和delete 来取代malloc 和free函数((为了与C语言兼容,仍保留这两个函数)。例如:

new int ; (开辟一个存放整数的空间,返回一个指向整型数据的指针)

new int(100); (开辟一个存放整数的空间,并指定该整数的初值为100)

new char[10]; (开辟一个存放字符数组的空间,该数组有10个元素，返回一

个指向字符数据的指针)

new int[5][4]; (开辟一个存放二维整型数组的空间，该数组大小为5*4)

float * p=new float(3.14159) (开辟一个存放实数的空间,并指定该实数的初值为3.14159,

将返回的指向实型数据的指针赋给指针变量p)

new 运算符使用的一般格式为

new 类型[初值]

用new分配数组空间时不能指定初值。

delete 运算符使用的一般格式为

delete[]指针变量

例如要撤销上面用new开辟的存放实数的空间(上面第5个例子),应该用

delete p;

前面用new char[10]开辟的空间,如果把返回的指针赋给了指针变量pt,则应该用以下形式的delete运算符撤销:

delete []pt; (在指针变量前面加一对方括号,表示对数组空间的操作)

例14.10 开辟空间以存放一个结构体变量。

#include <string.h>

struct Student

{char name[10];

int num ;

char sex;

};

void main ( )

{

Student *p;

p=new Student;

strcpy(p->name," Wang Fun");

p->num=10123;

p->sex='M';

delete p;

}

先声明了一个结构体类型Student,定义一个指向它的指针变量p,用new开辟一段空间以存放一个Student类型的变量，空间的大小由系统根据Student自动算出，不必用户指定。执行new返回一个指向Student类型数据的指针,存放在p中。然后对各成员赋值(通过指针变量p访问结构体变量),最后用delete 撤销该空间。

如果由于内存不足等原因而无法正常分配空间,则new会返回一个空指针 NULL，用户可以根据该指针的值判断分配空间是否成功。

注意:new和delete 是运算符,不是函数,因此执行效率高。malloc 要和free函数配合使用,new 和delete 配合使用。不要混合使用(例如用malloc函数分配空间，用delete撤销)。