前言： 

紧接着上两篇文章，c++入门基础(上)：C++入门基础(上)

                                 c++入门基础(中)：C++入门基础(中)

        继续补充完c++初阶入门基础的知识点，本章知识点包括：

        引用和指针的区别、内联函数、auto关键字(C++11)、基于范围的for循环(C++11)、指针空值nullptr(C++11)等补充知识。

目录

6.引用

6.6 引用和指针的区别

7.内联函数

7.1概念

7.2 特性

8.auto关键字(C++11)

8.1 类型别名思考

8.2auto简介

特别注意：auto不能推导的场景

记住关键字:typeid

9.基于范围的for循环(C++11)

9.1 范围for的语法

10. 指针空值nullptr(C++11)

6.引用

6.6 引用和指针的区别

来看下面代码，右击鼠标转到反汇编:

 可以看到汇编代码，大家都是一样的，解析下面的汇编代码：

dword         双字 就是四个字节 

ptr               pointer缩写 即指针

[]里的数据是一个地址值，这个地址指向一个双字型数据

比如mov eax, dword ptr [a]         把内存地址a中的双字型（32位）数据赋给eax

        lea表示"load effective address"，表示对某个变量的地址进行加载，相当于取地址的操作。所以lea eax, [a]就是将a的地址赋给eax寄存器。

接着分别进行以下操作：

一样的转到反汇编：

引用和指针的不同点：(建议别背，从使用的角度区分)

1. 引用概念上定义一个变量的别名，指针存储一个变量地址。

2. 引用在定义时必须初始化，指针没有要求

3. 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何 一个同类型实体

4. 没有NULL引用，但有NULL指针

5. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32 位平台下占4个字节)

6. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小

7. 有多级指针，但是没有多级引用

8. 访问实体方式不同，指针需要显式解引用，引用编译器自己处理

9. 引用比指针使用起来相对更安全

7.内联函数

复习一下：实现一个ADD的宏函数

#define N 10

以下均为错误案例:

#define ADD(int x,int y) {return x+y;}
#define ADD( x, y) {return x+y;}
#define ADD( x, y) return x+y;#define ADD(x,y) x+y;
#define ADD(x,y) x+y;
#define ADD(x,y) (x+y);//特别注意一下这一条为什么错误。

解析上面需要注意那条 ： 

从以上可以简单看出宏函数的优缺点：

缺点：

1、容易出错，语法坑很多

2、不能调试

3、没有类型安全的检查

优点：

1、没有的类型的严格限制
2、针对频繁调用小函数，不需要再建立栈帧，提高了效率

引出我们的内联函数，也是不需要建立栈帧.

7.1概念

        以inline修饰的函数叫做内联函数，编译时C++编译器会在调用内联函数的地方展开，没有函数调用建立栈帧的开销，内联函数提升程序运行的效率。

在debug设置下默认是不会展开的:

在使用内联函数之前，需要进行以下设置：

展开是什么意思呢，就是不用调用函数，直接把函数里的功能直接拷贝放到main函数内实现：

        而且解决了符号优先级的问题，因为函数传参，是把表达式算出结果再传进去的。

7.2 特性

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

         inline对于编译器而言只是一个建议，不同编译器关于inline实现机制可能不同，一般建

议：将 函数规模较小(即函数不是很长，具体没有准确的说法，取决于编译器内部实现)、 不

是递归、且频繁调用的函数采用inline修饰，否则编译器会忽略inline特性。下图为

《C++prime》第五版关于inline的建议：

编译器视为内联函数

因代码膨胀，编译器不视为内联函数

 add是内联函数，func被编译器视为不是内联函数。

把func函数类冗余的代码删除：

这样就被视作为内联了。

测试代码：

#include<iostream>
#include<vector>
#include<string.h>#define ADD(x,y) ((x)+(y))
inline int add(int x, int y)
{return x + y;
}
inline int func()
{int x1 = 0;int x2 = 0;int x3 = 0;int x4 = 0;int ret = 0;ret += x1;//以下代码全注释掉/*ret -= x2;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;ret -= x3;*/return 0;
}
int main()
{ADD(1, 2);printf("%d\n",ADD(1,2));printf("%d\n",ADD(1,2)*3);int a = 1, b = 2;//ADD(a | b, a & b);//（a | b + a&b）//int ret = add(1, 2);int ret = add(a | b, a & b);printf("%d\n",ret);ret = func();}

声明和定义分离

3. inline不建议声明和定义分离，分离会导致链接错误。因为inline被展开，就没有函数地址 了，链接就会找不到

测试代码：

Func.h

#pragma once
#include<iostream>
using namespace std;
inline void  f(int i);void fx();

Func.cpp

#include"Func.h"
void f(int i)
{cout << "f(int i)" << i << endl;
}
void fx()
{//既有声明，又有定义,是直接展开f(1);
}

 main.cpp

#include "F.h"
int main()
{f(1);fx();return 0;
}

以上代码执行： 

无法解析的外部符号"void_cdecl f(int)"(?f@@YAXH@Z)，函数 main 中用了该符号

 说明：

        在一个源文件形成可执行程序的阶段，预编译阶段的作用其中之一就是头文件的包含，实际上是展开：

所以说预编译之后，Func.cpp的代码其实是这个样子的：

#include <iostream>
using namespace std;
inline void f(int i);
void f(int i)
{cout << i << endl;
}void fx()
{f(1);
}

编译器一看，f（）函数是一个内联(inline)，在调用的地方直接展开了，也就不会建立函数栈帧(不会有那一堆的汇编指令)，所以就没有函数地址了，也就不会进入符号表。

即Func.cpp的符号表中，f（）函数的地址是无效的。

在链接阶段，在这个main.cpp内调用f（）函数，就去查这个符号表，发现地址是无效的，就会报链接型错误。

(编译链接知识点欠缺的,传送🚪：编译链接基础知识（上）)

图解：

​

改正：

如何避免这个链接型错误？

        那就让内联函数声明和定义不分离:这样的话在预编译阶段，就把Func.h内的头文件展开了,这样的话呢，在编译阶段就展开了，那么在main.cpp的符号表里面就有了f（）函数的地址，在链接阶段通过main函数里面的f()函数调用，一查符号表就找到了f（）函数。

 Func.h

#pragma once
#include<iostream>
using namespace std;inline void f(int i)
{cout << "f(int i)" << i << endl;
}
void fx();

Func.cpp

#include"Func.h"void fx()
{//既有声明，又有定义,直接展开f(1);
}

main.cpp

#include"Func.h"
#include<stdio.h>
int main()
{//只有声明cout << "内联函数:" << endl;f(1);cout << "调用内联函数的函数:" << endl;fx();
}

以上代码执行： 

C++有哪些技术替代宏

1. 常量定义 换用const enum

2. 短小函数定义 换用内联函数

8.auto关键字(C++11)

8.1 类型别名思考

随着程序越来越复杂，程序中用到的类型也越来越复杂，经常体现在：

1. 类型难于拼写

2. 含义不明确导致容易出错

#include <string>
#include <map>
int main()
{std::map<std::string, std::string> m{ { "apple", "苹果" }, { "orange","橙子" }, {"pear","梨"} };std::map<std::string, std::string>::iterator it = m.begin();while (it != m.end()){//....}return 0;
}

std::map<std::string, std::string>::iterator是一个类型，但是该类型太长了，特别容易写错。

这时候想到咱们以前学过typdef：可以通过typedef给类型取别名，比如

#include <string>
#include <map>
typedef std::map<std::string, std::string> map;
int main()
{map m{ { "apple", "苹果" },{ "orange", "橙子" }, {"pear","梨"} };map::iterator it = m.begin();while (it != m.end()){//....}return 0;
}

使用typedef给类型取别名确实可以简化代码，但是typedef有会遇到新的难题：

typedef char* pstring;
int main()
{const pstring p1;    // 编译成功还是失败？const pstring* p2;   // 编译成功还是失败？return 0;
}

        编译失败，因为const pstring p1;这行代码定义了一个常量指针，但没有初始化，编译器无法确定它指向的具体地址；而const pstring* p2;这行代码定义了一个指向常量指针的指针，但没有指定指针指向的类型，也无法确定它指向的具体地址。

        在编程时，常常需要把表达式的值赋值给变量，这就要求在声明变量的时候清楚地知道表达式的 类型。然而有时候要做到这点并非那么容易，因此C++11给auto赋予了新的含义

8.2auto简介

在早期C/C++中auto的含义是: 使用auto修饰的变量，是具有自动存储器的局部变量

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

可以用来自动推导类型：

int main()
{int a = 0;//正常赋值是这样int b = a;
}

用auto之后:

根据右边的值推导出左边的值的类型：

int main()
{int a = 0;auto b = a;//intauto c = &a;//int*auto& d = a;//int
}

普通场景没有什么价值,类型很长，就有价值，简化代码

std::vector<std::string> v;
std::vector<std::string>::iterator it = v.begin();

可以简化为：

auto it = v.begin();

特别注意：auto不能推导的场景

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

// 此处代码编译失败，auto不能作为形参类型，因为编译器无法对a的实际类型进行推导
void TestAuto(auto a)
{}

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

void TestAuto()
{int a[] = {1,2,3};auto b[] = {4，5，6};
}

3. 为了避免与C++98中的auto发生混淆，C++11只保留了auto作为类型指示符的用法

4. auto在实际中最常见的优势用法就是跟以后会讲到的C++11提供的新式for循环，还有 lambda表达式等进行配合使用。

记住关键字:typeid

C++里面有个typeid关键字，看变量的实际类型,拿到类型字符串(类型名)

#include<iostream>
#include<vector>
#include<string.h>
using namespace std;
int main()
{int a = 0;//int b = a;auto b = a;auto c = &a;auto& d = a;cout << typeid(c).name() << endl;cout << typeid(d).name() << endl;cout << typeid(it).name() << endl;return 0;
}

9.基于范围的for循环(C++11)

9.1 范围for的语法

        在C++98中如果要遍历一个数组，可以按照以下方式进行：

#include<iostream>
using namespace std;
int main()
{int array[] = { 1, 2, 3, 4, 5 };// 定义一个数组，接着用for循环访问，之后遍历，正常的流程是这样的：for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)array[i] *= 2;for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)cout << array[i] << " ";cout << endl;return 0;
}

执行：

        对于一个有范围的集合而言，由程序员来说明循环的范围是多余的，有时候还会容易犯错误。因 此C++11中引入了基于范围的for循环。for循环后的括号由冒号“ ：”分为两部分：第一部分是范围内用于迭代的变量，第二部分则表示被迭代的范围。 

代码测试: 

#include<iostream>
using namespace std;
int main()
{int array[] = { 1, 2, 3, 4, 5 };// 范围for,依次取数组中的数据赋值给e,自定判断结束,自动迭代for (auto e : array)//范围for一般搭配auto使用，可以灵活地适应数组类型的变化{cout << e << " ";}cout << endl;
}

代码执行：

分析以下代码的问题:预计打印 2 ，4，6，8，10

int main()
{int array[] = { 1, 2, 3, 4, 5 };for (auto x : array){x *= 2;}for (auto e : array){cout << e << " ";}cout << endl;//return 0;
}

实际打印：

        我们知道范围for的作用就是:依次把数组里面的array[0]、array[1]...赋值给x，但是x的改变不会影响数组里面的值，所以要给一个引用：

        那这时候的x赋值，每一次都是array[0]、array[1]...的别名,修改了x就是修改了数组的值:

注意不能这么写！！！：

其他知识后面再讲解。

10. 指针空值nullptr(C++11)

我们以之前所学的知识判断以下代码是这样匹配的：

但实际上都会匹配到第一个函数：

源于c++大佬们留下的一个坑：

NULL实际是一个宏，在传统的C头文件(stddef.h)中，可以看到如下代码：

#ifndef NULL
#ifdef __cplusplus
#define NULL   0 // 在c++里面是这样定义的
#else
#define NULL   ((void *)0) //不在c++里面，就是这样定义的，比如说c
#endif
#endif

        程序本意是想通过f(NULL)调用指针版本的f(int*)函数，但是由于NULL被定义成0，因此与程序的初衷相悖。

        在C++98中，字面常量0既可以是一个整形数字，也可以是无类型的指针(void*)常量，但是编译器默认情况下将其看成是一个整形常量，如果要将其按照指针方式来使用，必须对其进行强转(void *)0。

这个坑还不能随便改,形容的比较贴切：

c++里面为了填补这个坑： 

注意：
1.在使用nullptr表示指针空值时，不需要包含头文件，因为nullptr是C++11作为新关键字引入的。

2.在C++11中，sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同

3.为了提高代码的健壮性，在后续表示指针空值时建议最好使用nullptr.

        c++入门基础的知识讲解到此告一段落，如有错误，欢迎纠正，感谢来访。