关闭

C++重载函数分析

标签: C++重载函数函数重载
165人阅读 评论(0) 收藏 举报
分类:

    C++重载函数的定义:同一作用域的多个函数,如果具有相同函数名而同时具有不同的形参列表,它们可以称为重载函数。

1 重载函数黑体关键词解析

1.1 相同函数名

        1)重载函数也是函数,所以需要函数名;函数名只是为了帮助编译器判断调用的是哪个函数而已。

        2)相同函数名正是重载函数引入的目的,对于一系列类似的操作省去为函数起名和记住函数名的麻烦,简化了程序实现,且使程序更容易理解。

1.2 同一作用域

    重载函数必须在同一作用域的原因是:C++有局部声明屏蔽全局声明的特性。这样如果在局部作用域有一个与外层作用域的重载函数同名的函数,该函数将屏蔽那些外层的重载函数。

例子如下:

void func(const string &);
void func(const double); //重载func

void f(int ival){
void func(int); //局部声明
func(”hello“);//error:因为func(const string &)被屏蔽了
func(ival); //ok:局部的func(int)可见
func(1.5);//ok:尽管全局重载函数func(const double)被屏蔽,但是可调用局部func(int),调用时实参1.5隐式转化为int型
}
但是如果将局部声明拿到函数外,位于同一作用域后,重载函数ok。
void func(const string &);
void func(const double); //重载func
void func(int); //重载func

void f(int ival)
{
   func(”hello“);//ok:调用func(const string &)
   func(ival); //ok:调用func(int)
   func(1.5);//ok:调用func(const double)
}


1.3 不同形参列表

     代码经过编译后会生成符号(symbol)表,函数调用是通过符号表中函数符号名来实现的(注意:函数名不同于函数符号名)。 C++中的函数符号名由函数名形参列表共同决定(函数符号名与函数返回值没有任何关系),形参列表包括形参个数和形参类型

    重载函数正是利用C++函数符号名这种特性来实现的,这样相同函数名如果使用不同形参列表,会生成不同函数符号名不会出现重复定义的问题)。

   判断不同形参列表时注意事项(注意下面people是类):

(1)形参名仅是帮助文档,不会影响形参列表

void func(const people &a); //形参名a
void func(people &);

(2)typedef仅提供别名,不会创建新的类型

typedef people p //p是people的别名
void func(const people &);
void func(const p &);


(3)调用带默认实参函数时,编译器可以忽略默认实参(这意味着用户可以给定实参也可以不给定),默认实参不影响参数个数

void func(const people1 &, const people2 &);
void func(const people1 &, const people2 & = ”“); //没有改变参数个数

(4)const形参

     a)对于函数值传递形参场合,const与非const是等价的形参;

void func(people1,people2);
void func(const people1, const people2);

     b)对于函数引用传递形参场合,const与非const是不同的形参;

void func(people &);
void func(const people &); //新函数,是func的重载函数

const people a(1,2);
people b;

func(a);//调用func(const people &)
func(b);//调用func(people &)

     c)对于函数指针传递形参场合,指向const对象与指向非const对象是不同的形参;

        注意:基于指针本身是否为const不能实现函数重载

void func(int *);
void func(int * const); //属于重复声明


2 重载函数的函数匹配与实参类型转换

    匹配的结果有3种可能

   1)编译器找到最佳匹配函数,生成调用函数代码;

   2)编译器找不到匹配函数,编译出错;

   3)找到多个匹配函数,但是没有一个是最佳匹配函数,调用具有二义性;


2.1 重载函数匹配3个步骤

void func();
void func(int);
void func(int, int);
void func(double, double = 1.2);

func(1.35); //调用func(double, double = 1.2)

1)查找候选函数

    与被调用函数同名的函数都可以称为候选函数。上面例子中候选函数有4个。

2)确定可行函数

    可行函数需要满足2个条件:

    a)被调函数实参与函数形参个数相同;

    b)被调函数实参与函数参数类型匹配,或者可以通过隐式转化为类型匹配  ;

3)决定最佳匹配

    最佳匹配原则:

    a)实参与形参类型精确匹配优于需要类型转化后的匹配

    b)多参数最佳匹配特点

       i)每个实参匹配不劣于其它可行函数;

      ii)至少有一个实参优于其它可行函数;

     func(1,1.5)调用分析:

    第一步候选函数:4个

    第二步:可行函数func(int,int)和func(double,double)

    第三步:最佳匹配,只看实参数1精确匹配func(int,int),再看实参2精确匹配的是func(double,double),2个函数形参优劣相当这样找不出最佳匹配,出现了”二义性“。

    解决二义性办法是显式强制类型转换,但是强制类型转换不是最好的,要避免;出现这样情况表明形参设计不合理。

func(static_cast<double>(1), 1.5)//调用func(double,double)
func(1, static_cast<int>(1.5)) //调用func(int,int)

2.2 实参类型转换

实参类型转换分为4级:

1)精确匹配,实参与形参类型一致

2)通过类型提升实现匹配;

3)通过标准转换实现匹配;

4)通过类类型转换实现匹配;

注意:

a)类型提升实现匹配优于标准转换实现的匹配

extern void func(long);
extern void func(float);

func(3.14); //造成二义性,因为都是使用标准转换,没有说哪个更优

b)较小整型提升为int型

extern void func(int);
extern void func(short);

func('c'); //char提升为int,匹配到函数func(int)

c)枚举对象只能用同类型枚举对象或者枚举成员初始化

enum Test {T1 = 1, T2 = 130};
extern void func(Test);
extern void func(int);

void main()
{
  Test test = T1;
  func(10);//调用func(int)
  func(T1); //调用func(Test)
  func(test);//调用func(Test)

  return 0;
} 

d)枚举值可以传递给整型形参,整型值不能传递给枚举形参

enum Test {T1 = 1, T2 = 130};
extern void func(int);
<pre name="code" class="cpp">extern void func(unsigned char);

unsigned char uchar = 130;
func(T2); //调用
func(uchar);//调用



3 参考资料

   C++ primer


 

1
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:178259次
    • 积分:3071
    • 等级:
    • 排名:第11271名
    • 原创:80篇
    • 转载:146篇
    • 译文:24篇
    • 评论:30条
    最新评论