2024年最全c++面试常见问题汇总(1)，2024年最新C C++进阶之光

本文链接：https://blog.csdn.net/2401_84975360/article/details/138906140

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

（2）C++中 struct 与 class 的区别：

内部成员变量及成员函数的默认访问属性：struct 默认防控属性是 public 的，而 class 默认的访问属性是private的
继承关系中默认访问属性的区别：在继承关系，struct 默认是 public 的，而 class 是 private
class这个关键字还可用于定义模板参数，就等同于 typename；而strcut不用与定义模板参数

5. define 和 const 的区别？

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

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

（1）static：

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

（2）const：

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

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

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

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

ClassTest ct1("ab"); 这条语句属于直接初始化，它不需要调用复制构造函数，直接调用构造函数ClassTest(const
char *pc)，所以当复制构造函数变为私有时，它还是能直接执行的。
ClassTest ct2 = "ab"; 这条语句为复制初始化，它首先调用构造函数 ClassTest(const char* pc) 函数创建一个临时对象，然后调用复制构造函数，把这个临时对象作为参数，构造对象ct2；所以当复制构造函数变为私有时，该语句不能编译通过。
ClassTest ct3 = ct1;这条语句为复制初始化，因为 ct1 本来已经存在，所以不需要调用相关的构造函数，而直接调用复制构造函数，把它值复制给对象 ct3；所以当复制构造函数变为私有时，该语句不能编译通过。
ClassTest ct4（ct1）;这条语句为直接初始化，因为 ct1 本来已经存在，直接调用复制构造函数，生成对象 ct3 的副本对象 ct4。所以当复制构造函数变为私有时，该语句不能编译通过。

要点就是拷贝初始化和直接初始化调用的构造函数是不一样的，但是当类进行复制时，类会自动生成一个临时的对象，然后再进行拷贝初始化。

9. extern "C"的用法？

extern "C"的主要作用就是为了能够正确实现C++代码调用其他C语言代码。加上extern "C"后，会指示编译器这部分代码按C语言的进行编译，而不是C++的。由于C++支持函数重载，因此编译器编译函数的过程中会将函数的参数类型也加到编译后的代码中，而不仅仅是函数名；而C语言并不支持函数重载，因此编译C语言代码的函数时不会带上函数的参数类型，一般只包括函数名。比如说你用C 开发了一个DLL 库，为了能够让C ++语言也能够调用你的DLL输出(Export)的函数，你需要用extern "C"来强制编译器不要修改你的函数名。

10. 模板函数和模板类的特例化？

引入的原因：编写单一的模板，它能适应大众化，使每种类型都具有相同的功能，但对于某种特定类型，如果要实现其特有的功能，单一模板就无法做到，这时就需要模板特例化。
定义：是对单一模板提供的一个特殊实例，它将一个或多个模板参数绑定到特定的类型或值上。

函数模板特例化：必须为原函数模板的每个模板参数都提供实参，且使用关键字template后跟一个空尖括号对<>,表明将原模板的所有模板参数提供实参。

template<typename T> //函数模板
int compare(const T &v1,const T &v2)
{
    if(v1 > v2) return -1;
    if(v2 > v1) return 1;
    return 0;
}

//模板特例化,满足针对字符串特定的比较，要提供所有实参，这里只有一个T
template<> 
int compare(const char\* const &v1,const char\* const &v2)
{
    return strcmp(p1,p2);
}

此处如果是compare(3,5)，则调用普通的模板，若为compare(“hi”,”haha”)则调用特例化版本（因为这个cosnt char*相对于T，更匹配实参类型），注意，二者函数体的语句不一样了，实现不同功能。

类模板的部分特例化：不必为所有模板参数提供实参，可以指定一部分而非所有模板参数，一个类模板的部分特例化本身仍是一个模板，使用它时还必须为其特例化版本中未指定的模板参数提供实参。此功能就用于STL源码剖析中的traits编程。详见C++primer 628页的例子。(特例化时类名一定要和原来的模板相同，只是参数类型不同，按最佳匹配原则，那个最匹配，就用相应的模板)

template<typename T>class Foo
{
    void Bar();
    void Barst(T a)();
};
template<>
void Foo<int>::Bar()
{
    //进行int类型的特例化处理
}

Foo<string> fs;
Foo<int> fi;//使用特例化
fs.Bar();//使用的是普通模板，即Foo<string>::Bar()
fi.Bar();//特例化版本，执行Foo<int>::Bar()
//Foo<string>::Bar()和Foo<int>::Bar()功能不同

11. STL内存优化？

STL内存管理使用二级内存配置器。

(1) 第一级配置器：

第一级配置器以malloc()，free()，realloc()等C函数执行实际的内存配置、释放、重新配置等操作，并且能在内存需求不被满足的时候，调用一个指定的函数。一级空间配置器分配的是大于128字节的空间，如果分配不成功，调用句柄释放一部分内存，如果还不能分配成功，抛出异常。

第一级配置器只是对malloc函数和free函数的简单封装，在allocate内调用malloc，在deallocate内调用free。同时第一级配置器的oom_malloc函数，用来处理malloc失败的情况。

(2) 第二级配置器：

第一级配置器直接调用malloc和free带来了几个问题：

内存分配/释放的效率低
当配置大量的小内存块时，会导致内存碎片比较严重
配置内存时，需要额外的部分空间存储内存块信息，所以配置大量的小内存块时，还会导致额外内存负担

如果分配的区块小于128bytes，则以内存池管理，第二级配置器维护了一个自由链表数组，每次需要分配内存时，直接从相应的链表上取出一个内存节点就完成工作，效率很高。

自由链表数组：自由链表数组其实就是个指针数组，数组中的每个指针元素指向一个链表的起始节点。数组大小为16，即维护了16个链表，链表的每个节点就是实际的内存块，相同链表上的内存块大小都相同，不同链表的内存块大小不同，从8一直到128。如下所示，obj为链表上的节点，free_list就是链表数组。

内存分配：allocate函数内先判断要分配的内存大小，若大于128字节，直接调用第一级配置器，否则根据要分配的内存大小从16个链表中选出一个链表，取出该链表的第一个节点。若相应的链表为空，则调用refill函数填充该链表。默认是取出20个数据块。

填充链表 refill：若allocate函数内要取出节点的链表为空，则会调用refill函数填充该链表。refill函数内会先调用chunk_alloc函数从内存池分配一大块内存，该内存大小默认为20个链表节点大小，当内存池的内存也不足时，返回的内存块节点数目会不足20个。接着refill的工作就是将这一大块内存分成20份相同大小的内存块，并将各内存块连接起来形成一个链表。

内存池：chunk_alloc函数内管理了一块内存池，当refill函数要填充链表时，就会调用chunk_alloc函数，从内存池取出相应的内存。

在chunk_alloc函数内首先判断内存池大小是否足够填充一个有20个节点的链表，若内存池足够大，则直接返回20个内存节点大小的内存块给refill；
若内存池大小无法满足20个内存节点的大小，但至少满足1个内存节点，则直接返回相应的内存节点大小的内存块给refill；
若内存池连1个内存节点大小的内存块都无法提供，则chunk_alloc函数会将内存池中那一点点的内存大小分配给其他合适的链表，然后去调用malloc函数分配的内存大小为所需的两倍。若malloc成功，则返回相应的内存大小给refill；若malloc失败，会先搜寻其他链表的可用的内存块，添加到内存池，然后递归调用chunk_alloc函数来分配内存，若其他链表也无内存块可用，则只能调用第一级空间配置器。

12. 频繁对vector调用push_back()对性能的影响和原因？

在一个vector的尾部之外的任何位置添加元素，都需要重新移动元素。而且，向一个vector添加元素可能引起整个对象存储空间的重新分配。重新分配一个对象的存储空间需要分配新的内存，并将元素从旧的空间移到新的空间。

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

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

14. C++中类的数据成员和成员函数内存分布情况？

这篇博客《C++类内存布局图（成员函数和成员变量分开讨论）》看完之后真的就大彻大悟了，作者写的太好了！！！忍不住拍案叫绝啊！

15. 析构函数一般写成虚函数的原因？

先看下面这段程序

#include <iostream>
using namespace std;


class Person
{
public:
virtual ~Person()                    //加了virtual，讲析构函数声明为虚函数
{
   cout << "Person::~Person()" << endl;
}
};

class Student : public Person
{
public:
~Student()                                 // virtual可加可不加
{
   cout << "Student::~Student()" << endl;
}
};

int main()
{
Person \*pt1 = new Person;
Person \*pt2 = new Student;          // 用基类的指针指向子类
// Student \*pt3 = new Person; // 不能用子类指针指向基类，错误！
Student \*pt4 = new Student;

delete pt1;
cout << "\*\*\*\*\*\*\*\*\*" << endl;
delete pt2;
cout << "\*\*\*\*\*\*\*\*\*" << endl;
//delete pt3;
//cout << "\*\*\*\*\*\*\*\*\*" << endl;
delete pt4;
cout << "\*\*\*\*\*\*\*\*\*" << endl;

return 0;
}

运行结果：

Person::~Person()

Student::~Student()

Person::~Person()

Student::~Student()

Person::~Person()

如果在基类中析构函数不加virtual，结果为：

Person::~Person()

Person::~Person()

Student::~Student()

Person::~Person()