C++常见面试题整理

1. C++中类(class)和c语言中struct的区别(至少两点)

(1) c++中的类默认的成员是私有的，struct默认的是共有的。
(2) c++中的类可以定义成员函数，struct只能定义成员变量。

2. 变量的声明和定义有什么区别?

声明变量不分配空间，定义变量要分配空间。声明主要是告诉编译器,后面的引用都按声明的格式。定义其实包含了声明的意思,同时要分配内存空间。

3. memset, memcpy的区别

memset用来对一段内存空间全部设置为某个字符，一般用在对定义的字符串进行初始化为0。 memcpy用来做内存拷贝，你可以拿它拷贝任何数据类型的对象，可以指定拷贝的数据长度。

4. 程序什么时候应该使用线程，什么时候单线程效率高？

(1) 耗时的操作使用线程，提高应用程序响应
(2) 并行操作时使用线程，如C/S架构的服务器端并发线程响应用户的请求
(3) 多CPU系统中，使用线程提高CPU利用率
(4) 改善程序结构。一个既长又复杂的进程可以考虑分为多个线程，成为几个独立或半独立的运行部分，这样的程序会利于理解和修改。 其他情况都使用单线程。

5. 介绍一下模板和容器。如何实现?

模板可以说比较古老了，但是当前的泛型编程实质上就是模板编程。 它体现了一种通用和泛化的思想。 STL有7种主要容器：vector,list,deque,map,multimap,set,multiset.

6. #include与#include“file.h”的区别?

前者是从Standard Library的路径寻找和引用file.h，而后者是从当前工作路径搜寻并引用file.h。

7. 如何在C中初始化一个字符数组?

这个问题看似很简单，但是我们要将最简单的问题用最严谨的态度来对待。关键的地方：初始化、字符型、数组。最简单的方法是char array[];。这个问题看似解决了，但是在初始化上好像还欠缺点什么，个人认为：char array[5]={’1′,’2′,’3′,’4′,’5′};或者char array[5]={“12345″};或者char array[2][10]={“China”,”Beijing”};也许更符合“初始化”的意思。

8. 在C++程序中调用被C编译器编译后的函数，为什么要加extern“C”?

如果整个工程由多个源文件组成，在一个源文件中想引用另外一个源文件中已经定义的外部变量，同样只需在引用变量的文件中用 extern 关键字加以声明即可。

/* test.c */
#include <stdio.h>
 
int etn = 100;
 
void layout()
{
    printf("test.c: The etn is %d\n", etn);
}
/* main.c */
#include <stdio.h>
 
extern int etn;
 
int main()
{
    layout();
    printf("main.c: The etn is %d\n", etn);
    return 0;
}

9. 内存的分配方式的分配方式有几种?

(1) 从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量。

(2) 在栈上创建。在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。

(3) 从堆上分配，亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存，程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定，使用非常灵活，但问题也最多。

10. 头文件中的 ifndef/define/endif 干什么用?

防止头文件被重复引用

11. new、delete、malloc、free关系

delete会调用对象的析构函数，和new对应，new调用构造函数。free只会释放内存。malloc与free是C++/C语言的标准库函数，new/delete是C++的运算符。它们都可用于申请动态内存和释放内存。对于非内部数据类型的对象而言，光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数，对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符，不在编译器控制权限之内，不能够把执行构造函数和析构函数的任务强加于malloc/free。因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new，以及一个能完成清理与释放内存工作的运算符delete。注意new/delete不是库函数。

12. 虚函数和多态

多态：调用同一个函数名，可以根据需要但实现不同的功能。
若要访问派生类中相同名字的函数，必须将基类中同名函数定义为虚函数，这样，将不同的派生类对象的地址赋值给基类指针变量后，就可以动态的调用不同类中的函数。在派生类中重新定义基类中的虚函数时，可以不用关键字virtual来修饰这个成员函数。

13. 虚析构的作用是什么？

防止内存泄露，正确析构指向派生类实例的基类指针。 等同于做如下事情：
Base* pA = new Derived();
delete pA;

14. 虚函数的实现原理？

每一个有虚函数的类（或有虚函数的类的派生类）都有一个虚函数表，该类的任何对象中都放着该虚函数表的指针（可以认为这是由编译器自动添加到构造函数中的指令完成的）。虚函数表是编译器生成的，程序运行时被载入内存。一个类的虚函数表中列出了该类的全部虚函数地址。多态的函数调用语句被编译成根据基类指针所指向的（或基类引用所引用的）对象中存放的虚函数表的地址，在虚函数表中查找虚函数地址，并调用虚函数的一系列指令。
多态的函数调用语句被编译成根据基类指针所指向的（或基类引用所引用的）对象中存放的虚函数表的地址，在虚函数表中查找虚函数地址，并调用虚函数的一系列指令。

假设 pa 的类型是 A*，则 pa->func() 这条语句的执行过程如下：

1. 取出 pa 指针所指位置的前 4 个字节，即对象所属的类的虚函数表的地址（在 64 位编译模式下，由于指针占 8 个字节，所以要取出 8 个字节）。如果 pa 指向的是类 A 的对象，则这个地址就是类 A 的虚函数表的地址；如果 pa 指向的是类 B 的对象，则这个地址就是类 B 的虚函数表的地址。
2. 根据虚函数表的地址找到虚函数表，在其中查找要调用的虚函数的地址。不妨认为虚函数表是以函数名作为索引来查找的，虽然还有更高效的查找方法。
   如果 pa 指向的是类 A 的对象，自然就会在类 A 的虚函数表中查出 A::func 的地址；如果 pa 指向的是类 B 的对象，就会在类 B 的虚函数表中查出 B::func 的地址。
   类 B 没有自己的 func2 函数，因此在类 B 的虚函数表中保存的是 A::func2 的地址，这样，即便 pa 指向类 B 的对象，pa->func2();这条语句在执行过程中也能在类 B 的虚函数表中找到 A::func2 的地址。
3. 根据找到的虚函数的地址调用虚函数。
   由以上过程可以看出，只要是通过基类指针或基类引用调用虚函数的语句，就一定是多态的，也一定会执行上面的查表过程，哪怕这个虚函数仅在基类中有，在派生类中没有。
   多态机制能够提高程序的开发效率，但是也增加了程序运行时的开销。虚函数表、各个对象中包含的 4 个字节的虚函数表的地址都是空间上的额外开销；而查虚函数表的过程则是时间上的额外开销。

15. 什么是预编译，何时需要预编译？

预编译又称为预处理，是做些代码文本的替换工作。处理#开头的指令，比如拷贝**#include包含的文件代码，#define**宏定义的替换,条件编译等

(1) 总是使用不经常改动的大型代码体
(2) 程序由多个模块组成，所有模块都使用一组标准的包含文件和相同的编译选项。在这种情况下，可以将所有包含文件预编译为一个预编译头

16. char * const p | char const * p | const char *p 上述三个有什么区别？

(1) char * const p：const修饰的是p，p不能修改。
(2) char const * p：p所指向的内容为const类型不可修改。
(3) const char *p：同(2)，p所指向的内容为const类型不可修改。

17. vector、array和数组的相同点和区别

(1) 相同点：

• 三者均可以使用下表运算符对元素进行操作，即vector和array都针对下标运算符[]进行了重载
• 三者在内存的方面都使用连续内存，即在vector和array的底层存储结构均使用数组
  (2) 区别：
• vector属于变长容器，即可以根据数据的插入删除重新构建容器容量（1.5倍或者2倍）；但array和数组属于定长容量。
• vector和array提供了更好的数据访问机制，即可以使用front和back以及at访问方式，使得访问更加安全。而数组只能通过下标访问，在程序的设计过程中，更容易引发访问 错误。
• vector和array提供了更好的遍历机制，即有正向迭代器和反向迭代器两种
• vector和array提供了size和判空的获取机制，而数组只能通过遍历或者通过额外的变量记录数组的size
• vector和array提供了两个容器对象的内容交换，即swap的机制，而数组对于交换只能通过遍历的方式，逐个元素交换的方式使用
• array提供了初始化所有成员的方法fill
• vector提供了可以动态插入和删除元素的机制，而array和数组则无法做到，或者说array和数组需要完成该功能则需要自己实现完成
• 由于vector的动态内存变化的机制，在插入和删除时，需要考虑迭代的是否失效的问题。

18. vector可变长度的实现原理

关于vector简单的说就是一个动态增长的数组，里面有一个指针指向一片连续的内存空间，当空间装不下要容纳的数据的时候会自动申请一片更大的空间（空间配置器）将原来的数据拷贝到新的空间，然后就会释放旧的空间。当删除的时候空间并不会释放只是清空了里面的数据。
当分配次数多了以后，vector申请的空间要比实际需要的空间适当大一些，这样做的好处是不必在每次插入元素时都重新分配空间，也不会过分的浪费空间。大多数时候vector中都会有适量的剩余空间，只有当剩余空间用尽，vector才会申请一块更大的空间，重新申请的空间除了能装下所有的旧元素和待插入的新元素外，还有一部分预留空间供今后插入元素使用。

19. delete和delete[]的区别

delete只会调用一次析构函数，而delete[]会调用每一个成员的析构函数。在More Effective C++中有更为详细的解释：“当delete操作符用于数组时，它为每个数组元素调用析构函数，然后调用operator delete来释放内存。”delete与new配套，delete []与new []配套

MemTest *mTest1=new MemTest[10];
MemTest *mTest2=new MemTest;
Int *pInt1=new int [10];
Int *pInt2=new int;
delete[]pInt1; //-1-
delete[]pInt2; //-2-
delete[]mTest1;//-3-
delete[]mTest2;//-4-

在-4-处报错。

这就说明：对于内建简单数据类型，delete和delete[]功能是相同的。对于自定义的复杂数据类型，delete和delete[]不能互用。delete[]删除一个数组，delete删除一个指针。简单来说，用new分配的内存用delete删除；用new[]分配的内存用delete[]删除。delete[]会调用数组元素的析构函数。内部数据类型没有析构函数，所以问题不大。如果你在用delete时没用括号，delete就会认为指向的是单个对象，否则，它就会认为指向的是一个数组。

20. C++有哪些性质（面向对象特点）？

封装，继承和多态。

21. 子类析构时要调用父类的析构函数吗？

析构函数调用的次序是先派生类的析构后基类的析构，也就是说在基类的的析构调用的时候,派生类的信息已经全部销毁了。定义一个对象时先调用基类的构造函数、然后调用派生类的构造函数；析构的时候恰好相反：先调用派生类的析构函数、然后调用基类的析构函数。

22. 多态、虚函数、纯虚函数

多态：是对于不同对象接收相同消息时产生不同的动作。
C++的多态性具体体现在运行和编译两个方面：在程序运行时的多态性通过继承和虚函数来体现；在程序编译时多态性体现在函数和运算符的重载上；
虚函数：在基类中冠以关键字 virtual 的成员函数。 它提供了一种接口界面。允许在派生类中对基类的虚函数重新定义。
纯虚函数的作用：在基类中为其派生类保留一个函数的名字，以便派生类根据需要对它进行定义。作为接口而存在纯虚函数不具备函数的功能，一般不能直接被调用。
从基类继承来的纯虚函数，在派生类中仍是虚函数。如果一个类中至少有一个纯虚函数，那么这个类被称为抽象类（abstract class）。
抽象类中不仅包括纯虚函数，也可包括虚函数。抽象类必须用作派生其他类的基类，而不能用于直接创建对象实例。但仍可使用指向抽象类的指针支持运行时多态性。

23. 将“引用”作为函数参数有哪些特点？

（1）传递引用给函数与传递指针的效果是一样的。这时，被调函数的形参就成为原来主调函数中的实参变量或对象的一个别名来使用，所以在被调函数中对形参变量的操作就是对其相应的目标对象（在主调函数中）的操作。

（2）使用引用传递函数的参数，在内存中并没有产生实参的副本，它是直接对实参操作；而使用一般变量传递函数的参数，当发生函数调用时，需要给形参分配存储单元，形参变量是实参变量的副本；如果传递的是对象，还将调用拷贝构造函数。因此，当参数传递的数据较大时，用引用比用一般变量传递参数的效率和所占空间都好。

（3）使用指针作为函数的参数虽然也能达到与使用引用的效果，但是，在被调函数中同样要给形参分配存储单元，且需要重复使用"*指针变量名"的形式进行运算，这很容易产生错误且程序的阅读性较差；另一方面，在主调函数的调用点处，必须用变量的地址作为实参。而引用更容易使用，更清晰。

24. 在什么时候需要使用“常引用”？

如果既要利用引用提高程序的效率，又要保护传递给函数的数据不在函数中被改变，就应使用常引用。常引用声明方式：const 类型标识符 &引用名=目标变量名；

25.将“引用”作为函数返回值类型的格式、好处和需要遵守的规则?

格式：类型标识符 &函数名（形参列表及类型说明）{ //函数体 }

好处：在内存中不产生被返回值的副本；（注意：正是因为这点原因，所以返回一个局部变量的引用是不可取的。因为随着该局部变量生存期的结束，相应的引用也会失效，产生runtime error!

注意事项：

（1）不能返回局部变量的引用。这条可以参照Effective C++[1]的Item 31。主要原因是局部变量会在函数返回后被销毁，因此被返回的引用就成为了"无所指"的引用，程序会进入未知状态。

（2）不能返回函数内部new分配的内存的引用。这条可以参照Effective C++[1]的Item 31。虽然不存在局部变量的被动销毁问题，可对于这种情况（返回函数内部new分配内存的引用），又面临其它尴尬局面。例如，被函数返回的引用只是作为一个临时变量出现，而没有被赋予一个实际的变量，那么这个引用所指向的空间（由new分配）就无法释放，造成memory leak。

（3）可以返回类成员的引用，但最好是const。这条原则可以参照Effective C++[1]的Item 30。主要原因是当对象的属性是与某种业务规则（business rule）相关联的时候，其赋值常常与某些其它属性或者对象的状态有关，因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用（或指针），那么对该属性的单纯赋值就会破坏业务规则的完整性。

26. C++是不是类型安全的？

不是。两个不同类型的指针之间可以强制转换（用reinterpret cast)。C#是类型安全的。

27. main 函数执行以前，还会执行什么代码？

全局对象的构造函数会在main 函数之前执行。

28. 指针和引用的区别

（1）指针有自己的一块空间，而引用只是一个别名；
（2）使用 sizeof 看一个指针的大小为4字节（32位，如果要是64位的话指针为8字节），而引用则是被引用对象的大小。
（3）指针可以被初始化为 NULL，而引用必须被初始化且必须是一个已有对象的引用。
（4）作为参数传递时，指针需要被解引用才可以对对象进行操作，而直接对引用的修改都会改变引用所指向的对象。
（5）指针在使用中可以指向其他对象，但是引用只能是一个对象的引用，不能被改变。
（6）指针可以是多级，而引用没有分级
（7）如果返回动态分配内存的对象或者内存，必须使用指针，引用可能引起内存泄漏。

29. 堆和栈的区别

（1）堆栈空间分配区别：

• 栈（操作系统）：由操作系统自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈；
• 堆（操作系统）： 一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收，分配方式倒是类似于链表。

（2）堆栈的缓存方式区别

• 栈：是内存中存储值类型的，大小为2M（window，linux下默认为8M，可以更改），超出则会报错，内存溢出
• 堆：内存中，存储的是引用数据类型，引用数据类型无法确定大小，堆实际上是一个在内存中使用到内存中零散空间的链表结构的存储空间，堆的大小由引用类型的大小直接决定，引用类型的大小的变化直接影响到堆的变化

（3）堆栈数据结构上的区别

• 堆（数据结构）：堆可以被看成是一棵树，如：堆排序；
• 栈（数据结构）：一种先进后出的数据结构。

30. define和const的区别

（1）起作用的阶段： #define是在编译的预处理阶段起作用，而const是在编译、运行的时候起作用。
（2）作用的方式：const常量有数据类型，而宏常量没有数据类型，只是简单的字符串替换。编译器可以对前者进行类型安全检查。而对后者没有类型安全检查，并且在字符替换时可能会产生意料不到的错误。
（3）存储的方式：#define只是进行展开，有多少地方使用，就替换多少次，它定义的宏常量在内存中有若干个备份；const定义的只读变量在程序运行过程中只有一份备份，const比较节省空间，避免不必要的内存分配，提高效率。

31. 在c++中 const 和 static 的用法？

（1）static：

• 修饰全局变量：存储在静态存储区；未经初始化的全局静态变量自动初始化为 0；作用域为整个文件之内。
• 修饰局部变量：存储在静态存储；未经初始化的局部静态变量会被初始化为0；作用域为局部作用域，但离开作用域不被销毁。
• 修饰静态函数：静态函数只能在声明的文件中可见，不能被其他文件引用
• 修饰类的静态成员：在类中，静态成员可以实现多个对象之间的数据共享，静态成员是类的所有对象中共享的成员，而不属于某一个对象；类中的静态成员必须进行显式的初始化
• 修饰类的静态函数：静态函数同类的静态成员变量一个用法，都是属于一个类的方法。而且静态函数中只可以使用类的静态变量。

（2）const：

• 修成类成员：在C++中，const成员变量也不能在类定义处初始化，只能通过构造函数初始化列表进行，并且必须有构造函数； const数据成员只在某个对象生存期内是常量，而对于整个类而言却是可变的。因为类可以创建多个对象，不同的对象其const数据成员的值可以不同。
• 修饰类函数：该函数中所有变量均不可改变。

32. C++的顶层const和底层const ？

底层const是代表对象本身是一个常量（不可改变）；
顶层const是代表指针的值是一个常量,而指针的值(即对象的地址)的内容可以改变（指向的不可改变）；

33. 拷贝初始化和直接初始化，初始化和赋值的区别?

用括号的是直接初始化，用等于号的是拷贝初始化。

34. C++ 重载和重写的区别？

重载：是指同一可访问区内被声明的几个具有不同参数列（参数的类型，个数，顺序不同）的同名函数，根据参数列表确定调用哪个函数，重载不关心函数返回类型。
重写：指派生类中存在重新定义的函数。其函数名，参数列表，返回值类型，所有都必须同基类中被重写的函数一致。只有函数体不同（花括号内），派生类调用时会调用派生类的重写函数，不会调用被重写函数。重写的基类中被重写的函数必须有virtual修饰。