关于调试帮助
关于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;
}
}