C++的那些事:函数全解析(二)

2014-11-24 12:17:38 · 作者: · 浏览: 6
nt func2(int);
int func2(const int); //对于普通非引用形参用cosnt修饰是没有意义的
复制代码
2)重载与作用域
局部声明的函数,将屏蔽所有全局作用的同名函数。下面例子显示,即使全局作用的函数更加匹配调用的实参类型,但是仍然调用的是局部的函数。
复制代码
void print(int);
int main()
{
void print(double);
print(42);
return 0;
}
复制代码
上面程序中,将调用void print(double)函数,虽然42是int型。
3)重载确定的三个步骤
如果定义了众多的函数重载,将存在函数调用到底与哪个重载函数相匹配的问题。我们通过下面的示例代码来说明问题:
void f(); // 1
void f(int);// 2
void f(double);// 3
void f(int, int);// 4
void f(double, double);// 5
第一步:确定候选函数
假如我们调用f(4.2),那么先找到同名函数,并且在作用域内可见,上面例子中5个函数都满足。
第二步:选择可行的函数
必须满足2个条件:一是函数形参与该调用实参个数相同;第二,每个实参的类型必须与对应的类型匹配,或者可以被隐式转换为对应的形参类型。这里我们再调用f(4.2)时,排除了1、4、5号函数,只剩下2与3。其中2号函数可以通过类型转换来满足。
第三步:寻找最佳匹配
在经过第二步确定后,剩下2与3函数,那么2需要进行类型转换,显然3是最佳匹配了。
但是如果这样调用f(42,4.2)。这时候就会出现二义性,编译器将提示。
还有一种要注意的就是有默认参数的函数,比如我们定义6号函数为void f(double,int =1);那么在调用f(4.2)时就会有二义性。
可基于函数的引用形参是指向const对象还是指向非const对象实现函数重载。
bool isLonger(const string &s1, const string &s2)
{
return s1.size() > s2.size();
}
四、函数指针
1,如何定义一个指针为函数类型?我们知道一个函数的类型是由它的返回类型和形参类型共同决定,而与函数名无关。所以在定义一个指向函数的指针,必须包含形参表与返回值这些信息。
下面来看一个比较两个字符串长度的函数:
bool lengthCompare(const string&, const string&);
那么这个函数的类型即bool(const string&, const string&) 。如果要想定义一具指向这种类型函数的指针,则可以如下定义:
bool (*pf) (const string&, const string&);
注意上式中*pf外面的括号不可以省略,不然pf就成了一个函数的定义,这个函数返回一个指向bool类型的指针。
2,当我们把函数名作为一个值使用时,该函数自动地转换成指针,所以我们可以这样对函数指针pf初始化。
pf = lengthCompare;
pf = &lengthCompare;
上面两种方法是等价的。
那么在使用函数指针时,我们可以解引用,也可以不解引用。
bool b1 = pf("hello","goodbye");
bool b2 = (*pf)("hello","goodbye");
3,在给函数指针赋值的时候,一定要注意函数类型的完全匹配,但是我们可以给指向任意函数类型的指针赋一个nullptr或值为0的整型常量表达式,表示该指针没有指向任何一个函数。
4,如果定义了指向重载函数的指针,在使用这个指针时并不是根据形参来确定所调用的函数,而是根据指针的具体函数类型。即,编译器根据指针类型决定选用哪个函数,指针类型必须与重载函数中的某一个精确匹配。
复制代码
void ff(int*);
void ff(int);
void ff(unsigned int);
void (*pf)(unsigned int) = ff; // pf指向ffunsigned int)
int num = 42;
pf(num); // num将转换为unsigned类型
复制代码
5,函数指针作为另一个函数的形参。
有的时候,我们需要将一个函数作为一个参数传递给别一个参数,比如定义一个函数用来返回两个对象中较大的那个,那么我们需要将一个比较函数作为参数传递。
const string& BigString(const string& s1, const string& s2, bool pf(const string& ,const string&));
const string& BigString(const string& s1, const string& s2, bool (*pf)(const string& ,const string&));
上面定义的函数原型显得有点冗长,我们可以定义函数类型,来简化上面的代码:
// 定义函数类型
typedef bool Func(const string&, const string&);
typedef decltype(lengthCompare) Func;
// 定义指针类型
typedef bool (*Func)(const string&, const string&);
typedef decltype(lengthCompare)* Func;
有了上面的定义,我们就可以简单BigString的定义了:
const string& BigString(const string& ,const string, Func);
6,函数返回值为一个函数指针。
我们知道,函数并不能返回一个函数,但是可以返回一个指向函数的指针。
最简单的方法,我们用类型别名定义一种函数类型:
using F = int(int*,int); // F是一个返回int,接受一个指向int类型的指针和一个int类型,F是一种函数类型
using PF = int(*) (int*, int); // PF是一个函数指针类型
下面我们来定义返回函数指针的函数:
PF f(int); // f是一个函数,它返回一个函数指针
F f(int); // 错误:F是一个函数类型
F* f(int); // OK
当然我们也可以直接定义f:
int (*f(int)) (int*,int);
由内向外观察:首先f有一个形参表(int),所以f是一个函数,然后f的的左边有一个*,说明f返回的是一个指针。进一步发现,指针的类型本身也包含形参表,因此指针指向函数,该函数的返回类型是int。