11 - C++对C的函数扩展

inLine内联函数

C++中的const常量可以替代宏常数定义。const int A = 3;     ==    #define A 3

C++中推荐使用内联函数替代宏代码片段，C++中使用inline关键字声明内联函数。

内联函数声明时，inline关键字必须和函数定义结合在一起，否则编译器会直接忽略内联请求。

#include <iostream>

using namespace std;

#define MYFUNC(a, b) ((a) < (b) ? (a) : (b))  

inline int myfunc(int a, int b) 
{
    return a < b ? a : b;
}

int main()
{
    int a = 1;
    int b = 3;
    //int c = myfunc(++a, b);  //头疼系统
    int c = MYFUNC(++a, b);  

    printf("a = %d\n", a); 
    printf("b = %d\n", b);
    printf("c = %d\n", c);

    system("pause");
    return 0;
}

内联函数在最终生成的代码中是没有定义的，C++编译器直接将函数体插入在函数调用的地方。内联函数没有普通函数调用时的额外开销（压栈，跳转，返回）。

C++编译器不一定准许函数的内联请求，内联函数是对编译器的一种请求，因此编译器可能拒绝这种请求。

内联函数是一种特殊的函数，具有普通函数的特征，内联函数由编译器处理，直接将编译后的函数体插入调用的地方。宏代码片段由预处理器处理，进行简单的文本替换，没有任何编译过程。

现代C++编译器能够进行编译优化，因此一些函数即使没有使用inline声明，也可能被编译器内联编译。

C++中的内联编译不能存在任何形式的循环语句，不能存在过多的条件判断语句，函数体不能过于庞大，不能对函数进行取地址操作，函数内联声明必须在调用语句之前。

编译器对于内联函数的限制并不是绝对的，内联函数相对于普通函数的优势只是省去了函数调用时的压栈，跳转和返回的开销，因此，当函数体的执行开销大于压栈，跳转和返回的开销时，那么内联将毫无意义。

 

默认参数

C++中可以在函数声明时，为参数提供一个默认值，当函数调用时没有指定这个参数的值，编译器会自动用默认值代替。

void myPrint(int x = 3)
{
    printf("x:%d", x);
}

函数默认参数只有在参数列表后面部分的参数才可以提供默认参数值，一旦在一个函数中开始使用默认参数值，那么这个参数后面的所有参数都必须使用默认参数值。

//默认参数
void printAB(int x = 3)
{
    printf("x:%d\n", x);
}

//在默认参数规则 ，如果默认参数出现，那么右边的都必须有默认参数
void printABC(int a, int b, int x = 3, int y=4, int z = 5)
{
    printf("x:%d\n", x);
}

int main(int argc, char *argv[])
{
    printAB(2);
    printAB();
    system("pause");
    return 0;
}

 

函数占位参数

函数占位参数只有参数类型声明，而没有参数名声明。一般情况下，在函数体内部无法使用占位参数。

int func(int a, int b, int ) 
{
    return a + b;
}

int main()
{
    printf("func(1, 2, 3) = %d\n", func(1, 2, 3));

    getchar();	
    return 0;
}

 

默认参数和占位参数

可以将占位参数与默认参数结合起来使用，为以后程序的扩展留下线索。兼容C语言程序中可能出现的不规范写法。

C++可以声明占位符参数，占位符参数一般用于程序扩展和对C代码的兼容。

int func2(int a, int b, int = 0)
{
    return a + b;
}

void main()
{
    //如果默认参数和占位参数在一起，都能调用起来
    func2(1, 2);
    func2(1, 2, 3);
    system("pause");
}

 

函数重载

函数重载是用同一个函数名定义不同的函数，当函数名和不同的参数搭配时函数的含义不同。

函数重载至少要满足一个条件：参数个数不同、参数类型不同、参数顺序不同。

函数返回值不是函数重载的判断标准。

编译器调用函数重载时，会将所有的同名函数都作为候选者，常识寻找可行的候选函数，精确匹配实参。通过默认参数能够匹配实参，通过默认类型转换匹配实参。

如果最终寻找到的可行候选函数并不是唯一的，出现了二义性，则匹配失败，导致编译失败

如果无法匹配所有的候选者，则函数未定义，导致匹配失败。

重载函数在本质上是相互独立的不同函数（静态联编）。

函数重载遇上函数默认参数

//当函数默认参数遇上函数重载会发生什么

int func(int a, int b, int c = 0)
{
    return a * b * c;
}

int func(int a, int b)
{
    return a + b;
}

//1个参数的允许吗
int func(int a)
{
    return a + b;
}


int main()
{
    int c = 0;

    c = func(1, 2); // 存在二义性，调用失败，编译不能通过 

    printf("c = %d\n", c);

    printf("Press enter to continue ...");
    getchar();	
    return 0;
}

函数重载和函数指针结合

/*
函数重载与函数指针
    当使用重载函数名对函数指针进行赋值时
    根据重载规则挑选与函数指针参数列表一致的候选者
    严格匹配候选者的函数类型与函数指针的函数类型
*/

int func(int x) // int(int a)
{
    return x;
}

int func(int a, int b)
{
    return a + b;
}

int func(const char* s)
{
    return strlen(s);
}

typedef int(*PFUNC)(int a); // int(int a)

int main()
{
    int c = 0;
    PFUNC p = func;

    c = p(1);

    printf("c = %d\n", c);

    printf("Press enter to continue ...");
    getchar();	
    return 0;
}