c++八股之语法篇

语法篇

1.指针和引用的区别

• 指针是一个变量，存储的是地址。引用跟原来的变量实质是同一个东西，是原来变量的别名。
• 指针可以有多级，引用只有一级。
• 指针可以为空，引用不能为空且在定义时必须初始化。
• 指针在初始化后可以改变指向，引用在初始化后不可改变。
• sizeof指针得到的是本指针的大小，sizeof引用得到的是引用所指变量的大小。
• 当把指针作为参数传递时，也是将实参的一个拷贝传递给形参，两者指向的地址相同，但不是同一个变量，
  在函数中改变这个变量的指向不影响实参，而引用可以。
• 引用本质是一个指针，同样会占四个字节内存。指针是具体变量，需要占据存储空间。

2.请你描述一下堆和栈的区别

• 管理方式不同。栈由操作系统自动分配释放，无需手动控制。堆的申请与释放由程序员控制，容易造成内存泄露。

• 空间大小不同。每个进程拥有的栈大小要远远小于堆大小。

• 生长方向不同。堆的生长方向向上，内存地址由低到高；栈的生长方向向下，内存地址由高到低。

• 分配方式不同。堆都是动态分配，没有静态分配；栈有静态分配和动态分配，静态分配由操作系统完成，比如局部变量的分配。
  动态分配由alloca()函数分配，栈的动态分配和堆不同，栈的动态分配由操作系统进行释放，无需我们手工实现。

• 分配效率不同。栈由操作系统自动分配，效率比较高；堆是由c/c++提供的库函数或者运算符来完成申请与管理，堆的效率比较低。

3. 将引用作为函数参数由哪些好处

• 使用引用传参，不会创建拷贝，可以提升效率并节省空间。比方说传一个很大的结构体。
• 在函数中对该变量进行修改，参数返回后修改依然存在，传值则不会。
• c++标准不允许拷贝构造函数传值参数，最好是传引用。如果是传值参数，在实参赋值到形参时，会调用拷贝构造函数，则会递归调用拷贝构造函数，会导致栈溢出。

4.基类的虚函数表存放在内存的哪个区？虚表指针vptr的初始化时间

虚函数表的特征：

1. 虚函数表是全局共享的元素，即全局只有一个，在编译时就构造完成
2. 虚函数表类似一个数组，类对象中存储vptr指针，指向虚函数表，即虚函数表不是函数，不是程序代码，不可能存储在代码段
3. 虚函数表存储虚函数的地址，即虚函数表的元素是指向类成员变量的指针，而类中虚函数的个数在编译时期可以确定，即虚函数表的大小可以确定，即大小是在编译时期确定的，不必动态分配内存空间存储虚函数表，所以不在堆中

根据以上特征，虚函数表类似类中静态成员变量。静态变量也是全局共享，大小确定，因此最有可能存在全局数据区。

由于虚表指针vptr跟虚函数密不可分，对于有虚函数或者继承于拥有虚函数的基类，对该类进行实例化时，在构造函数执行时会对虚表指针进行初始化，并且存在对象内存布局的最前面，一般分为五个区：堆区，栈区，函数区，全局静态区，常量区。

c++中虚函数表位于只读数据段，也就是内存模型中的常量区，而虚函数则位于代码段，也就是c++内存模型中的代码区

5. new/delete 与 malloc/free的异同

• 相同点
  • 都可用于内存的动态申请与释放
• 不同点
  • 前者是c++运算符，后者是c/c++语言的标准库函数
  • new是自动计算要分配的空间大小，malloc需要手动计算
  • new是类型安全的，malloc不是
  • new调用的是operator new的标准库函数分配足够空间并调用相关对象的构造函数，delete对指针所指对象进行适当的析构函数，然后调用名为operator delete的标准库函数释放该对象所用内存，后者均无相关调用
  • 后者需要库文件支持，前者不用
  • new是封装了malloc,直接free不会报错，但只是释放内存，不会析构对象

6. new和delete是如何实现的？

• new的实现过程是：首先调用名为operator new的标准库函数，分配足够大的原始为类型化的内存，以保存指定类型的一个对象；接下来运行该类型的一个构造函数，用于初始化构造对象，最后返回指向新分配并构造后的对象的指针
• delete的实现过程是：对指针指向的对象运行适当的析构函数，然后调用名为operator delete的标准库函数释放该对象所用内存

7.以下四行代码中的“123”是否可以修改

const char* a = "123";
char* b = "123";
const char c[] = "123";
char d[] = "123";

第一二行，“123”位于常量区，加不加const效果一样，都无法修改。

第三行，“123”本来在栈上，但是由于const关键字，编译器可能将其优化到常量区

第四行，“123”在栈上，可以修改

8 strlen和sizeof区别？

1. 编译器在编译时就计算出sizeof的结果，而strlen函数必须在运行时才能计算出来
2. sizeof计算的是数据类型占内存的大小， 而strlen计算的是字符串实际长度
3. 数组作sizeof的参数不退化，而传递给strlen就退化为指针了
4. sizeof是一个操作符，strlen是库函数
5. sizeof的参数可以是数据的类型，也可以是变量，而strlen只能以’\0’结尾的字符串作为参数

9. a和&a有什么区别

int a[10]; int (*p)[10] = &a;

• a是数组名，是数组首元素地址，+1表示地址值加上一个int类型的大小。如果a的值为0x0001， 加1操作后变为0x0005。*（a+1）= a[1]。
• &a是数组的指针，其类型为int (*)[10] (也就是前面提到的数组指针)，其加1时，系统会认为是数组首地址加上整个数组的偏移（10个int型变量），值为数组a尾元素的下一个元素的地址。
• 若(int*) p，则此时输出*p时， 其值为a[0]的值，因为被转为int*类型，解引用时按照int类型大小来读取。

10. 数组名和指针（这里为指向数组首元素的指针）区别？

• 二者均可通过增减偏移量来访问数组中的元素
• 数组名不是真正意义上的指针，可以理解为常指针，所以数组名没有自增，自减操作。

当数组名当作形参传递给调用函数后，就失去了原有特性，退化成一般指针，多了自增，自减操作，但sizeof运算符不能再得到元数组的大小了

11. 说说include头文件的顺序以及双引号""和尖括号< >的区别

1. 区别

   (1)尖括号<>的头文件是系统文件，双引号""的头文件是自定义文件。

   (2)编译器预处理阶段查找头文件的路径不- -样。

2. 查找路径

   (1)使用尖括号<>的头文件的查找路径:编译器设置的头文件路径–>系统变量。

   (2)使用双引号""的头文件的查找路径:当前头文件目录–>编译器设置的头文件路径–>系统变量。

12. 请你描述以下野指针和悬空指针的区别

• 野指针，未被初始化的指针

  为了防止出错，对于指针初始化的赋值都是nullptr，这样再使用时编译器就不会出错，不会产生内存访问。

• 悬空指针，指针最初指向的内存已经被释放的一种指针

  int main() {
      int *p = nullptr;
      int *p2 = new int;
      p = p2;
      delete p2;
      return 0;
  }
  

  此时p和p2就是悬空指针，指向的内存已经被释放，继续使用这两个指针，行为将不可料，此时再使用，编译器将会直接报错，需要设置为p = p2 = nullptr。

  避免野指针的方法比较简单，但悬空指针比较麻烦，c++引入了智能指针，本质就是避免悬空指针的产生

• 产生原因以及解决方法

  野指针：指针变量未及时初始化->定义指针变量要及时初始化，或者置空

  悬空指针：指针free或delete之后没有及时置空->释放操作后立即置空

13. c++中struct和class的区别

• 相同点
  • 两者都可以拥有成员函数，公有和私有部分
  • 任何可以使用class完成的工作，同样可以使用struct完成
• 不同点
  • 两者中如果不对成员指定公私有，struct默认是公有的，class默认是私有的
  • class默认是private继承，struct默认是public继承

14. C++和C的struct区别

• C语言中：struct是用户自定义数据类型（UDT）；C++中struct是抽象数据类型（ADT），支持成员函数的定义，（C++中的struct能继承，能实现多态）
• C中struct是没有权限的设置的，且struct中只能是一些变量的集合体，可以封装数据却不可以隐藏数据，而且成员不可以是函数
• C++中，struct增加了访问权限，且可以和类一样有成员函数，成员默认访问说明符为public（为了与C兼容）
• struct作为类的一种特例是用来自定义数据结构的。一个结构标记声明后，在C中必须在结构标记前加上struct，才能做结构类型名（除：typedef struct class{};）;C++中结构体标记（结构体名）可以直接作为结构体类型名使用，此外结构体struct在C++中被当作类的一种特例

15. define宏定义和const的区别

• 编译阶段

  define是在编译的预处理阶段起作用，const是在编译、运行时候起作用

• 安全性

  • define只作替换，不作类型的检查和计算，也不求解，容易产生错误。一般加括号包裹住每一个部分，不然很容易出错
  • const常量有数据类型，编译器可以对其进行类型安全检查

• 内存占用

  • define只是将宏名称进行替换，在内存中会产生多份相同的备份。const在程序运行中只有一份备份，且可以执行常量折叠，能将复杂的表达式计算出结果放入常量表
  • 宏替换发生在编译阶段之前，属于文本插入替换；const作用于发生编译过程中。宏不检查数据类型，const会检查数据类型。
  • 宏定义的数据没有分配空间，只是插入替换掉，const定义的变量只是值不能改变，但是要分配内存。

16.