C++：内联函数，auto关键字，nullptr

目录

一、内联函数

1.1概念 

1.2特性 

二、auto关键字 

2.1概念 

2.2auto的使用细则 

 3.auto不能推导的场景

三、 指针空值nullptr(C++11)

3.1 C++98中的指针空值 

---

一、内联函数

        调用函数时需要一定的时间和空间的开销。如图表示函数调用的过程：①程序 a 函数先执行函数调用之前的语句；②流程的控制转移到被调用函数的入口处，同时进行参数传递；③执行被调用函数中函数体的语句；④流程返回调用函数的下一条指令处，将函数返回值带回；⑤接着执行主调函数中未执行的语句。 

         如果有的函数需要频繁的使用，所用的时间会很长，从而降低程序的执行效率。有些实用程序是有要求的，要求系统的响应时间短。这就希望尽量压缩时间的开销。

1.1概念 

为了消除函数调用的时空 开销，C++提供了一种提高效率的方法，即在编译阶段将所调用函数的代码直接嵌入到主调函数中，而不是将流程转出去。这种嵌入到主调函数中的函数称为内置函数（ 内联函数）。

指定内置函数的方法只需在函数首行的左端加上一个关键字inline即可。

使用inline修饰函数前： 

 

使用inline修饰函数后： 

 

可见编译时C++编译器会在调用内联函数的地方展开，没有函数调用建立栈帧的开销，而是用函数体替换函数的调用。内联函数提升程序运行的效率。 

1.2特性 

 1. inline是一种以空间换时间的做法，如果编译器将函数当成内联函数处理，在编译阶段，会用函数体替换函数调用，缺陷：可能会使目标文件变大，优势：少了调用开销，提高程序运行效率。

 2. inline对于编译器而言只是一个建议，不同编译器关于inline实现机制可能不同，一般建议：将函数规模较小(即函数不是很长，具体没有准确的说法，取决于编译器内部实现)、不是递归、且频繁调用的函数采用inline修饰，否则编译器会忽略inline特性。

注意：对函数作inline声明，只是程序设计者对编译系统提出的一个建议，也就是说它是建议性的，不是指令性的。所以编译系统会根据情况决定是否这样做。 

3. inline不建议声明和定义分离，分离会导致链接错误。因为inline被展开，就没有函数地址了，链接就会找不到。（所以内联函数一般和主函数定义在一个源文件中）

// F.h
#include <iostream>
using namespace std;
inline void f(int i);
// F.cpp
#include "F.h"
void f(int i)
{
 cout << i << endl;
}
// main.cpp
#include "F.h"
int main()
{
 f(10);
 return 0;
}

二、auto关键字 

2.1概念 

        C++11中，标准委员会赋予了auto全新的含义即：auto不再是一个存储类型指示符，而是作为一 个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得。  

 

2.2auto的使用细则 

1.使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto 的实际类型。因此auto并非是一种“类型”的声明，而是一个类型声明时的“占位符”，编译器在编 译期会将auto替换为变量实际的类型。 

2. auto与指针和引用结合起来使用 ，用auto声明指针类型时，用auto和auto*没有任何区别，但用auto声明引用类型时则必须 加& 

int main()
{
    int x = 10;
    auto a = &x;
    auto* b = &x;
    auto& c = x;
    cout << typeid(a).name() << endl;
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    *a = 20;
    *b = 30;
     c = 40;
    return 0;
}

3. 在同一行定义多个变量 

当在同一行声明多个变量时，这些变量必须是相同的类型，否则编译器将会报错，因为编译器实际只对第一个类型进行推导，然后用推导出来的类型定义其他变量。  

void TestAuto()
{
    auto a = 1, b = 2; 
    auto c = 3, d = 4.0;  // 该行代码会编译失败，因为c和d的初始化表达式类型不同
}

 3.auto不能推导的场景

1. auto不能作为函数的参数

2. auto不能直接用来声明数组

三、 指针空值nullptr(C++11)

3.1 C++98中的指针空值 

在良好的C/C++编程习惯中，声明一个变量时最好给该变量一个合适的初始值，否则可能会出现 不可预料的错误，比如未初始化的指针。如果一个指针没有合法的指向，我们基本都是按照如下 方式对其进行初始化： 

void TestPtr()
{
int* p1 = NULL;
int* p2 = 0;
// ……
}

NULL实际是一个宏 ，在编译时NULL可能被定义为字面常量0，或者被定义为无类型指针(void*)的常量。不论采取何 种定义，在使用空值的指针时，都不可避免的会遇到一些麻烦，比如：

void f(int)
{
 cout<<"f(int)"<<endl;
}
void f(int*)
{
 cout<<"f(int*)"<<endl;
}
int main()
{
 f(0);
 f(NULL);
 f((int*)NULL);
 return 0;
}

        程序本意是想通过f(NULL)调用指针版本的f(int*)函数，但是由于NULL被定义成0，因此与程序的 初衷相悖。 在C++98中，字面常量0既可以是一个整形数字，也可以是无类型的指针(void*)常量，但是编译器 默认情况下将其看成是一个整形常量，如果要将其按照指针方式来使用，必须对其进行强转(void *)0。

注意： 1. 在使用nullptr表示指针空值时，不需要包含头文件，因为nullptr是C++11作为新关键字引入的。2. 在C++11中，sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。3. 为了提高代码的健壮性，在后续表示指针空值时建议最好使用nullptr。