C++函数知识概要总结(三)

关于调试帮助

关于assert预处理宏

assert(experssion);
若表达式为假，assert输出信息并终止程序的执行，如果为真，assert什么也不做。

在头文件cassert中

int a = 5;
assert(a == 0);

并提示那行并且会结束程序。

关于NDEBUG预处理变量

注意：assert的行为依赖于一个名为NDEBUG的预处理变量的状态。

即如果定义了NDEBUG，则assert什么也不做，默认状态下没有定义NDEBUG，此时assert将执行运行时检查。
但是我定义了NDEBUG，assert还是会在运行时检查是个怎么回事。

CC -D NDEBUG main.cpp

等价于

#define NDBUG
void pp(int a){
#ifndef NDBUG
    cout << __func__ << endl; //可以输出当前调试的函数的名字。
#endif // NDBUG
 }

预处理器还定义了几个对程序调试很有用的名字：

#ifndef NDBUG … #endif ,这个语句当定义了NDBUG时会隐藏之中的语句。
#ifdef NDBUG … #endif 与上面的情况相反，没定义NDBUG时会隐藏
我觉得第二种用着不香吗，为啥要逆向的使用第一种。

关于函数匹配

确定候选函数和可行函数

第一步，选定本次调用对应的重载函数集。集合中的函数称为候选函数。有两个特征：同名，调用点可见
第二步，考察调用提供的实参，新选出的函数称为可行函数，数量相等，类型可转换。
第三步，寻找最佳匹配，基本思想是，实参类型于形参类型越接近，匹配的越好
最佳匹配需满足下列所有条件：

该函数每个实参的匹配都不劣于其他可行函数需要的匹配
该函数至少有一个实参的匹配优于其他可行函数提供的匹配
如果检查之后，没有函数脱颖而出，那么编译器会报告二义性调用的信息。

关于实参类型转换

等级排序
1、精准匹配，上述的三步走。
2、通过const转换实现的匹配
3、通过类型提升实现的匹配
4、通过算术类型转换实现的匹配
5、通过类类型转换实现的匹配

需要类型提升和算术类型转换的匹配

两个例子就行

void ff(int);
void ff(short);
ff('a');

‘a’类型会直接提升至int型的，所以直接匹配ff(int);

void pp(long);
void pp(float);
pp(3.14); //错误

二义性调用，因为3.14是double既能转换成long也能转换成float；

关于函数指针

bool (*pf)(cosnt string);函数指针
bool *pf(cosnt stiring);指针函数


int add(int a, int b){
    return a+b;
}
int main()
{
    int (*pf)(int a, int b);
    pf = add;
  //pf = &add;与上一条语句等价。
   // pf(1, 2)；
   // (*pf)(1, 2);
	add(1, 2);//这三者等价
}

当然也可以重载函数指针。

关于函数指针形参

举例说明

void usebigger(const string &s1, bool (*pf)(const string &, const string &)); //显示地将形参定义成指向函数的指针
void usebigger(const string &s1, bool pf(const string &, const string &)); //这里会自动转换成指向函数的指针

/*

可以用decltype简化

typedef bool Func(cosnt string &, const string &);
typedef decltype(lens) Func2;

//函数等价类型

typedef bool (*Fun2)(cosnt string &, const string &);
typedef decltype(lens) *Fun1;  //指针等价类型
*/


void useBigger(const string&, const string&, Func);
void useBigger(const string&, const string&, Func2);//两式等价

返回指向函数的指针

和数组类似。

using F = int(int *, int ); //F是一个函数类型
using PF = int(*) (int *, int ); //PF是指针类型

返回类型不会自动地转换成指针，必须指明返回的是指针。

PF f1(int); //正确
F f1(int); //错误。 F是函数类型
F *f1(int); // 正确
int (*f1(int))(int *, int); //正确
auto f1(int) -> int (*)(int*, int);//正确

跟返回数组指针基本一样，只有在末尾处可以辨别是数组指针还是函数指针。

当我们明确的知道要返回的函数是哪一个，就可以使用decltype简化书写函数指针返回类型的过程。

int sum(int a, int b);
int add(int a, int b);
decltype(add) *gersum(int a);

再注意一下就是decltype作用于函数时，它的返回值是函数类型而不是指针类型，这点跟数组的情况也是非常相似。

来个小测试

using f=int(*)(int, int);
typedef int (*f1)(int, int);
//CC -D NDEBUG main.cpp
int add(int a, int b){
	    return a+b;
}
int sub(int a, int b){
return a-b;
}
typedef decltype(add) *f2;
int main()
{
vector<f>v;
v.push_back(add);
v.push_back(sub);
int a, b;
cin >> a >> b;
for(auto c : v){
    cout << c(a, b) << endl;
}
}