inline, 默认参数，函数占位符，函数重载

inline专题

C++中的const常量可以替代宏常数定义，如：

const int A = 3;
#define A 3

C++中是否有解决方案替代宏代码片段呢？（替代宏代码片段就可以避免宏的副作用！）
C++中推荐使用内联函数替代宏代码片段，C++中使用inline关键字声明内联函数。需要注意的是：
内联函数声明时inline关键字必须和函数定义结合在一起，否则编译器会直接忽略内联请求。

#include "iostream"

using namespace std;

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

inline int myfunc(int a, int b)
{ //内联函数没有声明，因为inline关键字必须和函数定义结合在一起才有效
    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);

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

注意

1. C++编译器可以将一个函数进行内联编译，被C++编译器内联编译的函数叫做内联函数。
2. 内联函数在最终生成的代码中是没有定义的，C++编译器直接将函数体插入函数调用的地方，因此，内联函数没有普通函数调用时的额外开销(压栈，跳转，返回)。
3. c++编译器不一定准许函数的内联请求!
4. 内联函数是一种特殊的函数，具有普通函数的特征（参数检查，返回类型等）。内联函数是对编译器的一种请求，因此编译器可能拒绝这种请求。内联函数由编译器处理，直接将编译后的函数体插入调用的地方。宏代码片段由预处理器处理，进行简单的文本替换，没有任何编译过程。
5. 现代C++编译器能够进行编译优化，因此一些函数即使没有inline声明，也可能被编译器内联编译。另外，一些现代C++编译器提供了扩展语法，能够对函数进行强制内联如：g++中的__attribute__((always_inline))属性。
6. C++中内联编译的限制：
   
   • 不能存在任何形式的循环语句
   • 不能存在过多的条件判断语句
   • 函数体不能过于庞大
   • 不能对函数进行取址操作
   • 函数内联声明必须在调用语句之前
7. 编译器对于内联函数的限制并不是绝对的，内联函数相对于普通函数的优势只是省去了函数调用时压栈，跳转和返回的开销。因此，当函数体的执行开销远大于压栈，跳转和返回所用的开销时，那么内联将无意义。

结论

1. 内联函数在编译时直接将函数体插入函数调用的地方
2. inline只是一种请求，编译器不一定允许这种请求
3. 内联函数省去了普通函数调用时压栈，跳转和返回的开销

默认参数

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

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

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

int myPrint(int a = 0, int b = 1, int c = 2, int d = 3)
{
    return 0;
}
int main(int argc, char *argv[])
{
    myPrint();
    myPrint(1);

    system("pause");
    return 0;
}

函数占位参数

函数占位参数

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

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

int main01(int argc, char *argv[])
{
    printf("func(1, 2, 3) = %d\n", func(1, 2, 3));//3必须得写
    getchar();  
    return 0;
}

默认参数和占位参数

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

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

int main(int argc, char *argv[])
{
    printf("func(10, 20) = %d\n", func(10, 20));//第三个参数可以不写

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

函数重载

函数重载基础

函数重载(Function Overload)
* 用同一个函数名定义不同的函数
* 当函数名和不同的参数搭配时函数的含义不同

int func(int x)
{
    return x;
}

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

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

int main(int argc, char *argv[])
{
    int c = 0;

    c = func(1);

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

    c = func(1, 2);

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

    c = func("12345");

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

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

结论:

函数重载至少满足下面的一个条件：
* 参数个数不同
* 参数类型不同
* 参数顺序不同

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

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

int func(int a, int b)
{
    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 argc, char *argv[])
{
    int c = 0;
    PFUNC p = func;
    c = p(1);

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

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