天天看点

高质量程序设计指南c++/c语言(32)--函数重载

出现在相同作用域中的两个函数,如果具有相同的名字而形参表不同,则称为函数重载。

任何程序都仅有一个main函数,main函数不能重载。

函数重载和重复声明的区别,如果两个同名函数声明的返回类型和形参表完全相同,则将第二个函数声明视为第一个的重复声明,一个函数声明多次是合法的,如:

void printValues(int i);
void printValues(int i);      

如果两个函数的形参表完全相同,但返回类型不同,则第二个声明是错误的,如:

void printValues(int i);
int printValues(int i);       

有些看起来不同的形参表本质上是相同的,如:

// each pair declares  the same function
Record lookup(const Account &);
Record lookup(const Account &acct);  //parameter names are ignored

typedef Phone Telno;
Record lookup(const Phone &);
Record lookup(const Telno &);    // Telno and Phone are the same type

Record lookup(const Phone &, const Name &);
Record lookup(const Phone &, const Name & = "hello");    // default argument does not change the number of parameters

Record lookup(Phone);
Record lookup(const Phone);    // const is not irrevelant fot nonreference parameters      

值得注意的是,形参与const形参的等价性仅适用于非引用形参。如果有const引用形参的函数与有非const引用形参的函数是不同的,指针与引用的情况相同。

1、重载与作用域

考虑下面的代码:

void print(const string &);
void print(double);

int main(void)
{
    void print(int); //new scope: hides previous print
    print("hello");
    print(10);     //ok: print(int) is visible
    print(3.14);   //ok: calls print(int)

    return 0;
}      

调用print时,编译器首先检查这个名字的声明,找到只有一个int型形参的print函数的局部声明。一旦找到这个名字,编译器将不再继续检查这个名字是否在外层作用域中存在,即编译器将认同找到的这个声明是程序需要调用的函数。余下的工作只是检查该名字的使用是否有效。在c++中,名字查找发生在参数类型检查之前。

2、实参类型转换

2.1 整数提升

void ff(int);
 void ff(short);
 ff('a'); //char promotes to int, so matches  ff(int)      

2.2 参数匹配和枚举类型

#include<iostream>
using namespace std;

enum Tokens { INLINE = 128, VIRTUAL = 129};
void ff(Tokens);
void ff(int);

int main(void)
{
    Tokens curTok  = INLINE;
    ff(128);     //exactly matches ff(int)
    ff(INLINE);  //exactly matches ff(Tokens)
    ff(curTok);  //exactly matches ff(Tokens)

    return 0;
}      

2.3 const形参与函数重载

可基于函数的引用形参是指向const对象还是非const对象,实现函数的重载,指针与引用的情况相同。

//函数重载
void f(int *);
void f(const int *);

//重复声明
void f(int *);
void f(int * const);      

转载于:https://www.cnblogs.com/zzj3/archive/2013/05/13/3075216.html