C++作为一门兼具性能与灵活性的语言，一直是各大公司后端、游戏、嵌入式等岗位面试的重点考察对象。面试官往往通过几个经典问题就能判断出候选人对语言的理解深度，比如虚函数表的工作原理、智能指针的循环引用问题、深拷贝与浅拷贝的区别等。本文精选了一批出现频率极高的C++面试题，并给出详细的原理分析和代码示例，帮助你系统性地梳理知识盲区。
指针和引用的区别是什么
这是C++面试的开场必问题之一。指针本身是一个变量，存储的是另一个变量的地址，可以在生命周期内指向不同的对象，也可以为空（nullptr）。而引用是变量的别名，定义时必须初始化，之后不能更改绑定对象，也不存在空引用的概念。
从内存角度上看，指针需要占用额外的存储空间（在64位系统上通常是8字节），而引用在概念上不占存储，编译器往往将其实现为常量指针，但标准并没有强制要求。在使用层面，指针可以有多级指针（如int**），而引用只有一级，不存在引用的引用。此外，使用指针访问成员需要用->运算符，而引用直接使用.运算符，语法上更接近原生对象。
在函数传参场景中，如果只是想避免对象拷贝，优先使用引用，尤其是const引用，既保证了安全又能接受临时对象。如果需要在函数内改变指向目标，或者可能传入空值，则必须使用指针。
虚函数机制与多态的实现原理
面向对象是C++面试的重头戏，而多态几乎必然被问到。C++通过虚函数实现运行时多态，其底层依赖虚函数表（vtable）和虚表指针（vptr）。当一个类包含虚函数时，编译器会为该类生成一张虚函数表，表中存放着各个虚函数的地址。每个该类的对象内部都有一个隐藏的虚表指针，指向所属类的虚函数表。
当通过基类指针或引用调用虚函数时，程序并不是在编译期直接确定函数地址，而是在运行期通过对象内部的vptr找到虚函数表，再根据函数在表中的偏移量取出真正的函数地址进行调用。这个过程称为动态绑定，也解释了为什么虚函数调用比普通函数调用略慢——它多了一次间接寻址。
class Base {
public:
virtual void show() { std::cout << "Base" << std::endl; }
virtual ~Base() {}
};
class Derived : public Base {
public:
void show() override { std::cout << "Derived" << std::endl; }
};
int main() {
Base* p = new Derived();
p->show(); // 输出 Derived，体现运行时多态
delete p; // 基类析构函数是虚函数，正确释放派生类对象
return 0;
}这里有一个极易被追问的点：为什么基类的析构函数要声明为虚函数？如果析构函数不是虚函数，通过基类指针删除派生类对象时，只会调用基类的析构函数，派生类部分的数据不会被释放，造成资源泄漏，这在C++中属于未定义行为。将析构函数声明为virtual后，删除操作会先调用派生类析构函数，再调用基类析构函数，保证完整的资源回收。
智能指针的原理与循环引用问题
现代C++面试中，智能指针几乎是必考内容。std::unique_ptr是独占式智能指针，不支持拷贝，只支持移动，开销几乎为零，是管理动态资源的默认选择。std::shared_ptr则是共享式智能指针，内部维护一个引用计数块，每当有一个新的shared_ptr指向同一对象时，计数加一，指针销毁时计数减一，归零后自动释放所管理的对象。
shared_ptr的经典陷阱是循环引用：两个对象各自持有对方的shared_ptr，形成闭环后引用计数永远不会降为零，导致内存泄漏。解决方案是引入std::weak_ptr，它是一种弱引用，不增加引用计数，使用时需要通过lock()方法提升为shared_ptr来访问对象。
struct B;
struct A {
std::shared_ptr<B> b_ptr;
~A() { std::cout << "A destroyed" << std::endl; }
};
struct B {
std::weak_ptr<A> a_ptr; // 使用weak_ptr打破循环引用
~B() { std::cout << "B destroyed" << std::endl; }
};另外一个常被问到的细节是引用计数的线程安全性。shared_ptr的引用计数操作是原子的，多个线程可以同时拷贝或销毁不同的shared_ptr副本；但shared_ptr所管理的对象本身并不是线程安全的，并发读写仍需额外的同步机制。此外，应该避免用同一个裸指针初始化多个shared_ptr，这会创建多套独立的引用计数，导致二次释放。
深拷贝与浅拷贝，以及三法则和五法则
当类中包含指针成员时，编译器默认生成的拷贝构造函数只会复制指针的值，两个对象会指向同一块内存，这就是浅拷贝。一旦其中一个对象被析构释放了内存，另一个对象的指针就成了悬空指针。深拷贝则是在拷贝时为新对象分配独立的内存，并复制内容而非地址。
由此引出了著名的三法则（Rule of Three）：如果一个类需要自定义析构函数、拷贝构造函数或拷贝赋值运算符中的任何一个，那么它几乎肯定三个都需要。C++11之后扩展为五法则（Rule of Five），还要加上移动构造函数和移动赋值运算符，以充分利用右值引用带来的性能优势。
class Buffer {
int* data;
size_t size;
public:
Buffer(size_t n) : data(new int[n]()), size(n) {}
~Buffer() { delete[] data; }
// 深拷贝构造函数
Buffer(const Buffer& other) : data(new int[other.size]), size(other.size) {
std::copy(other.data, other.data + other.size, data);
}
// 深拷贝赋值运算符（结合拷贝交换惯用法）
Buffer& operator=(Buffer other) {
std::swap(data, other.data);
std::swap(size, other.size);
return *this;
}
};面试时还可以提到更现代的做法：如果类中使用std::vector或std::unique_ptr等容器管理资源，编译器默认生成的特殊成员函数就能正确工作，这就是所谓的零法则（Rule of Zero），体现了RAII思想在资源管理中的核心地位。
STL容器的底层实现与选型
STL部分面试官最爱问的是各容器的底层数据结构。std::vector是动态数组，支持随机访问，末尾追加均摊复杂度为常数级别，扩容时通常按2倍或1.5倍增长并将旧元素搬移到新内存。std::list是双向链表，插入删除效率稳定但不支持随机访问，且每个节点都有额外的前后指针开销。std::map和std::set基于红黑树实现，元素有序，查找插入删除均为对数复杂度；std::unordered_map和std::unordered_set则基于哈希表，平均常数时间完成操作，但极端情况下会退化。
一个高频追问是vector扩容时迭代器为什么会失效。扩容会重新分配内存并把元素搬移到新地址，原先保存的所有迭代器、指针和引用都指向了已释放的旧内存，继续使用就是未定义行为。同理，往vector中间插入或删除元素也会使插入点之后的迭代器失效。使用reserve()预先分配容量、或操作后重新获取迭代器，都是规避这类问题的常用手段。
掌握以上这些题目背后的原理，而不只是背答案，才能在面试官层层追问时应对自如。建议结合实际编码练习加深理解，比如自己动手实现一个简化版的shared_ptr或vector，这类经历在面试中往往比单纯的知识复述更有说服力。