所谓函数匹配,就是去从一个函数重载集合中调用一个想要调用的重载函数, 这种调用有三种可能性: ①C++在重载集中找到了所要调用的重载函数,既形参相匹配的那个函数 ②C++没有找到形参相匹配的函数,这时C++会报错 ③C++找到了多个相匹配的重载函数,这时C++也会报错,称之为二义性错误
下面通过一个小例子讲解一下重载确定的三个步骤: 1)候选函数(和所调用的函数的函数命名相同的那些函数就是候选函数) 2)选择可行参数(所调用的函数的实参数目要和候选函数中的形参数目对的上) 3)寻找最佳匹配(如果有的话)
#include<iostream>
#include<string>
#include<stdlib.h>
#include<vector>
using namespace std;
void d() { cout << "d()" << endl; }
void f() { cout << "f()" << endl; }//函数名相同的就是候选函数
void f(int a) { cout << "f(int a)" << endl; }
void f(int a, int b) { cout << "f(int a,int b)" << endl; }
void f(double a, double b=3.14) { cout << "f(double a,double b=3.14)" << endl; }//事先给b一个缺省值
void g(int a) { cout << "g(int a)" << endl; }
int main()
{
f(8);//这个调用就能明确匹配f(int a)
//两个可行函数,第一个会把5.6转换成int型,因此不是精确匹配,可见第二个是精确匹配
f(5.6);//这个调用所对应的可行函数就是f(int a),f(double a,double b=3.14)
//需要注意的是,这里第二个形参b有缺省值才能匹配,如果没有给缺省值就无法匹配
f(42, 2.56);//该调用有两个实参,因此有两个可行函数对的上,分别是f(int a, int b),f(double a, double b=3.14)
//但是对于第一个可行函数,2.56不是int型,因此不是最佳匹配
//对于第二个可行函数,42不是double型,也不是最佳匹配
//分析,C++会根据42去调用第一个,然后根据2.56去调用第二个,发现这俩都不是最佳的,就会报错
//为了解决以上二义性
f(static_cast<double>(42), 2.56);//将42整型事先强制转换成double型,就好了
//或者使用C语言中的强制转型
f((double)42, 5.6);
system("pause");
}
|