2025年C++软件工程师笔试题及答案

2025年C++软件工程师笔试题及答案一、基础语法与语义分析（共3题）1.分析以下代码的输出结果，并说明原因：```cppinclude<iostream>classA{public:A(){std::cout<<"Aconstruct"<<std::endl;}~A(){std::cout<<"Adestruct"<<std::endl;}};classB{public:B(){std::cout<<"Bconstruct"<<std::endl;}~B(){std::cout<<"Bdestruct"<<std::endl;}};classC:publicB,publicA{public:C(){std::cout<<"Cconstruct"<<std::endl;}~C(){std::cout<<"Cdestruct"<<std::endl;}private:Aa;Bb;};intmain(){Cc=newC();deletec;return0;}```答案：输出顺序为：Bconstruct→Aconstruct（基类B、A按声明顺序构造）→Aconstruct（成员变量a）→Bconstruct（成员变量b）→Cconstruct（自身构造）→Cdestruct（自身析构）→Bdestruct（成员变量b，与构造顺序相反）→Adestruct（成员变量a）→A</think>destruct（基类A，与构造顺序相反）→Bdestruct（基类B）。原因：C++中类的构造顺序为：基类（按声明顺序）→成员变量（按声明顺序）→自身构造函数；析构顺序与构造顺序完全相反。2.解释`constint`、`intconst`、`constintconst`三者的区别，并给出禁止修改指针指向值的正确声明方式。答案：-`constintp`：指针指向的内容是常量（底层const），可修改指针地址，但不可通过`p`修改值；-`intconstp`：指针本身是常量（顶层const），不可修改指针地址，但可通过`p`修改指向的值；-`constintconstp`：指针本身和指向的内容均为常量，两者均不可修改。禁止修改指针指向值的正确声明是`constintp`或`intconstp`（两者等价）。3.写出以下模板函数的特化版本，使其对`std::vector<int>`类型输入时，返回容器所有元素的和。```cpptemplate<typenameT>Tsum(constT&val){returnval;//通用版本：直接返回输入值}```答案：```cppinclude<vector>template<>intsum(conststd::vector<int>&vec){inttotal=0;for(intnum:vec){total+=num;}returntotal;}```二、面向对象与多态（共3题）4.简述虚函数表（vtable）的作用及存储位置，说明虚表指针（vptr）的初始化时机。答案：虚函数表是用于实现动态多态的机制，每个包含虚函数的类（或其派生类）会提供一个虚表，表中存储该类所有虚函数的函数指针。虚表的存储位置通常与编译器实现相关，一般位于只读数据段（如.rodata）中，确保不同实例共享同一份虚表。虚表指针（vptr）是类实例的一个隐含成员，指向对应类的虚表。其初始化发生在构造函数的初始化列表阶段之后、构造函数体执行之前。对于派生类，构造时会先初始化基类的vptr，再覆盖为派生类的vptr（若派生类重写了虚函数）。5.以下代码是否存在问题？若存在，说明原因并给出修改方案。```cppclassBase{public:virtualvoidfunc(){std::cout<<"Base"<<std::endl;}};classDerived:publicBase{public:voidfunc(intx){std::cout<<"Derived"<<x<<std::endl;}//重写基类虚函数？};intmain(){Baseb=newDerived();b->func();//预期输出"Derived"，实际输出"Base"deleteb;return0;}```答案：存在问题。派生类`Derived`的`func(intx)`并未重写基类的`func()`，而是定义了一个新的重载函数。由于参数列表不同，基类的`func()`在派生类中被隐藏（namehiding），而非覆盖。因此通过基类指针调用`func()`时，调用的仍是基类的版本。修改方案：使派生类函数与基类虚函数的签名完全一致（包括参数列表和const属性）。正确重写应为：```cppclassDerived:publicBase{public:voidfunc()override{std::cout<<"Derived"<<std::endl;}//使用override显式声明重写};```6.设计一个抽象类`Shape`，要求包含纯虚函数`area()`（计算面积）和`perimeter()`（计算周长），并派生出`Circle`（圆，构造函数接受半径）和`Rectangle`（矩形，构造函数接受长和宽），实现具体计算逻辑。答案：```cppinclude<cmath>classShape{public:virtualdoublearea()const=0;virtualdoubleperimeter()const=0;virtual~Shape()=default;//抽象类需虚析构函数};classCircle:publicShape{doubleradius;public:Circle(doubler):radius(r){}doublearea()constoverride{returnM_PIradiusradius;}doubleperimeter()constoverride{return2M_PIradius;}};classRectangle:publicShape{doublelength,width;public:Rectangle(doublel,doublew):length(l),width(w){}doublearea()constoverride{returnlengthwidth;}doubleperimeter()constoverride{return2(length+width);}};```三、STL与智能指针（共3题）7.比较`std::vector`和`std::list`的底层实现及适用场景，说明`vector::insert`操作可能导致迭代器失效的原因。答案：-`std::vector`底层为动态数组，元素连续存储，支持O(1)随机访问，但插入/删除（非尾部）需移动元素，时间复杂度O(n)；-`std::list`底层为双向链表，元素非连续存储，支持O(1)插入/删除（已知位置），但随机访问需O(n)遍历。`vector::insert`可能导致迭代器失效的原因：当插入操作导致底层数组重新分配（容量不足时），原数组被释放，新数组的内存地址不同，所有指向原数组的迭代器、指针、引用均失效；若插入未触发重新分配，仅部分迭代器（插入位置之后的元素）可能失效（因元素被移动）。8.分析以下代码的内存管理问题，并给出修复方案：```cppinclude<memory>classA{public:std::shared_ptr<B>b;};classB{public:std::shared_ptr<A>a;};intmain(){autoa=std::make_shared<A>();autob=std::make_shared<B>();a->b=b;b->a=a;return0;//此处a和b的引用计数是否为0？}```答案：代码中存在循环引用问题。`a`和`b`通过`shared_ptr`互相持有对方的引用，导致离开作用域时，两者的引用计数均为1（对方的`shared_ptr`持有引用），无法触发析构，造成内存泄漏。修复方案：将其中一个指针改为`std::weak_ptr`（弱引用，不增加引用计数）。例如，修改`B`类中的成员：```cppclassB{public:std::weak_ptr<A>a;//弱引用，避免循环};```9.实现一个函数`std::vector<int>merge_sorted(conststd::vector<int>&a,conststd::vector<int>&b)`，要求合并两个已升序排序的vector，输出结果仍为升序，且时间复杂度为O(n+m)（n、m为两vector长度）。答案：```cppinclude<vector>std::vector<int>merge_sorted(conststd::vector<int>&a,conststd::vector<int>&b){std::vector<int>res;res.reserve(a.size()+b.size());//预分配空间避免多次扩容size_ti=0,j=0;while(i<a.size()&&j<b.size()){if(a[i]<b[j]){res.push_back(a[i++]);}else{res.push_back(b[j++]);}}//处理剩余元素while(i<a.size())res.push_back(a[i++]);while(j<b.size())res.push_back(b[j++]);returnres;}```四、多线程与并发（共2题）10.用C++11的`std::thread`、`std::mutex`和`std::condition_variable`实现一个线程安全的有界队列（`BoundedQueue`），支持`push`（入队）和`pop`（出队）操作，队列容量上限为`capacity`。答案：```cppinclude<queue>include<thread>include<mutex>include<condition_variable>template<typenameT>classBoundedQueue{std::queue<T>q;size_tcapacity;std::mutexmtx;std::condition_variablenot_full;//队列非满时通知pushstd::condition_variablenot_empty;//队列非空时通知poppublic:explicitBoundedQueue(size_tcap):capacity(cap){}voidpush(constT&val){std::unique_lock<std::mutex>lock(mtx);//等待队列不满（避免虚假唤醒）not_full.wait(lock,[this]{returnq.size()<capacity;});q.push(val);not_empty.notify_one();//入队后通知pop线程}Tpop(){std::unique_lock<std::mutex>lock(mtx);//等待队列非空not_empty.wait(lock,[this]{return!q.empty();});Tval=q.front();q.pop();not_full.notify_one();//出队后通知push线程returnval;}};```11.分析以下多线程代码的潜在问题，并说明如何避免：```cppinclude<thread>intcounter=0;voidincrement(){for(inti=0;i<10000;++i){counter++;//非原子操作}}intmain(){std::threadt1(increment);std::threadt2(increment);t1.join();t2.join();std::cout<<"Counter:"<<counter<<std::endl;//预期20000，实际可能小于}```答案：潜在问题是竞态条件（RaceCondition）。`counter++`操作并非原子操作，实际由“读取-修改-写入”三个步骤组成。多线程并发执行时，可能出现一个线程读取旧值并修改后，另一个线程的修改被覆盖，导致最终结果小于预期。避免方法：-使用互斥锁（`std::mutex`）保护共享变量；-使用原子类型（`std::atomic<int>`）替代普通整型，确保操作的原子性。修改后的代码（使用原子类型）：```cppinclude<atomic>std::atomic<int>counter=0;//increment函数无需修改，counter++变为原子操作```五、算法与数据结构（共2题）12.给定一个单链表的头节点`ListNodehead`，实现函数`ListNodereverse_k_group(ListNodehead,intk)`，将链表每k个节点一组进行反转，若剩余节点不足k个则保持原顺序。要求空间复杂度O(1)（不允许使用递归）。（注：`ListNode`定义为`structListNode{intval;ListNodenext;ListNode(intx):val(x),next(nullptr){}}`）答案：```cppListNodereverse_k_group(ListNodehead,intk){if(!head||k<=1)returnhead;ListNodedummy(0);//哨兵节点简化边界处理dummy.next=head;ListNodeprev=&dummy;while(true){//找到当前组的尾节点ListNodetail=prev;for(inti=0;i<k;++i){tail=tail->next;if(!tail)returndummy.next;//剩余不足k个，结束}//反转当前组（k个节点）ListNodecurr=prev->next;ListNodenext_group=tail->next;while(curr!=tail){ListNodetemp=curr->next;curr->next=next_group;next_group=curr;curr=temp;}tail->next=next_group;ListNodenew_prev=prev->next;prev->next=tail;prev=new_prev;}}```13.设计一个函数`boolis_balanced(TreeNoderoot)`，判断二叉树是否为平衡二叉树（任意节点的左右子树高度差绝对值不超过1）。要求时间复杂度O(n)。（注：`TreeNode`定义为`structTreeNode{intval;TreeNodeleft;TreeNoderight;TreeNode(intx):val(x),left(nullptr),right(nullptr){}}`）答案：```cppinclude<algorithm>intheight(TreeNodenode){if(!node)return0;intleft_h=height(node->left);if(left_h==-1)return-1;//左子树已不平衡，提前返回intright_h=height(node->right);if(right_h==-1)return-1;//右子树已不平衡，提前返回if(std::abs(left_h-right_h)>1)return-1;//当前节点不平衡returnstd::max(left_h,right_h)+1;//返回当前子树高度}boolis_balanced(TreeNoderoot){returnheight(root)!=-1;}```六、设计模式与综合应用（共1题）14.实现线程安全的懒汉式单例模式（Singleton），要求：-延迟初始化（首次使用时创建实例）；-线程安全（多线程环境下不重复创建实例）；-禁止拷贝构造和赋值操作。答案：```cppinclude<mutex>include<atomic