C/C++语言新增“函数重载”功能简单介绍和使用方法

“函数重载”指的是可以有多个同名的函数，因此 名称进行了重载。这两个术语指的是同一回事，但我们通常使用函数重载。可以通过函数重载来设计• 系列函数——它们完成相同的工作，但使用不同的参数列表。

重载函数就像是有多种含义的动词。例如， Piggy 小姐可以在棒球场为家乡球队助威（ root ） , 也可以在地里种植（ root ）菌类作物。根据上下文可以知道在每一种情况下， root 的含义是什么。同样， C++ 使用上下文来确定要使用的重载函数版本。

函数重载的关键是函数的参数列表 ——也称为函数特征标 (ftmction signature). 如果两个函数的参数数目和类型相同，同时参数的排列顺序也相同，则它们的特征标相同，而变量名是无关紧要的。 C++ 允定义名称相同的函数，条件是它们的特征标不同。如果参数数目和 / 或参数类型不同，则特征标也不同。例如，可以定义一组原型如下的 print() 函数：

Void print(const char * str, int width) ； // #1
Void print(double d, int width)；   // #2
Void print(long 1, int width)；    // #3 
Void print(int i, int width);     // #4 frombyte
Void print(const char *str)；     // #5

使用 pnnt() 函数时，编译器将根据所采取的用法使用有相应特征标的原型 :

print(” Pancakes", 15);   //use #1
print(” syrup");    //use #2
print(” 1999.0,10");    //use #3
print(” 1999,12");    //use #4
print(” 1999L,15");    //use #5 frombyte.com

 

例如， print( “ Pancakes ”， 15) 使用一个字符串和一个整数作为参数，这与 #1 原型匹配。 ， 使用被 重载的函数时，需要在函数调用中使用正确的参数类型。例如，对于下面的语句 :

Unsigned int year =3210；
print (year, 6);   // ambiguous call

Print （） 调用与哪个原型匹配呢？它不与任阿原型匹配！没有 匹配的圆形并不会自 动停止使用其中的某 个函数， 因为 C++ 将尝试使用标准类型转换强制进行匹配。如果 #2 原型是 print() 唯一的原型，则函数调用 print(year ， 6) 将把 year 转换为 double 类型。但在上面的代码中，有 3 个将数字作为第一个参数的原型，因 此有 3 种 转换 year 的方式。在这种情况下， C++ 将拒绝这种函数调用，并将其视为错误。

一些 看起来彼此不同的特征标是不能共存的。例如，请看下面的两个原型：

duble cube (double x)；
duble cube (double & x)；

您可 能认为可以在 此 处使用函数重 载 , 因为它们的特征标看起来不同。然而，请从编译器的角度来 考虑这个问 题。假设有下面这样的代码：

cout
.<< cube(x);

参数 X 与 double x 原型和 double &x 原型都匹配，因此编译器无法确定究竟应使用哪个原型。为避免 这种混乱， 编译器在检査函数特征标时，将把类型引用和类型本身视为同一个特征标。 匹配 函数时，并不区分 const 和非 const 变量。请看下面的原型：

Void dribble(char * bits)；
Void dribble (const char *cbits)；
Void dabble(char * bits);
Void drivel(const char * bits)；

下面 列出了各种函数调用对应的原型 :

Const char p1[20]="How’s the weather?";
Char p2[20]="How's business?"；
Dribble(p1);  // dribble(const char *); 
Dribble(p2);  // dribble(char *)；
Dabble(p1);  // no match 
Dabble(p2);  // dabble(char *);
Drivel(p1);  // drivel(const char *)；frombyte.com 
Drivel(p2);  // drivel(const char *);

drib ble() 函数有两个原型，一个用于 const 指针，另一个用于常规指针，编译器将根据实参是否为 const 来决定使 用哪个原型。 dribble() 函数只与带非 const 参数的调用匹配，而 drivel() 函数可以与带 const 或非 const 参数的调用匹配。 drivel ◦和 dabble() 之所以在行为上有这种差别，主要是由于将非 const 值赋给 const 变量是合法的，但反之则是非法的。

请记住，是特征标，而不是函数类型使得可以对函数进行重载。例如，下面的两个声明是互斥的：

long gronk(int n, float m)； // same signatures,
double gronk(int n, float m)； // hence not allowed

因此， C++ 不允许以这种方式重载 gronk() 。返回类型可以不同，但特征标也必须不同：

long gronk(int n; float m)； // different signatures,
double gronk(float n# float m)； // hence allowed

 

来自 “ ITPUB博客 ” ，链接：http://blog.itpub.net/31380569/viewspace-2641195/，如需转载，请注明出处，否则将追究法律责任。

转载于:http://blog.itpub.net/31380569/viewspace-2641195/